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 in Informatica - Immatricolazione dal 2025/2026.Il 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 |
|---|
Analisi matematica I
Architettura degli elaboratori
2° Anno Attivato nell'A.A. 2019/2020
| Insegnamenti | Crediti | TAF | SSD |
|---|
3° Anno Attivato nell'A.A. 2020/2021
| Insegnamenti | Crediti | TAF | SSD |
|---|
Un insegnamento a scelta| Insegnamenti | Crediti | TAF | SSD |
|---|
Analisi matematica I
Architettura degli elaboratori
| Insegnamenti | Crediti | TAF | SSD |
|---|
| Insegnamenti | Crediti | TAF | SSD |
|---|
Un insegnamento a sceltaLegenda | 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.
Logica [Matricole dispari] (2018/2019)
Codice insegnamento
4S00084
Docente
Coordinatore
Crediti
6
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Periodo
I semestre dal 1 ott 2018 al 31 gen 2019.
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
Il linguaggio della logica proposizionale: atomi, connettivi, enunciati. Il linguaggio della logica del primo ordine: simboli di costante, funzione, predicato. Metodi di dimostrazione, interpretazioni e modelli per il ragionamento proposizionale. Il linguaggio della logica del primo ordine: simboli di variabile, quantificatori, formule, enunciati. Metodi di dimostrazione, interpretazioni e modelli per il ragionamento con quantificatori. Teoria degli insiemi. Aritmetica. Principi di induzione. Logica di Horn. Risoluzione, Skolemizzazione, unificazione. Completezza e incompletezza.
| Autore | Titolo | Casa editrice | Anno | ISBN | Note |
|---|---|---|---|---|---|
| Dave Barker-Plummer & Jon Barwise & John Etchemendy | Language, Proof and Logic (Edizione 2) | CSLI Publications | 2011 | 978-1-57586-632-1 |
Modalità d'esame
Primo appello (mediante prove parziali): il voto è dato da 25% C1 + 25% C2 + 50% P, dove C1 è la prova intermedia, C2 è la prova finale, e P è la media dei voti nei compiti a casa.
Appelli successivi: il voto è dato da 100% E dove E è un unico compito scritto, di difficoltà tale da uguagliare l'unione delle prove parziali.
Frequentare il corso è fondamentale, ma frequentare o meno non determina differenze di modalità d'esame.
Non è previsto il "rifiuto" del voto e tutti i voti saranno registrati. E' possibile ritirarsi informando il docente.
