[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. 2008. Available as scanned pages in pdf.

[M3] Exercises on Theory of Computing. Available as scanned pages in pdf.

Summary

Details

Lectures 1,2 - 30/9/2008

• Topics [M2: Part 1]
  • course presentation
  • basic definitions about sets
• What you should know after the lecture
  • the basic definitions regarding functions, relations, and their properties

Lectures 3,4 - 1/10/2008

• Topics [M2: Part 1]
  • basic definitions about sets, relations, functions
  • cardinality of a set, countable and uncountable sets, Cantor's theorem
  • basic definitions about languages
• What you should know after the lecture
  • the definition of cardinality of a set
  • the difference between countable and uncountable sets
  • Cantor's diagonalization argument
  • the formal meaning of alphabet, string, language

Course home page