Free University of Bolzano/Bozen
Faculty of Computer Science
Master of Science in Computer Science
Theory of Computing
Lectures Notes A.Y. 2007/2008
Lectures
- Basic notions about relations, functions, formal languages
[Part 1 (13 pages)]
- Turing Machines
[Part 2 (25 pages)]
- Decidability and undecidability
[Part 3 (19 pages)]
- Recursive functions
[Part 4 (23 pages)] -
Material derived from Chapter 13 of
"Languages and Machines" by T.A. Sudkamp
- P, NP, and NP-completeness
[Part 5 (16 pages)]
- Polynomial hierarchy and PSPACE
[Part 6 (21 pages)]
- Circuits and complexity of non-uniform problems
[Part 7 (19 pages)] -
Material derived from Chapter 14 of
"Complexity Theory" by Ingo Wegener
- Review of formal proof techniques
[Exercise 1 (7 pages)]
- Exercises on Turing Machines
[Exercise 2]
- Exercises on nondeterministic Turing Machines and extensions of Turing
Machines
[Exercise 3]
- Exercises on Turing Machines computing functions
[Exercise 4]
- Exercises on recursive and recursively enumerable languages
[Exercise 5]
- Exercises on primitive recursive functions
[Exercise 6]
- Exercises in preparation of midterm exam
[Exercise 7]
- Exercise on the reduction from 3SAT to CSAT
[Exercise 8]
- Exercises on reductions to show NP-hardness
[Exercise 9]
- Exercises on tiling problems
[Exercise 10]
- Exercises on boolean circuits
[Exercise 11]
course home page
Last modified:
Wednesday, 23-Jan-2008 18:59:26 CET