Demostración automática de teoremas (2014-15)
Demostración automática de teoremas (2014-15)
Navegación
Página principal
Temas
Ejercicios
Documentación
Cambios recientes
Herramientas
Lo que enlaza aquí
Cambios relacionados
Páginas especiales
Versión para imprimir
Enlace permanente
Información de la página
Acciones
Página
Discusión
Ver código
Historial
Temas
De Demostración automática de teoremas (2014-15)
Revisión del 23:43 19 feb 2015 de
Mjoseh
(
discusión
|
contribuciones
)
(
dif
)
← Revisión anterior
|
Revisión actual
(
dif
) |
Revisión siguiente →
(
dif
)
Temas de
Demostración automática de teoremas (2014-15)
Tema 1: Sintaxis y semántica de la Lógica proposicional.
Tema 2: Deducción natural en Lógica proposicional.
Tema 3: Sintaxis y semántica de la Lógica de primer orden.
Tema 4: Deducción natural en Lógica de primer orden.
