(ETC)
Classe
2: matricole congrue a 1 (mod
3)
PROGRAMMA (di massima) DEL CORSO
|
Nozioni preliminari
|
a) Cap.
0
|
|
Automi finiti e Linguaggi regolari
|
a)
Cap. 1
|
|
Macchine di Turing
|
a)
Cap. 3
|
|
Decidibilità
|
a)
Cap. 4
|
|
Riducibilità
|
a)
Cap. 5
|
|
Complessità
|
a) Cap 7 (7.1 e 7.2)
b)
Cap. 8
|
Testi principali di riferimento:
a)
Michael Sipser, Introduction to the Theory of Computation, Course
Technology.
b)
Jon
Kleinberg, Eva Tardos, Algorithm Design, Pearson
I contenuti dei libri
consigliati possono essere integrati con il materiale
sottostante.
Si sottolinea che le
slides NON sostituiscono il libro di testo e non sono immuni da imperfezioni.
Appello
20 Aprile 2012
L'appello è riservato ai soli
studenti a cui mancano al più 4 esami alla laurea che
si sono prenotati per l’appello di Feb. 2012.
Gli studenti che intendono partecipare devono inviare entro il 15/4/2012 mail al docente con
Subject: Prenotazione appello riservato ETC – Aprile 2012
Contenuto: Cognome,
Nome, Matricola