Posterior: Temario (tentativo) Arriba: Presentación del curso Anterior: Objetivos

Motivación

En este curso se pretende revisar las ideas principales de la Lógica Matemática con miras a su aplicación. Esto incluye un tratamiento vasto del álgebra booleana, del cálculo de proposiciones, de la lógica de primer orden, de una introducción a ciertas lógicas modales y polivalentes y al uso de PROLOG. El curso es asímismo una introducción a PROLOG. Las nociones del lenguaje serán introducidas a lo largo del curso. PROLOG es pues el lenguaje para la realización de prácticas. Se recomienda que los asistentes tengan antecedentes en:

1. Conceptos básicos de la teoría de conjuntos. (Algebra de conjuntos funciones, relaciones, conjuntos infinitos).
2. Nociones de Lógica de enunciados. (Conectivos, tablas de verdad).
3. Formalidad matemática. (Familiaridad con demostraciones - por inducción, nociones de álgebra moderna, etc.).