Profesor | Fernando Javier Nuñez Rosales | lu mi vi | 19 a 20 | P106 |
Ayudante | Hugo Víctor García Martínez | ma ju | 19 a 20 | P106 |
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
A) Álgebras de Boole
B) Conjuntos B-F-Inductivos
Se discutirá los primeros dias de clase. La propuesta es que haya tareas-examen.
Mendelson
Solis y Torres
Enderton