Vai al contenuto principale
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:
Ultimo aggiornamento: 03/10/2014 13:23

Non cliccare qui!