Free University of Bolzano/Bozen
Faculty of Computer Science
Master of Science in Computer Science

Theory of Computing

Lectures A.Y. 2017/2018

Prof. Diego Calvanese


Teaching material

[M1] Introduction to Automata Theory, Languages, and Computation (3rd edition). J.E. Hopcroft, R. Motwani, J.D. Ullman. Addison Wesley, 2007.
[M2] Lecture Notes for Theory of Computing. Diego Calvanese. 2013. Available as scanned pages in pdf.
[M3] Languages and Machines (3rd edition). Thomas A. Sudkamp. Addison Wesley, 2005. Only Chapter 13.
[M4] The Convenience of Tilings. Peter van Emde Boas. In Complexity, Logic, and Recursion Theory, volume 187 of Lecture Notes in Pure and Applied Mathematics, pages 331-363, 1997.
[M5] Exercises on Theory of Computing. Available as scanned pages in pdf.


Lectures

Lectures 1,2 - 4/10/2017


Lectures 3,4 - 10/10/2017


Exercise 1,2 - 10/10/2017


Lectures 5,6 - 11/10/2017


Lectures 7,8 - 17/10/2017


Exercise 3,4 - 17/10/2017


Lectures 9,10 - 18/10/2017


Lectures 11,12 - 31/10/2017


Exercise 5,6 - 31/10/2017


Lectures 13,14 - 7/11/2017


Lectures 15,16 - 7/11/2017


Lectures 17,18 - 8/11/2017


Lectures 19,20 - 14/11/2017


Lectures 21,22 - 15/11/2017


Exercise 7,8 - 17/11/2017


Lectures 23,24 - 21/11/2017


Exercise 9,10 - 21/11/2017


Lectures 25,26 - 22/11/2017


Lectures 27,28 - 28/11/2017


Exercise 11,12 - 28/11/2017


Exercise 13,14 - 29/11/2017


Lectures 29,30 - 5/12/2017


Midterm exam - 5/12/2017


Lectures 31,32 - 6/12/2017


Back to Course home page


Last modified: Wednesday, 15-Nov-2017 0:56:22 CET