Logica (2017/2018)

Codice insegnamento
4S00084
Docente
Andrea Masini
Coordinatore
Andrea Masini
crediti
6
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
II sem. dal 1-mar-2018 al 15-giu-2018.

Orario lezioni

Vai all'orario delle lezioni

Obiettivi formativi

Il corso si propone di introdurre la logica matematica. Verranno introdotti e approfonditi i principali metodi semantici e sintattici

Programma

1) la logica proposizionale:
-proposizioni e connettivi
-semantica
-deduzione naturale
-correttezza e completezza
2) logiche dei predicaio:
-quantificatori
-strutture
-tipi di similarità
-semantica
- identità
-deduzione tipi
-correttezza e completezza
3) elementi di teoria dei modelli
-equivalenza, isomorfismo, categoricità
4) Aritmetica di Peano
-primo e secondo teorema di incompletezza

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
van Dalen, Dirk Logic and Structure. (Edizione 5) Springer 2013 978-1-4471-4557-8

Modalità d'esame

Esame orale

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

I dati relativi all'AA 2017/2018 non sono ancora disponibili