Logica, Modelli di Calcolo e Metodi Probabilistici per l'Informatica. A.A. 2024/25.
Laurea in Ingegneria Informatica e Automatica
Organizzazione
Il corso è articolato in tre sezioni sequenziali: Logica e Informatica, Modelli di Calcolo e Metodi Probabilistici per l’Informatica. Informazioni relative alle singole sezioni si trovano nelle seguenti pagine.
Lezioni
- Martedì, 08.00 - 12.00, Aula 204, Marco Polo
- Giovedì, 08.00 - 12.00, Aula 204, Marco Polo
Nota: Le tre sezioni sono sequenziali. Il corso inizierà con la sezione “Logica e Informatica”, seguita dalla sezione “Modelli di Calcolo” e si concluderà con la sezione “Metodi Probabilistici per l’Informatica”
Docenti
- Prof. Maurizio Lenzerini (Logica e Informatica)
- Prof. Marco Console (Modelli di Calcolo)
- Prof. Federico Fusco (Metodi Probabilistici per l’Informatica)
Per Chi è Questo Corso
Il corso è rivolto agli studenti della laurea triennale in Ingegneria Informatica e Automatica
Esame
Il corso prevede una prova scritta.
Link Google Classroom