Theoretische Informatik

  1. Vorlesung:

    Einführung in die Theoretische Informatik

  1. LV-Leiter:
    Assoc.Prof. Dipl.-Ing. Dr. Peter Schartner
    Univ.-Prof. DDipl.-Ing. Dr. Stefan Rass
    Termin:
    Di 12:00-14:00, HS B
    Ablauf:
    Klausurtermine, LV-Modalitäten, ZEUS-Webseite
    Downloads
    RM-Simulator
    Aktuelles:
    Beginn der Lehrveranstaltung: 04.10.2016, 12:00 im HS B

    Zugangscodes werden in der 1. VO-Einheit bekannt gegeben.

  1. Kapitel

    1. Organisatorisches
    2. Literaturliste
    3. Mathematische Grundlagen (zur selbstständigen Wiederholung)
    4. Motivation und Präliminarien
    5. Registermaschinen
    6. Turingmaschinen 1
    7. Register- und Turingmaschinen
    8. Endliche Automaten
    9. Turingmaschinen 2
    10. Die These von Church
    11. Unberechenbarkeit
    12. Resümee, Ausblick und Fragestunde


  1. Praktikum:

    Einführung in die Theoretische Informatik

  1. LV-Leiter:
    Sen. Lecturer Dipl.-Ing Dr. Raphael Wigoutschnigg (RW)
    Dr. Judith Michael (JM)
    Dr. Peter Antonitsch (PA)
    Termin:
    621.501 (RW): Mi, 08:30-10:00, I.1.43
    621.502 (RW): Mi, 14:00-16:00, E.1.42
    621.503 (JM): Mi, 14:00-16:00, HS 5
    621.509 (PA): Di, 18:00-20:00, E.2.69
    Ablauf:
    LV-Modalitäten