Margarita Otero Domínguez

LÓGICA MATEMÁTICA.
Optativa 4º Matemáticas y 5º DT Matemáticas-Informática

Programa

Ejemplos de teorías de primer orden
Ejemplo de forma normal prenex FNP
Hojas de ejercicios:
tema 1, tema 2, tema 3, tema 4, tema5: 5.1, 5.2
Soluciones del control 1
Soluciones del control 2
Soluciones del control 3