- Oggetto:
- Oggetto:
Istituzioni di Logica Matematica (DM 270) - 6 cfu - a.a. 2009/10
- Oggetto:
Anno accademico 2009/2010
- Codice dell'attività didattica
- MFN0522
- Docente
- Prof. Alessandro Andretta (Titolare del corso)
- Corso di studi
- Laurea Magistrale in Matematica (D.M. 270)
- Anno
- 1° anno
- Periodo didattico
- Primo semestre
- Tipologia
- D.M. 270 TAF B - Caratterizzante
- Crediti/Valenza
- 6
- 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, MFN0522 (DM 270) , 6 CFU:
6 CFU, MAT/01, TAF B (caratterizzante), Ambito formazione teorica avanzata.Modalità di verifica/esame:
scritto e orale congiunti.- Oggetto: