Matemáticas (plan 1983) 2025-1

Optativas de los Niveles V y VI, Lógica Matemática I

Temario

1. Lenguaje natural contra lenguaje matemático

2. Lenguaje y meta lenguaje

3. Lenguajes formales

4. El lenguaje y la lógica proposicional

5. La semántica de la lógica de primer orden

6. Análisis de argumentos

7. Un cálculo proposicional

8. El teorema de completud-correctud

Temas paralelos

A) Álgebras de Boole

B) Conjuntos B-F-Inductivos

Evaluación

Se discutirá los primeros dias de clase. La propuesta es que haya tareas-examen.

Bibliografía

Mendelson

Solis y Torres

Enderton