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.

CURRICULUM TIPO:

1° Anno 

2° Anno   Attivato nell'A.A. 2022/2023

InsegnamentiCreditiTAFSSD
Prova finale
24
E
-
Attivato nell'A.A. 2022/2023
InsegnamentiCreditiTAFSSD
Prova finale
24
E
-
Insegnamenti Crediti TAF SSD
Tra gli anni: 1°- 2°
Tra gli anni: 1°- 2°
Altre attività
3
F
-
Tra gli anni: 1°- 2°

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

4S008914

Coordinatore

Andrea Masini

Crediti

6

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

Periodo

Secondo semestre dal 7 mar 2022 al 10 giu 2022.

Obiettivi formativi

Il corso mira a fornire la conoscenza della logica classica e intuizionista (proposizionale e del primo ordine) e del lamba calcolo e della teoria dei tipi. Alla fine del corso gli studenti dovranno dimostrare di possedere le conoscenze necessarie per ragionare all'interno di un sistema logico formale, sia in un ambiente classico che intuizionista. Questa conoscenza consentirà allo studente di: i) eseguire prove formali con un sistema deduttivo; ii) ragionare con sistemi assiomatici. Inoltre gli studenti dovranno sapere come trasferire le nozioni teoriche apprese in contesti logici tipici dell'informatica, come i sistemi di tipo per i linguaggi funzionali. Gli studenti saranno in grado di continuare i loro studi nel campo della logica per l’informatica.

Programma

1. la logica proposizionale:
-proposizioni e connettivi
-semantica
-deduzione naturale
-correttezza e completezza
2. logiche dei predicati:
-quantificatori
-strutture
-tipi di similarità
-semantica
- identità
-deduzione tipi
-correttezza e completezza
3. la normalizzazione in deduzione naturale.
4. confluenza.
5. elementi di teoria dei modelli
-equivalenza, isomorfismo,
6. lambda calcolo senza tipi e con i tipi.
7. il calcolo dei seguenti ed il teorema di cut elimination.
8. Aritmetica di Peano
-primo e secondo teorema di incompletezza

Bibliografia

Visualizza la bibliografia con Leganto, strumento che il Sistema Bibliotecario mette a disposizione per recuperare i testi in programma d'esame in modo semplice e innovativo.

Modalità d'esame

L'esame consiste in un seminario orale della durata approssimativa di 20/30 minuti.

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