Kursthemen

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

    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, Zoom, Beginn: 9. Oktober 2020

    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; die Aufzeichnungen sind am Ende dieses Abschnittes verfügbar.


    Lehrbücher


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

    • Letzte Klausur: Mittwoch, 27. Oktober 2021, 17:15-19:30, Zoom/JKU Moodle
      • Ab dem Wintersemester 2021 übernimmt ein anderer Vortragender die Lehrveranstaltung (mit neuen Materialien). Dies ist daher die letzte Gelegenheit, eine schriftliche Klausur anhand meiner Materialien zu absolvieren. Später werde ich nur noch individuelle mündliche/semi-schriftliche Prüfungen abhalten (für Studierende, die bis zum Wintersemester 2020 in der Lehrveranstaltung registriert waren).
  • Online Exam

     

    Date: Wednesday, October 27, 2021, 17:15-19:30, Zoom/JKU Moodle

    • To participate in the exam, you have to do until Friday, October 22 the following:
      • You have to register in KUSSS for the exam and
      • you have to upload in the course 326.023, VO Berechenbarkeit und Komplexität, Wolfgang Schreiner, 2020W of the JKU Moodle in the assignment "Exam October 27, 2021" a picture file "Ausweis.*" with a photo of your student id card.
        • If you have not been registered in KUSSS for this course in the WS 2020/2021, you do not have yet access to this course. In this case, send me by Friday, October 15 an email with your id number such that I can register you in KUSSS.
      • I will announce per email in KUSSS by Monday, October 25, who may participate in the exam.
    • To take part in the exam, you need a computer with internet connection and Web-/Laptop-/Phone-Cam (mandatory). You also need a device to convert handwritten DIN A4 pages into picture files of good quality (smartphone, tablet, scanner).
    • The exam will proceed as follows:
      • Login into the course 326.023, VO Berechenbarkeit und Komplexität, Wolfgang Schreiner, 2020W of the JKU Moodle.
      • At 17:15 (not later) you enter the Zoom Meeting whose id and password is announced in the JKU Moodle course. Join the meeting with only one client using your full name and registration number (format: "FAMILYNAME GivenName (kXXXXXXX)"). Activate your webcam and position it such that it shows yourself and your work place. Make sure that no one else is in the room and that no one will enter the room during the exam.
      • At 17:30 I will make the exam questions (a PDF file) visible in the JKU Moodle course (you may print the file, but this is not necessary). From that time on, you may start your elaboration. You may use any materials (open book exam) but not perform any attempt at external communication. Furthermore, no headsets or earplugs are allowed during the exam.
      • The exam is to be written manually with a dark pen on empty DIN A4 pages within the area well covered by your webcam. This area must not be left during the whole exam.
      • During the exam, ou may ask questions (only) via the "Chat" feature of the Zoom session (German or English, no audio questions).
      • At 19:00 (not before) you stop your elaboration and start to photograph/scan and upload your results in the form indicated below.
      • Until 19:15 latest the results of the exam have to be uploaded in the assignment "Exam October 27, 2021" of the JKU Moodle in the following form:
        • One picture file "Foto.*" with a photo that shows your face, your student id card, and the first page of your manually written elaboration (Example).
        • Picture files "Seite1.*", "Seite2.*", etc. with photos of every page of your manually written elaboration. You may also combine all files to a single archive file (preferably in zip format) or to a single document (preferably in PDF format).
      • At 19:15 (not before), position your camera such that it clearly shows (on your desk or in your hand) your student id card and the first page of your elaboration (as you have submitted it). Stay till 19:30 in the Zoom meeting. 
      • If your Zoom connection is interrupted during the exam, join the Zoom meeting again as quickly as possible. If there are longer Zoom interruptions or above regulations are violated, I may not grade your exam. The Zoom session will not be recorded., but after the exam I will check the Zoom/Moodle logs for conformance to the regulations.
    • After the exam, preserve your written elaboration without changes. If the quality of your photos is not good enough for grading, I may ask for new ones.
    • Please use the upload of the photo of your student id card to test your abilities to take photos and upload them in the Moodle course. Also test with some sample Zoom meetings your equipment (webcam).
  • Übungen

    Dr. Nikolaj Popov und Dr. Ralf Hemmecke


    Ü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-15:00, Zoom
    2. Klausur: Freitag, 8. Jänner 2021,  13:40-15:00, Zoom
    3. Nachklausur (beide Teile): Freitag, 12. März 2021, 13:40-15:40, Zoom

    Zoom Session für die Übungsklausuren:

    Betreten Sie um 13:40 die oben angeführte Zoom-Session mit nur einem Zoom-Klienten; verwenden Sie dabei Ihren JKU-Account und/oder das Namensschema "Nachname Vorname Matrikelnummer"). 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. Halten Sie Ihren Studentenausweis bereit und nach Aufforderung zur Identitätskontrolle in die Kamera. Frühestens ab 14:00 werden im Moodle zwei Online-Tests freigeschaltet; aus technischen Gründen wird die Freischaltung für jeden Teilnehmer zufällig um ein paar Minuten verzögert. Sie können einen oder beide der Tests absolvieren. Sobald Sie einen der Test beginnen, haben Sie für die Ausarbeitung dieses Tests 45 Minuten Zeit (beginnen Sie nicht beide Tests gleichzeitig!). Wenn Sie einen Test beginnen, wird das Ergebnis dieses Tests statt des entsprechenden ursprünglichen Tests gewertet. Während des Tests können Sie Fragen an die Übungsleiter über die Chat-Funktion im Zoom stellen (keine Audio-Fragen). Sobald Sie einen Test abgegeben haben (er wird nach 45 Minuten automatisch abgegeben), können Sie den nächsten beginnen. Sind Sie fertig, können Sie Moodle und Zoom verlassen (versuchen Sie unmittelbar nach der Abgabe nicht, den Test neu zu laden; die Bewertung wird erst nach einigen Tagen zur Verfügung stehen).

    • Wir erwarten, dass Sie in der Zoom-Session eingeloggt sind (nur ein Klient, voller Name, Video eingeschaltet), bevor die Überprüfung der Ausweise beginnt (also vor 13:45) und dass Sie in der Zoom-Session permanent verbleiben, bis Sie den Test abgegeben haben (kein Ausloggen und Wiedereinloggen in das Zoom). Ist das der Fall, dann verlassen Sie bitte die Zoom-Session unmittelbar nach der Moodle-Abgabe.
    • Wenn Sie aber erst während oder nach der Ausweisüberprüfung (ab 13:45) in das Zoom einsteigen oder aus der Zoom-Session vorübergehend aussteigen (zum Beispiel aufgrund eines Netzwerk-Problems), dann loggen Sie sich so schnell wie möglich wieder ein und bleiben Sie nach der Moodle-Abgabe in der Zoom-Session. Wir werden dann Ihren Ausweis (noch einmal) überprüfen und es Ihnen explizit mitteilen, wenn Sie die Zoom-Session verlassen dürfen (diese zweite Ausweisüberprüfung wird temporär zur späteren Überprüfung aufgezeichnet werden).

    Nach der Prüfung werden wir das Zoom Session-Protokoll auf die Einhaltung obiger Richtlinien überprüfen.