- Oggetto:
- Oggetto:
Istituzioni di Logica Matematica (DM 270) - 9 cfu - a.a. 2013/14
- Oggetto:
ELEMENTS OF MATHEMATICAL LOGIC
- Oggetto:
Anno accademico 2013/2014
- Codice dell'attività didattica
- MFN0519
- Docenti
- Prof. Alessandro Andretta (Titolare del corso)
Prof. Lea Terracini (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
- 9
- SSD dell'attività didattica
- MAT/01 - logica matematica
- Modalità di erogazione
- Tradizionale
- Lingua di insegnamento
- Italiano
- Modalità di frequenza
- Facoltativa
- Tipologia d'esame
- Scritto e Orale
- Prerequisiti
- Buona conoscenza del contenuto dei corsi di algebra, analisi e geometria della laurea triennale
- 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.
In riferimento ai descrittori di Dublino il corso si propone di raggiungere i seguenti obiettivi:
Conoscenza e comprensione: obiettivi 1-2-3-4-5-9Capacità di applicare conoscenza e comprensione: obiettivi 1-2-3-4-5-6-9
Autonomia di giudizio: obiettivi 1-2-3-4-6
Abilità comunicative: obiettivi 1-2-3
Capacità di apprendimento: obiettivi 1-2
- Oggetto:
Risultati dell'apprendimento attesi
L’allievo dovrà essere in grado di utilizzare correttamente gli strumenti di base della Logica Matematica
- Oggetto:
Modalità di verifica dell'apprendimento
La prova scritta è costitutita da esercizi di tipo teorico. La prova da luogo all'ammissione all'orale Per essere ammessi alla prova orale occorre raggiungere il punteggio di 18/30
- 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:
Dispense fornite dal docente
Notes by the instructor- 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:
