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/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 |
|---|
Analisi matematica I
Architettura degli elaboratori
2° Anno Attivato nell'A.A. 2024/2025
| Insegnamenti | Crediti | TAF | SSD |
|---|
Analisi matematica II
3° Anno Sarà attivato nell'A.A. 2025/2026
| Insegnamenti | Crediti | TAF | SSD |
|---|
Un insegnamento a scelta| Insegnamenti | Crediti | TAF | SSD |
|---|
Analisi matematica I
Architettura degli elaboratori
| Insegnamenti | Crediti | TAF | SSD |
|---|
Analisi matematica II
| Insegnamenti | Crediti | TAF | SSD |
|---|
Un insegnamento a scelta| Insegnamenti | Crediti | TAF | SSD |
|---|
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.
Logica [Matricole dispari] (2023/2024)
Codice insegnamento
4S00084
Docenti
Coordinatore
Crediti
6
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
MAT/01 - LOGICA MATEMATICA
Periodo
I semestre dal 2 ott 2023 al 26 gen 2024.
Corsi Singoli
Autorizzato
Obiettivi di apprendimento
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; saper sviluppare le competenze necessarie per proseguire gli studi in modo autonomo nell’ambito dell’intelligenza artificiale e dell’informatica teorica.
Prerequisiti e nozioni di base
Non sono necessari particolari prerequisiti per poter seguire con profitto il corso. È comunque auspicabile la padronanza di adeguate competenze di base nell'ambito del ragionamente formale (a livello di scuola secondaria superiore).
Programma
Logica proposizionale:
Proposizioni e Connettivi;
Semantica ; Deduzione naturale;
Correttezza e completezza.
Logica dei Predicati:
Quantificatori;
Strutture;
Il linguaggio dei tipi di similarità;
Semantica;
Identità;
Deduzione Naturale;
Correttezza e completezza;
Deduzione naturale e identità.
Formalizzazione delle proprietà nella logica dei predicati:
Proprietà e funzioni per i numeri naturali;
Teorie matematiche.
Bibliografia
Modalità didattiche
Lezione in presenza
Modalità di verifica dell'apprendimento
Prova scritta composta da 5 domande aperte. Le domande possono essere affermazioni di teoremi, dimostrazioni (spiegate a lezione) ed esercizi.
Criteri di valutazione
La valutazione è finalizzata a verificare la comprensione dei concetti spiegati a lezione
Lingua dell'esame
Italiano
