Logica Matematica

Orario: lunedi 14-16, venerdi 14-16, Aula M1.
Ricevimento: Lunedi ore 11-12.30, Martedi ore 11-12.30, o per appuntamento.
Programma del corso
Indice dettagliato degli argomenti svolti
Registri delle lezioni.
Letture consigliate:
  1. Handbook of Mathematical Logic, edited by J. Barwise, North-Holland 1977. Sezione A.1. "An introduction to first order logic".
  2. Raymond M. Smullyan, First-Order Logic, Dover 1968.
  3. Appunti sulla deduzione naturale
  4. Appunti sui teoremi di compattezza e Lowenheim Skolem. Svolti in modo diverso che a lezione. Gli appunti includono anche parti non in programma.
  5. Appunti sulla calcolabilita' e i teoremi di incompletezza di Godel
Date esami: 21 gennaio, ore 9.30 (giovedi) 15 febbraio ore 9.30 (lunedi) studio Berarducci