Studiare
In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.
Piano Didattico
Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:
Laurea magistrale in Ingegneria e scienze informatiche - Immatricolazione dal 2025/2026Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.
1° Anno
Insegnamenti | Crediti | TAF | SSD |
---|
2° Anno Attivato nell'A.A. 2013/2014
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Tre insegnamenti a scelta tra i seguenti
Legenda | Tipo Attività Formativa (TAF)
TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.
Fondamenti - LOGICA (2012/2013)
Codice insegnamento
4S02789
Docente
Crediti
6
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Periodo
II semestre dal 4 mar 2013 al 14 giu 2013.
Obiettivi formativi
Il corso si propone di introdurre la logica matematica. Verranno introdotti e approfonditi i principali metodi semantici e sintattici per la logica dei predicati del primo ordine.
Programma
1) Logica proposizionale:
Sintassi e Semantica; sistemi deduttivi alla Hilbert.
Correttezza e Completezza.
__________
2) Logica del Primo Ordine:
connettivi,variabili, quantificazione. Semantica di Tarski del linguaggio del primo ordine.
Sistemi deduttivi alla Hilbert. Correttezza e Completezza. Compattezza.
__________
3) Cenni di teoria della dimostrazione:
Il calcolo dei sequenti LK. L'eliminazione del taglio. Proprietà della sottoformula e consistenza del calcolo puro dei predicati.
___________
4) Formalizzazione di strutture matematiche.
Autore | Titolo | Casa editrice | Anno | ISBN | Note |
---|---|---|---|---|---|
Andrea Asperti, Agata Ciabattoni | Logica a Informatica | McGraw-Hill | 2007 |
Modalità d'esame
Prova scritta.
Materiale e documenti
-
completezza (pdf, it, 301 KB, 6/16/13)
-
Deduzione Naturale - I ordine (pdf, it, 319 KB, 6/16/13)
-
Deduzione Naturale -logica proposizionale (pdf, it, 274 KB, 6/16/13)
-
diario attivita' (pdf, it, 56 KB, 6/13/13)