Vertiefung Theoretische Informatik

Instructor:
  • Viorica Sofronie-Stokkermans <sofronie@uni-koblenz.de>
    • Konferenzsystem: Big Blue Button (BBB) under OLAT (Gruppe "Vertiefung Theoretische Informatik")

    Forum: under OLAT (Gruppe "Vertiefung Theoretische Informatik")

    Exercise Konferenzsystem: Big Blue Button (BBB) under OLAT (Gruppe "Vertiefung Theoretische Informatik")

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

    Klausur: 10.08.2021, 12:00-14:00 (120 min), Raum D 028.

    List of topics: [summary.pdf]

    Question/Answer Session: Fri, 6.08.2021, 14:00-16:00, BBB

    The first lecture takes place on 13.04.2021

    The first exercise takes place on 21.04.2021

    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