### Free University of Bolzano/Bozen

Faculty of Computer Science

Master of Science in Computer Science

# Theory of Computing

# Lectures Notes A.Y. 2009/2010

### 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)]
- Logarithmic space
[Part 7 (12 pages)]
- Circuits and complexity of non-uniform problems
[Part 8 (19 pages)] -
Material derived from Chapter 14 of
"Complexity Theory" by Ingo Wegener

- Review of formal proof techniques
[Exercise 1 (7 pages)]
- Exercises on deterministic and nondeterministic Turing Machines
[Exercise 2]
- Exercises on Turing Machines and reductions
[Exercise 3]
- Exercises on Turing Machines computing functions
[Exercise 4]
- Exercises on primitive recursive functions
[Exercise 5]
- Exercises in preparation of midterm exam
[Exercise 6]
- Exercises on 3SAT and 2SAT
[Exercise 7]
- Exercises on reductions to show NP-hardness
[Exercise 8]
- Exercises on space complexity
[Exercise 9]
- Exercises on boolean circuits
[Exercise 10]
- Selected exam exercises

course home page

*Last modified:
Sunday, 31-Jan-2010 22:01:04 CET
*