Metamath
Es posible que este libro digital no cumpla las normas de accesibilidad y no sea totalmente compatible con las tecnologías de asistencia.
Metamath is a tiny computer language that can express theorems in
abstract mathematics, accompanied by proofs that can be verified by a
computer program. The first part of the book provides easy-to-read
informal discussion of abstract mathematics and computers for general
audiences. The later parts provide in-depth coverage of the foundations of mathematics, the Metamath
language, and the Metamath program. More information can be found at
the Metamath web site.
Detalles
- Fecha de publicación
- Oct 1, 2011
- Idioma
- English
- Categoría
- Ciencia y medicina
- Copyright
- Todos los derechos reservados - Licencia estándar de copyright
- Contribuyentes
- Por (autor o autora): Norman Megill
Especificaciones
- Formato