Logica Matematica 2013-14
|
codice esame 064AA
Orario: Giovedi 16-18,
venerdi 14-16, Aula N. |
Ricevimento: Giovedi
ore 15, Venerdi ore 16.
Esami orali:
16 Gen. 2104 ore 9.00 studio Berarducci
5 Feb. 2014 ore 9.00 studio Berarducci
|
Registro
delle lezioni |
Programma di esame |
Tipiche
domande da esame
|
Appunti di uno studente. |
Letture consigliate. Leggere i primi due. Gli altri sono
opzionali.
- Logica parte I (completezza
compattezza, etc)
- Logica parte II
(calcolabilita', teoremi di Godel)
- Handbook of Mathematical Logic, edited by J. Barwise,
North-Holland 1977. Sezione A.1. "An introduction to first order
logic".
- Raymond M. Smullyan, First-Order Logic, Dover 1968.
(altri approcci al
teorema di completezza.)
- Tarski, Mostowski, Robinson, Undecidable theories.
- Appunti
sulla teoria dei modelli (non in programma).
- Vecchi
appunti: deduzione naturale, completezza, etc.
(obsoleto)
- Teorema
di König e Tableaux (opzionale)
- Ultraprodotti
e teorema di compattezza. (opzionale)
- La
verita' matematica da Kant a Gödel.
(opzionale)
|
Ultima modifica 15 Dic. 2014
|