Logica, Modelli di Calcolo e Metodi Probabilistici per l'Informatica. A.A. 2025/26.
Laurea in Ingegneria Informatica e Automatica
Organizzazione
Il corso è articolato in tre macro-argomenti: Logica e Informatica, Modelli di Calcolo e Metodi Probabilistici per l’Informatica. Maggiori informazioni si trovano ai seguenti indirizzi:
Lezioni
- Martedì, 08.00 - 12.00, Aula 204, Marco Polo
- Mercoledì, 08.00 - 12.00, Aula 204, Marco Polo
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
https://classroom.google.com/c/MjM0ODM1OTEwOTZa?cjc=gikpwhew