- Oggetto:
- Oggetto:
Istituzioni di Logica Matematica
- Oggetto:
ELEMENTS OF MATHEMATICAL LOGIC
- Oggetto:
Anno accademico 2016/2017
- 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 2° 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
- Inglese
- Modalità di frequenza
- Facoltativa
- Tipologia d'esame
- Scritto e Orale
- Prerequisiti
-
Una buona conoscenza del materiale dei corsi di base di algebra, analisi e geometriaA solid knowledge of the material in the basic courses in algebra, analysis, and geometry
- Mutuato da
- Istituzioni di Logica Matematica (MFN0519)
Laurea magistrale in Matematica - 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
The goal of the course is to show how the study of formal languages yields useful information on mathematical theories and proofs. These include, for example, the construction of structures which are models of theories, and their decidability or undecidability, the incompleteness of arithmetic and its extensions.
- Oggetto:
Risultati dell'apprendimento attesi
L’allievo sarà in grado di utilizzare correttamente gli strumenti di base della Logica MatematicaThe student will be able to master the basic tools of mathematical logic.- 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/30Esame scritto e oraleWritten and oral test- Oggetto:
Programma
Linguaggi del prim'ordine. Strutture. Aritmetica. Algebre di Boole e reticoli. Ordinali e cardinali. Funzioni calcolabili.
First order languages. Structures. Arithmetic. Boolean algebras and lattices. Ordinals and cardinals. Computable functions.
Testi consigliati e bibliografia
- Oggetto:
Dispense fornite dal docente
Notes by the instructor.
- Oggetto:
Orario lezioni
- 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:
