Vertiefung Theoretische Informatik

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

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

  • OLAT course
  • Forum (in OLAT)

  • News

    18.01.2024: Due to the extreme weather conditions, the lecture on Thu. 18.01.2014 will take place online,
    with BBB (BBB room ''Lecture Vertiefung TI WS 2023/24'' linked from the OLAT course).
    The session will be recorded.

    17.01.2024: Due to the extreme weather conditions, the exercise on Wed. 17.01.2014 will take place online,
    with BBB (the BigBlueButton room linked from this OLAT course).
    The session will be recorded.

    The first lecture takes place on 2.11.2023

    The first exercise takes place on 8.11.2023


    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