Insegnamento mutuato da: B012975 - LOGICA MATEMATICA Laurea Magistrale in MATEMATICA Curriculum GENERALE
Lingua Insegnamento
Italiano
Contenuto del corso
Completezza della procedura di Davis-Putnam per la logica booleana. Il problema della decisione di Hilbert. Semantica herbrandiana e tarskiana. Skolemizzazione. Metodo refutazionale. Deduzioni valide e non valide. Teorema di completezza di Goedel. Teorema di Loewenheim, compattezza della logica dei predicati con eguaglianza.
Conoscenze: I teoremi fondamentali della logica
Competenze acquisite: la costruzione di refutazioni e domostrazioni formali nella logica proposizionale e predicativa
Capacità acquisite al termine del corso: L’uscita dall’analfabetismo logico, cosi’ comune tra i matematici. Capacita’di scrivere dimostrazioni formali, anche come oggetti grafici. Conoscenza dei teoremi di Goedel, di compattezza e completezza
CFU: 9
Numero di ore totali del corso: 225
Numero di ore per studio personale e altre attività formative di tipo individuale: 153
Numero di ore relative alle attività in aula: 72
Numero di ore relative ad attività di laboratorio (lezioni in laboratorio): 0
Numero di ore relative ad attività di esercitazioni (in laboratorio e in campo): 0
Numero di ore relative ad attività seminariali: 0
Numero di ore relative ad attività di stage: 0
Numero di ore per prove in itinere: 0
Altre Informazioni
Frequenza delle lezioni ed esercitazioni:
Non obbligatoria
Strumenti a supporto della didattica: dispense aggiuntive sul “passo di calcolo”
Orario di ricevimento:
Lunedì 12:30-14:30
Recapito:
Viale Morgagni, 67/a - 50134 Firenze
Tel: 055 4237111 - 4237130
Fax: 055 4237165
E-mail: daniele.mundici@unifi.it
Web: http://web.math.unifi.it/users/mundici/