Lcp

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. Logica e Informatica Modelli di Calcolo Metodi Probabilistici per l’Informatica 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”

Organizzazione Questa pagina si riferisce alla sezione Modelli di Calcolo del corso Logica, Modelli di Calcolo e Metodi Probabilistici per l’Informatica. Per informazioni riguardanti il corso in generale è possibile consultare la seguente pagina: Logica, Modelli di Calcolo e Metodi Probabilistici per l’Informatica Docente Marco Console (console+lc at diag dot uniroma1 dot it) Per Chi è Questo Corso Il corso è rivolto agli studenti della laurea triennale in Ingegneria Informatica e Automatica