- Oggetto:
Istituzioni di Logica Matematica (DM 509) - a.a. 2009/10
- Oggetto:
Anno accademico 2009/2010
- Codice dell'attività didattica
- MFN0080 / MFN0081 / S8515
- Docente
- Prof. Alessandro Andretta (Titolare del corso)
- Corso di studi
- Laurea Specialistica in Matematica (D.M. 509)
- Anno
- 2° anno
- Periodo didattico
- Primo semestre
- Tipologia
- D.M. 509 - Vedi il campo note per i dettagli
- Crediti/Valenza
- 7
- 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.- Oggetto:
Risultati dell'apprendimento attesi
Lallievo 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.
Elements of set theory, formal systems and derivations, Boolean algebras and propositional logic, model theory.
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, MFN0080 (DM 509) , 7 CFU:
7 CFU, MAT/01, TAF A (base), Ambito formazione matematica.ISTITUZIONI DI LOGICA MATEMATICA, MFN0081 (DM 509) , 7 CFU:
7 CFU, MAT/01, TAF B (caratt.), Ambito formazione logica e fondazionale.Modalità di verifica/esame:
scritto e orale congiunti- Oggetto: