Profesor | Luis Jesús Turcio Cuevas | lu mi vi | 9 a 10 | Taller de Análisis Numérico |
Ayudante | Carlos Alejandro Hérnandez Gómez | ma ju | 9 a 10 | Taller de Análisis Numérico |
La lógica siempre se ha visto un poco más cerca del lado de la filosofía que de las matemáticas. En este curso trataremos de formalizar los razonamientos comunes en las matemáticas, sobretodo la parte algebraica de ellas. Así veremos qué es una estructura y cómo diversas interpretaciones nos dan las estructura que comunmente estudiamos en matemáticas. En esta generalidad demostraremos teoremas que sean válidos para toda las estructuras.
Los teoremas principales del curso serán el teorema de correctud-completud, que unificará las dos partes del curso, la smántica y la sintaxis; y el teorema de compacidad, que de cierta forma nos permitira pasar de lo finito a lo infinito.
Nos vemos el martes 2 de febrero en el taller de análisi númerico.