Vertiefung Theoretische Informatik

Instructor:
  • Viorica Sofronie-Stokkermans <sofronie@uni-koblenz.de>

  • Exercise
  • Slides
  • Panopto: Audio-Commented Slides
  • Exercise Sheets

  • OLAT course
  • Forum

  • News

    The first lecture takes place on 26.10.2022

    The first exercise takes place on 3.11.2022


    Exam: Fr. 24.02.2023, written exam, 14:00-16:00 (120 Min), Room M 201.
  • The registration in KLIPS is open. Registration possible until 17.02.2023.
  • Question/Answer Session: Wednesday, 22.02.2023, 14:30, BBB in OLAT

  • List of topics: [summary.pdf]
  • Termin 2: Wednesday, 12.04.2023, B 227 and Monday, 24.04.2023, B 227 (Oral exam).

    Contents

    This lecture presents important notions and results related to computability and its limits.
  • Turing Machines and Turing Computability
  • Register machines (LOOP, WHILE, GOTO)
  • Recursive functions
  • The Church-Turing Thesis
  • Computability and (Un-)decidability
  • Complexity