Entradas con la etiqueta ‘Hilbert’

Ejercitadores de Lógica

Una herramienta para facilitar el aprendizaje de la demostración del calculo de proposiciones

En está pagina se encuentran varios ejercitadores de lógica los cuales son una herramienta para el aprendizaje de las técnicas de demostración matemáticas, con el objetivo que el estudiante adquiera un pensamiento lógico deductivo.

Ofrece herramientas que facilitan la deducción de una proposición a partir de un conjunto de axiomas, definiciones, mediante la aplicación de reglas de inferencia o la aplicación de teoremas antes demostrados.

Estas aplicaciones educativas estas desarrollados en Mozart Programming System para Windows,

ejercitadores:

  • Cálculo proposicional de Hilbert (Extendido)  (Hilbertico Ext)  Notación de Frege
  • Cálculo proposicional de Frege  (FregeLog)  Notación de Frege
  • Cálculo proposicional de  Russell y Whitehead (RusellProg)
  • Cálculo proposicional de Hilbert (Hilbertico)
  • Cálculo proposicional intuicionista de Heyting (HeytingSystem)

Darwin Lotero Cardona
Lic Matemáticas y Física
Mgs en Enseñanza de las Matemáticas
Pereira

Entradas recientes
Archivos
programas para aprender lógica