Vertiefung Theoretische Informatik

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

  • Konferenzsystem for QA sessions (TBA): Big Blue Button (BBB) under OLAT (Gruppe "Vertiefung Theoretische Informatik WS2021/22")

    Forum: under OLAT (Gruppe "Vertiefung Theoretische Informatik WS2021/22")


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


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

  • News

    The slides of the first lecture will be available on the
    website and the audio-commented slides will be in Panopto
    on Wednesday, 27.10.2021 before the time of the lecture.

    The first exercise sheet will be available online on Wed, 27.10.2021.

    The first exercise session will take place on Monday 8.11.2021
    (then the first two exercise sheets will be discussed)


    Infos on slides/meetings

    Slides and Links to audiocommented slides available here


    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