Themen dieses Kurses

  • Berechenbarkeit und Komplexität (WS 2020/21)

    Aufgrund der COVID19-bedingten Reduktion der Raumkapazitäten wird diese Lehrveranstaltung (sowohl Vorlesung als auch Übungen) zu den angegebenen Zeiten in vollständig digitaler Form (Zoom, Moodle) abgehalten werden, ebenso wie die entsprechenden Klausuren. Bitte registrieren Sie sich im KUSSS wie gewohnt für die Vorlesung und eine Übungsgruppe. Details zum Abhaltungsmodus siehe unten (wird laufend ergänzt).

    Because of the COVID19-caused reduction of room capacities, this course (the lecture as well as the exercises) will be offered at the announced times in complete digital form (Zoom, Moodle), as well as the corresponding exams. Please register in KUSSS as usual for one lecture and one exercise group. Details about the mode of operation are given below (to be completed).

    In dieser Lehrveranstaltung behandeln wir wesentliche Bereiche der Theoretischen Informatik, d.h., der "ewigen Wahrheiten" der Informatik, die auf der Grundlage der Mathematik/Logik ein für allemal bewiesen wurden und die unabhängig von weiteren technologischen Entwicklungen sind. Zentrale Fragestellungen sind dabei der Begriff der Berechenbarkeit (was ist berechenbar und was nicht?) und der Komplexität (wie groß ist der für eine Berechnung notwendige Aufwand?).

    Um an der Lehrveranstaltung teilzunehmen, müssen Sie sich wie üblich im KUSSS System dafür (jeweils Vorlesung und Übung separat) anmelden. Wenn Sie sich auch im Moodle einloggen und als Kursteilnehmer eintragen, erhalten Sie per Email alle ins "Ankündigen"-Forum gestellte Nachrichten und können selbst Nachrichten ins "Fragen und Antworten"-Forum stellen.

  • Vorlesung (326.023)

    A.Univ.Prof. DI Dr. Wolfgang Schreiner
    Freitag, 12:00-13:30, HS 16 Zoom, Beginn: 9. Oktober 2020
    (13.11., 11.12., 15.1.: HS 1)

    Zoom Session (ab 11:45 geöffnet)

    https://jku.zoom.us/j/93561550583?pwd=UXozbm9aVXRURzBJTmNsU1lZQWg5dz09
    Meeting-ID: 935 6155 0583 Passwort: bekomp

    Die Vorlesungen werden aufgezeichnet werden; die Aufzeichnungen werden in diesem Moodle-Kurs verfügbar sein.


    Lehrbücher


    Das Buch von Hoffmann bietet eine sehr lesenswerte deutsche Einführung in das Thema.

    • Klausur: Freitag, 5. Februar 2021, 11:45-14:00, Zoom/JKU Moodle
    • Übungen

      Dr. Nikolaj Popov und Dr. Ralf Hemmecke


      Zoom Sessions:

      Zoom Session Gruppen Popov (326.004,326.104,326.111):
      Wird noch bekannt gegeben.
      Zoom Session Gruppen Hemmecke (326.016,326.050):
      Wird noch bekannt gegeben.

      Übungsaufgaben:

      Jeden Donnerstag wird hier ein Zettel mit Übungsaufgaben zu dem Stoff ausgegeben, der in der kommenden Vorlesung behandelt werden wird. In der Zoom-Session der Übungsgruppe der darauffolgenden Woche haben Sie Gelegenheit, zu diesem Aufgaben Fragen zu stellen. Am Mittwoch der nächsten Woche sind die ausgearbeiteten Ergebnisse in diesem Moodle-Kurs hochzuladen. Nach der Abgabenfrist werden hier Musterlösungen hochgeladen. Sie haben in den darauffolgenden Übungsstunden Gelegenheit, zu diesen Musterlösungen Fragen zu stellen bzw. sich diese erklären zu lassen. Loggen Sie sich dazu in die oben angeführte Zoom-Session für Ihre Übungsgruppe ein.

      In den Übungsstunden findet kein vordefiniertes Programm statt, sondern es wird auf Fragen zu den (aktuellen/vorigen) Übungsaufgaben eingegangen.

      Übungsklausuren (für alle Übungsgruppen):

      (Unterlagen sind nicht zugelassen)
      1. Klausur: Freitag, 20. November 2020, 13:40-14:30, Zoom
      2. Klausur: Freitag, 8. Jänner 2021,  13:40-14:30, Zoom

      Betreten Sie sich um 13:40 die unten angeführte Zoom-Session und richten Sie Ihre Kamera so aus, dass Sie selbst und Ihr Arbeitsplatz gut sichtbar sind. Außerdem loggen Sie sich in diesen Moodle-Kurs ein. Ab 13:45 wird im Moodle ein Online-Test freigeschaltet, für dessen Ausarbeitung Sie 30 Minuten Zeit haben. Bleiben Sie bis 14:30 in der Zoom Session und halten Sie Ihren Studentenausweis bereit; dieser wird nach Abschluss des Tests kontrolliert.

      Zoom Session:
      Wird noch bekannt gegeben.

      Der Bewertungsmodus für die Übung wird noch bekannt gegeben werden.