Section outline

  • ΔΕΥΤΕΡΑ

    • Computability & Undecidability: The Universal Turing Machine, Simulation, Diagonalization
      The Halting Problem, Recursive and Rec. Enumerable sets, Rice's Theorem

    Προτεινόμενο Διάβασμα:

    • p. 57-63 από το [1].

    ΠΕΜΠΤΗ

    • Complexity Classes: Complexity Measures, Time and Space Classes, Hierarchy Theorems, Gap Theorem.
    • Space Computation: The classes L and NL, Savitch's Theorem.

    Προτεινόμενο Διάβασμα:

    • p. 139-151 από το [1]