Logica matematica
per il corso di Laurea breve in Matematica
a.a. 2006/2007
docente Silvio Valentini
Periodo
Il corso si svolgera` nel secondo trimestre.
Prerequisiti
Questo corso non richiede alcun prerequisito a parte una conoscenza generale dell'algebra e della topologia.
Scopo del corso
Lo scopo principale del corso e` quello di illustrare i legami tra sintassi e semantica e mettere in evidenza sia le possibilita` che i calcoli
sintattici offrono, come pure i limiti espressivi e dimostrativi che essi impongono.
Programma del corso
Illustrazione e definizione rigorosa di concetti come: linguaggio, espressione, simbolo, proposizione, asserzione, inferenza, derivazione,
dimostrazione, conseguenza, teoria assiomatica, modello, valutazione, interpretazione, validita`.
L'approccio alla logica classico e quello intuizionistica.
Equivalenza tra semantica e sintassi (teorema di completezza). Teorema di compattezza e limiti espressivi del linguaggio.
Testi di riferimento
Dispense del docente
Correzione Appelli d'esame
14 dicembre 2005,
12 gennaio 2006,
12 luglio 2006,
21 marzo 2007,
2 aprile 2007,
18 marzo 2008,
3 aprile 2008,
14 luglio 2008,
19 marzo 2009,
30 marzo 2009,
10 luglio 2009,
21 settembre 2009,
11 dicembre 2009,
16 marzo 2010,
30 marzo 2010,
19 luglio 2010,
24 marzo 2011,
6 aprile 2011,
27 giugno 2011,
1 febbraio 2012,
1 febbraio 2013,
15 febbraio 2013,
25 agosto 2014,
[Back]
