- Oggetto:
- Oggetto:
Istituzioni di Logica Matematica (DM 270) - 9 cfu - a.a. 2010/11
- Oggetto:
Anno accademico 2010/2011
- Codice dell'attività didattica
- MFN0519
- Docente
- Prof. Alessandro Andretta (Titolare del corso)
- Corso di studi
- Laurea Magistrale in Matematica (D.M. 270)
- Anno
- 1° anno 2° anno
- Periodo didattico
- Primo semestre
- Tipologia
- D.M. 270 - Vedi il campo note per i dettagli
- Crediti/Valenza
- 9
- SSD dell'attività didattica
- MAT/01 - logica matematica
- Modalità di erogazione
- Tradizionale
- Lingua di insegnamento
- Italiano
- Modalità di frequenza
- Facoltativa
- Tipologia d'esame
- Orale
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Il corso si propone di mostrare come lo studio dei linguaggi nei quali sono formalizzate le teorie e le dimostrazioni matematiche permette di ottenere informazioni sulle stesse. Informazioni positive riguardano ad esempio la costruzione di strutture che sono modelli delle teorie, o la loro eventuale decidibilità e meccanizzabilità delle dimostrazioni; quelle limitative riguardano risultati di incompletezza o indecidibilità, in particolare dell'aritmetica e sue estensioni.
- Oggetto:
Risultati dell'apprendimento attesi
L’allievo dovrà essere in grado di utilizzare correttamente gli strumenti di base della Logica Matematica
- Oggetto:
Programma
Elementi di teoria degli insiemi, sistemi formali e derivazioni, algebre di Boole e logica proposizionale, teoria dei modelli, incompletezza e indecidibilità
Elements of set theory, formal systems and derivations, Boolean algebras and propositional logic, model theory, incompleteness and undecidability
Testi consigliati e bibliografia
- Oggetto:
J.R. Shoenfield, Mathematical Logic, A.K. Peters 2001, (traduzione italiana edita da Boringhieri)
- Oggetto:
Note
ISTITUZIONI DI LOGICA MATEMATICA, MFN0519 (DM 270) , 9 CFU: 9 CFU, MAT/01, TAF B (caratterizzante), Ambito formazione teorica avanzata. Modalità di verifica/esame: scritto e orale congiunti.
- Oggetto: