Laurea magistrale in Ingegneria e scienze informatiche

Logica

Codice insegnamento
4S00084
Docente
Andrea Masini
Coordinatore
Andrea Masini
crediti
6
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
II semestre dal 2-mar-2020 al 12-giu-2020.

Orario lezioni

Vai all'orario delle lezioni

Obiettivi formativi

Il corso si propone di far maturare la capacità di comprendere, formulare, e valutare ragionamenti formali espressi nel linguaggio di una o più logiche. Al termine del corso lo studente dovrà dimostrare di avere conoscenze di comprensione di una o più logiche e capacità di comprendere e collegare concetti espressi in linguaggi logici; avere capacità di applicare le conoscenze acquisite e capacità di comprensione dimostrando di saper costruire modelli di formule logiche e dimostrazioni in uno o più sistemi deduttivi sia manualmente che interattivamente al calcolatore; saper sviluppare le competenze necessarie per proseguire gli studi in modo autonomo nell’ambito dell’intelligenza artificiale e dell’informatica teorica.

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 (circa 15/20 minuti di interrogazione)
Al fine di superare l'esame lo studente deve avere una conoscenza sufficiente di tutti gli argomenti (incluse le prove dei teoremi) del corso.
Migliore è la conoscenza degli argomenti del corso, migliore è il risultato dell'esame.





© 2002 - 2019  Università degli studi di Verona
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234