Textos escolares
Algunos resultados matemáticos sobre completitud y consistencia
Godel Kurt
En este texto se examinan desde el punto de vista proposicional, los requerimientos de un sistema de lógica temporal adecuado para el desarrollo de una teoría de conjuntos en la cual el universo se expanda con el tiempo. Se propone un sistema tal y se prueban su consistencia, su validez y su completitud. Además, se analizan semánticamente las consecuencias de añadir otros axiomas relevantes. Ver más...
Facebook
Google
Whatsapp
Proyectos educativos con TIC para la mejora de la lectoescritura Informes de experiencias desarrolladas en Nicaragua
Fundación Telefónica
Sistematizaciones que resumen cinco experiencias educativas con nuevas tecnologías desarrolladas por Fundación Telefónica Nicaragua y que fueron presentadas en el Primer Foro de Docentes Innovadores celebrado en el país centroamericano. Estos proyectos tienen como objetivo la mejora de las competencias en comprensión lectora y lectoescritura mediante la utilización de TIC en el aula Ver más...
Verdad Matemática
Paul Benacerraf
El objetivo de este libro es ofrecer una introducción a los fundamentos de la matemática, no se requiere un conocimiento de la lógica ni de la teoría de conjuntos, pero sí algún contacto con el álgebra de los números reales y el análisis real. Ver más...
Algunos resultados matemáticos sobre completitud y consistencia
Godel Kurt
En este texto se examinan desde el punto de vista proposicional, los requerimientos de un sistema de lógica temporal adecuado para el desarrollo de una teoría de conjuntos en la cual el universo se expanda con el tiempo. Se propone un sistema tal y se prueban su consistencia, su validez y su completitud. Además, se analizan semánticamente las consecuencias de añadir otros axiomas relevantes. Ver más...
Proyectos educativos con TIC para la mejora de la lectoescritura Informes de experiencias desarrolladas en Nicaragua
Fundación Telefónica
Sistematizaciones que resumen cinco experiencias educativas con nuevas tecnologías desarrolladas por Fundación Telefónica Nicaragua y que fueron presentadas en el Primer Foro de Docentes Innovadores celebrado en el país centroamericano. Estos proyectos tienen como objetivo la mejora de las competencias en comprensión lectora y lectoescritura mediante la utilización de TIC en el aula Ver más...