| Centro |
| Facultad de Ciencias Matemáticas |
| Departamento |
| Lógica y Filosofía de la Ciencia |
| Profesor responsable |
| Sin datos cargados |
| Met. Docent |
| Lección magistral. |
| Met. Avaluació |
| Examen. |
| Bibliografia |
| 1. D. Barnes and J. Mack, An algebraic introduction to mathematical logic,Springer-Verlag,1975 (Hay traducción al castellano). 2. P. Halmos, Teoría intuitiva de los conjuntos, C.E.C.S.A., 1965. 3. A. Hamilton, Logic for mathematicians, Cambridge University Press, 1978 (Hay traducción al castellano). 4. S.C. Kleene, Introducción a la metamatemática, Tecnos, 1974. 5. Prawitz, Natural deduction, Alquist-Wiksell, 1965. |
| Continguts |
| Lección 1. Nociones y construcciones básicas de teoría de conjuntos. Lección 2. Lógica proposicional. Lección 3. Lógica de predicados de primer orden con igualdad. Lección 4. Nociones y construcciones fundamentales de la teoría de modelos y de la teoría de la recursión. Lección 5. Aplicaciones a las teorías matemáticas. |
| Objetius |
| La lógica matemática se ocupa de estudiar la lógica usada en las matemáticas. Para ello propone modelizar las proposiciones matemáticas mediante fórmulas, la deducción de una proposición a partir de un sistema de proposiciones a través de la relación de deducibilidad en un sistema formal, y las proposiciones verdaderas por la relación de satisfacibilidad entre las formulas de un lenguaje formal y las estructuras matemáticas dentro de las cuales se interpretan dichas fórmulas. Además, da cuenta de las teorías matemáticas mediante las teorías formales y sus propiedades. |
| URL de Fitxa |