El autor Norman McGill presenta un lenguaje informático revolucionario para archivar, verificar y estudiar pruebas matemáticas a un nivel muy detallado.
Metamath trata todos los enunciados matemáticos como meras secuencias de símbolos y te proporciona ciertas secuencias especiales (axiomas) que le indican qué reglas de inferencia están permitidas.
Además, Metamath es capaz de convertir su notación al lenguaje de composición tipográfica LATEX, lo que te permitirá trabajar con símbolos y fórmulas que ya conoces.
Si estás buscando una herramienta simple y robusta para expresar todas tus matemáticas con absoluto rigor, ¡Metamath es lo que necesitas!
Descarga ahora mismo el libro PDF de forma gratuita y descubre si Metamath se adapta a tus necesidades específicas.
Descargar el libro
Este libro electrónico se encuentra disponible de manera gratuita bajo la licencia Creative Commons, lo que significa que puedes descargarlo, leerlo y compartirlo de manera libre.
Una copia de la licencia la puedes encontrar aquí abajo, al descargar el libro estas aceptando los acuerdos de la licencia.
Este trabajo, tiene la licencia Licencia internacional Creative Commons Attribution 4.0. Para ver una copia de esta licencia, visite https://creativecommons.org/licenses/by/4.0/ o envíe una carta a Creative Commons, PO Box 1866, Mountain View, CA 94042, EE. UU.
Se atribuye a Victor Felder, la Free Ebook Foundation y sus colaboradores.
Descarga el libro usando el siguiente enlace: