Centre |
Facultat de Ciències Matemàtiques |
Departament |
Lògica i Filosofia de la Ciència |
Professor responsable |
Sin datos cargados |
Met. Docent |
Lliçó 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 |
Lliçó 1. Nocions i construccions bàsiques de teoria de conjunts. Lliçó 2. Lògica proposicional. Lliçó 3. Lògica de predicats de primer ordre amb igualtat. Lliçó 4. Nocions i construccions fonamentals de la teoria de models i de la teoria de la recursió. Lliçó 5. Aplicacions a les teories matemàtiques. |
Objetius |
La lògica matemàtica s'ocupa d'estudiar la lògica usada en les matemàtiques. Per la qual cosa proposa modelitzar les proposicions matemàtiques mitjançant formules, la deducció d'una proposició a partir d'un sistema de proposicions a través de la relació de deduccibilitat en un sistema formal, i les proposicions vertaderes per la relació de satisfaccibilitat entre les formules d'un llenguatge formal i les estructures matemàtiques dintre les quals s'interpreten eixes fórmules. A més, dóna compte de les teories matemàtiques mitjançant les teories formals i les seves propietats. |
URL de Fitxa |