Vertiefung Theoretische Informatik

Instructor:
  • Viorica Sofronie-Stokkermans <sofronie@uni-koblenz.de>
    • Exercise
  • Slides
  • Exercise Sheets
  • Newsgroup: infko.theoinf
    • Exam:

    Hauptklausur

  • Written exam, duration 2 h.
  • Date, time and place: 20.02.2013, 13:30-15:30, Room M 201.
  • List of subjects: summary.pdf
  • Question/Answer sessions:
  • Friday, 15.02.2013, 10:00, Room B 225.
  • Monday, 18.02.2013, 11:00, Room B 225.
  • Einsicht in die Klausur: 21.03.2013, 10:00-11:30, Room B 226.
    • Nachklausur
  • Written exam, duration 2 h.
  • Date, time and place: Friday, 12.04.2013, 13:30-15:30, Room M 001.
  • Question/Answer sessions: Wednesday, 10.04.2013, 11:00-12:00, Room B 225.

    • News

  • The "Vorlesungsfreie Zeit" starts on 20.12.2012 (see also here)
  • Therefore, there is no lecture on 20.12.2012
  • The exercise takes place normally on 18.12.2012.
  • After the winter holiday:
  • The next exercise: 8.1.2013
  • Before 19.12.2012 we will post an additional exercise sheet (referring to the whole material on TM, Register machines and Recursive functions covered in Lectures 1-8) which will be discussed on 8.1.2013.
  • The next lecture: 10.1.2013

  • 22.10.2012: The next lecture will take place on Thursday, 25.10.2012, from 8:30 to 10:00 in Room B017.

    • 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
  • If time remains: other computation models (e.g. automata over infinite words)
    • Wichtig

    Da es sowohl Überschneidungen bei der Vorlesung "Vertiefung Theoretische Informatik" als auch bei der entsprechenden Übung gibt,
    versuchen wir passendere Termine zu finden.

    Um eine Lösung zu erhalten, die den meisten Studierenden entgegenkommt, haben wir jeweils ein doodle für den Termin der Vorlesung
    und den Termin der Übung erstellt. Bitte markieren Sie, sowohl für die Vorlesung als auch für die Übung jeden Termin, bei dem es für
    Sie zu keiner Überschneidung mit einer anderen Lehrveranstaltung kommt.

    Geben Sie beim Abstimmen Ihren vollen Namen an. Die Abstimmung ist anonym. Wir sind die einzigen, die Ihre Auswahl sehen können.
    Einträge, die nicht unter vollem Namen gemacht wurden, werden gelöscht

    Da wir entsprechend Räme beantragen müssen, sobald die Termine klar sind und dies ein wenig Zeit braucht, beenden wir die Umfrage
    in diesem Freitag (19.10.12) um 11:00 Uhr. Stimmen Sie also so früh wir möglich ab. Die Termine werden im KLIPS und den Webseiten
    aktualisiert und ebenfalls in der newsgroup infko.theoinf bekannt gegeben und gelten ab der kommenden Woche.

    Umfrage zur Vorlesung

    Umfrage zur Übung