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
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 |
|---|
2° Anno Sarà attivato nell'A.A. 2026/2027
| Insegnamenti | Crediti | TAF | SSD |
|---|
| Insegnamenti | Crediti | TAF | SSD |
|---|
| Insegnamenti | Crediti | TAF | SSD |
|---|
2 modules among:
- 1st year - Knowledge representation, Natural Language Processing, HCI - Multimodal Systems - delivered in 2025/2026
- 2nd year - AI & cloud - delivered in 2026/2027
- 1st and 2nd year - Advanced programming for AI, Computer vision & deep learning - delivered in 2025/2026 and in 2026/2027
2 courses among (mutually exclusive with the previous ones):
- 1st year - Knowledge representation, Natural language processing, HCI - multimodal systems - delivered in 2025/2026
- 2nd year - AI & cloud, Visual intelligence - delivered in 2026/2027
- 1st and 2nd year - Advanced programming for AI, Computer Vision & deep learning, Statistical learning - delivered in 2025/2026 and in 2026/2027 2 courses among the following
- A.A. 2025/2026 Network Science not activated
- A.A. 2026/2027: Complex Systems not activated1 course among the followingLegenda | 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.
Logic in AI (2025/2026)
Codice insegnamento
4S010689
Docente
Coordinatore
Crediti
6
Offerto anche nei corsi:
- Logic in AI del corso Laurea magistrale in Artificial Intelligence [LM-18]
- Logica in informatica del corso Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32]
- Logica in informatica del corso Laurea magistrale in Ingegneria e scienze informatiche
Lingua di erogazione
Inglese
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Periodo
I semestre dal 1 ott 2025 al 30 gen 2026.
Corsi Singoli
Autorizzato
Obiettivi di apprendimento
Il corso affronta una gamma di logiche utilizzate nell'ambito dell'IA, tra cui logiche classiche, intuizioniste, modali, epistemiche, deontiche e distribuite, presentate a diversi livelli di espressività (proposizonale, primo ordine, higher-order).
Inoltre, gli studenti vedranno come i sistemi logici fondano nozioni e ambiti chiave dell'informatica rilevanti per l'IA, come le relazioni tra i sistemi di tipo e i linguaggi di programmazione, i sistemi di inferenza e la dimostrazione interattiva e automatica.
Al termine del corso, ci si aspetta che gli studenti dimostrino la loro capacità di:
- Sviluppare dimostrazioni formali all'interno dei sistemi deduttivi trattati in classe.
- Comprendere e valutare le proprietà di tali sistemi.
- Comprendere come tali sistemi funzionino all'interno degli strumenti di ragionamento come assistenti alla dimostrazione, dimostratori di teoremi e risolutori.
Questo programma prepara gli studenti per studi avanzati o per svolgere una tesi in logica computazionale e IA.
Prerequisiti e nozioni di base
Le conoscenze di base di logica equivalenti a quelle impartite nella laurea triennale in informatica dell'Università di Verona. Nello specifico, si assume conoscenza della logica proposizionale e della deduzione naturale per essa. Alle persone che non avessero sostenuto un esame di logica alla triennale verranno forniti dei materiali integrativi e offerti su richiesta ricevimenti ad hoc.
Programma
1. breve ripasso di logica proposizionale e deduzione naturale
2. logiche dei predicati: quantificatori, strutture (modelli), semantica, identità, deduzione naturale per la logica del primo ordine, Teoremi di correttezza e completezza
3. La logica intuizionista
4. La normalizzazione e la confluenza in deduzione naturale.
5. Tipi e sistemi logici. Lambda calcolo senza tipi e con i tipi come paradigma della programmazione funzionale e lambda calcolo al second'ordine.
6. Logiche Modali.
Bibliografia
Modalità didattiche
Lezione frontale interattiva.
Modalità di verifica dell'apprendimento
Esame orale tradizionale su un sottoinsieme degli argomenti affrontati in classe. La lista verrà costruita durante il corso seguendo le note delle lezioni e il libro di testo e verrà messa a disposizione sul Moodle del corso.
Criteri di valutazione
Conoscenze delle definizioni, dei risultati e delle dimostrazioni richieste. Capacità di ragionamento e valutazione delle competenze logico matematiche.
Criteri di composizione del voto finale
Il voto finale è quello ottenuto durante l'esame orale
Lingua dell'esame
English for Students enrolled in the LM in Artificial Intelligence; English or Italian for Students enrolled in LM Ingegneria e Scienze Informatiche.
