Foundations of Computing (2002/2003)-Dep.Computer Science-University of Verona

Follow on Facebook

Course code

4S00005

Name of lecturer

Roberto Giacobazzi

Coordinator

Roberto Giacobazzi

Number of ECTS credits allocated

6

Other available courses

Language of instruction

Italian

Location

VERONA

Period

Web page

http://profs.sci.univr.it/~giaco/fondamenti3.html

First four-month term (only lessons for the 1st year run from 23/9 to 27/9)
Day	Time	Type	Place
Monday	8:30 AM - 10:30 AM	lesson	Lecture Hall A
Thursday	2:30 PM - 4:30 PM	lesson	Lecture Hall A
Friday	8:30 AM - 10:30 AM	lesson	Lecture Hall A

Reference books
Author	Title	Publisher	Year	ISBN	Note
P. Odifreddi	Classical recursion theory	Elsevier North-Holland	1989
N. Jones	Computability and Complexity	MIT Press	1997
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman	Introduction to Automata Theory, Languages and Computation (Edizione 2)	Addison-Wesley	2000	0201441241
S. C. Kleene	Introduction to metamathematics (Edizione 13)	North Holland	2000
H. Rogers	Theory of recursive functions and effective computability	MIT Press	1988