IC233 Mathematical Foundations of the Theory of Computation

Objectives of the course

Automata and Formal Languages - Mathematical Logic in the Theory of Computation

• Some corrections to the printed version of the lecture notes  
  
• A (corrected) copy of the lecture notes (in Greek)
  
• Solutions of the questions 3 and 4 of the exam of June 2015 
  

Bibliography

Books

• Introduction of Theoty of Computation, Michael Sipser, Cengage, 2nd Edition, 2006, ISBN: 978-813-150-162-7.
• Logic in Computer Science: Modelling and Reasoning about Systems, Michael Huth, Mark Ryan, Cambridge University Press, 2nd Edition, 2004, ISBN: 978-052-154-310-1.
• Elements of the Theory of Computation, Harry Lewis, Christos H. Papadimitriou, Prentice-Hall, 2nd Edition, 1997, ISBN: 978-013-262-478-7..