Welcome

Research and teaching @ TUHH

Friday, June 24, 2011

Computability & Complexity - Lecture 10

Topics:
  • decidable and undecidable sets
  • diagonalization and reduction
  • prototype set K
  • halting problem
  • theorem of Rice.

No comments:

Post a Comment