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. 2023/2024
| Insegnamenti | Crediti | TAF | SSD |
|---|
3° Anno Attivato nell'A.A. 2024/2025
| 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 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 pari] (2022/2023)
Codice insegnamento
4S00084
Docente
Coordinatore
Crediti
6
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Periodo
Primo semestre dal 3 ott 2022 al 27 gen 2023.
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
nessuno
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, ad es .:
“n è un numero primo”, “m è la somma di due numeri naturali”, ecc.
- Teorie matematiche
Bibliografia
Modalità didattiche
Lezioni in classe con l'ausilio di lavagna e slides
Modalità di verifica dell'apprendimento
Esame scritto composto da 5 domande aperte.
Le domande possono essere enunciati di teoremi, dimostrazioni (fatte a lezione) ed esercizi.
Criteri di valutazione
Viene valutata la comprensione degli argomenti svolti a lezione
Criteri di composizione del voto finale
Ad ogni esercizio sono attribuiti 7 punti. Ogni votazione superiore a 30 comporta l’attribuzione della lode.
Lingua dell'esame
Italiano
