Computabilità (A.A.
2006/07)
- N. crediti
- 6
- Orario delle lezioni
- Lunedì e Mercoledì dalle 8:30 alle 10:30
- Orario di ricevimento
- vai su UNIWEB
- Testi consigliati
- N.J. Cutland. Computability: an introduction to recursive function
theory, Cambridge University Press,
Cambridge - UK, 1986. [Testo principale]
- M.D. Davis, R. Sigal, E.J. Weyuker Computability, Complexity, and
Languages: Fundamentals of Theoretical Computer Science,
Academic Press, New York, 1994. [Lettura consigliata]
- Ultima
versione lucidi su "Programmi universali, forma normale di
Kleene"
Prova in itinere del 18/12/2006: testo e risultati.
Prova in itinere del 7/2/2007: testo e risultati.
Esami a.a. 2005/06:
07/02/06,
09/03/06,
14/06/06,
03/07/06,
11/09/06,
04/10/06,
14/12/06.
PROVE IN ITINERE ED ESAMI ASSEGNATI NEL PASSATO