Posterior: Contenido Arriba: Presentación del curso Anterior: Motivación

Temario (tentativo)

1. Algebras booleanas

1.1 Ordenes parciales y retículos
1.2 Retículos booleanos
1.3 Manipulación algebraica
1.4 Representación de álgebras booleanas finitas

2. Cálculo de proposiciones

2.1 Semántica

-Tablas de verdad
-Formas normales conjuntivas y disyuntivas
-Algoritmos de minimización

2.2 Sintaxis

-Proposiciones bien formadas
-Axiomas lógicas, reglas de inferencia, pruebas, teoremas
-Teorema de Deducción

2.3 Teorema de consistencia
2.4 Teorema de completitud
2.5 Demostración automática de teoremas

-Algoritmos de Wang

3. Cálculo de predicados

3.1 Sintaxis

-Términos y fórmulas bien formadas
-Axiomas lógicas, reglas de inferencia, pruebas, teoremas
-Teorema de Deducción

3.2 Formas clausulares
3.3 El cálculo de predicados y PROLOG
3.4 Semántica

-Interpretación y modelos
-Teorema de Lowenheim-Skolem
-Teorema de Compacidad

3.5 Teorema de completitud de Godel

4. Demostración automática de teoremas

4.1 Davis-Putnam.
4.2 Unificación y resolución
4.3 Estrategias de resolución

5. Lógicas modales y polivalentes

5.1 Lógica modal
5.2 Lógica difusa
5.3 Verificación de programas

Posterior: Contenido Arriba: Presentación del curso Anterior: Motivación