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.

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.

2° Anno  Attivato nell'A.A. 2018/2019

InsegnamentiCreditiTAFSSD
12
B
INF/01
6
C
FIS/01
12
B
ING-INF/05
6
B
INF/01

3° Anno  Attivato nell'A.A. 2019/2020

InsegnamentiCreditiTAFSSD
6
B
INF/01
12
B
ING-INF/05
Un insegnamento a scelta
6
B
INF/01
Tirocinio
6
F
-
Prova finale
6
E
-
Attivato nell'A.A. 2018/2019
InsegnamentiCreditiTAFSSD
12
B
INF/01
6
C
FIS/01
12
B
ING-INF/05
6
B
INF/01
Attivato nell'A.A. 2019/2020
InsegnamentiCreditiTAFSSD
6
B
INF/01
12
B
ING-INF/05
Un insegnamento a scelta
6
B
INF/01
Tirocinio
6
F
-
Prova finale
6
E
-

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.




S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Codice insegnamento

4S00084

Crediti

6

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

Periodo

I sem. dal 2 ott 2017 al 31 gen 2018.

Obiettivi formativi

Il corso introduce alla logica come mezzo di espressione e strutturazione del ragionamento, strumento di formazione al pensiero astratto, e fondamento dell'informatica. Chi segue il corso apprende linguaggi logici e impara a comprendere, esprimere e collegare concetti in questi linguaggi. Si impara a costruire modelli e dimostrazioni di formule logiche in uno o più sistemi deduttivi, sia manualmente che interattivamente al calcolatore, maturando la capacità di capire, formulare, e valutare ragionamenti formali espressi nel linguaggio di una o più logiche, nonché la capacità di proseguire gli studi 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.

Testi di riferimento
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 la docente.

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI