Bringen Sie bitte den ausgefüllten und mit Unterschrift am Prüfungstag versehenen Vordruck zur Prüfung mit, wir sammeln ihn bei der Einlasskontrolle ein. Sollten Sie die Erklärung vergessen haben, können Sie diese auch vor Ort noch ausfüllen.
Finden wir etwas am Platz, was nicht freigegeben ist, werten wir das als Täuschungsversuch, mit allen entsprechenden Konsequenzen.
Weitere Anmerkungen
Während der Klausur (solange Sie an Ihrem Sitzplatz sind) müssen Sie keine Alltagsmaske tragen.
Allgemeine Details zur Organisation der Vorlesung sind unter Aktuelles zu finden.
Wir bitten Sie um eine kurze Rückmeldung zur
Umsetzung dieser Veranstaltung.
Die Rückmeldung erfolgt anonym, die Ergebnisse können nur von den Dozenten
eingesehen werden.
Feedback "Grundlagen der theoretischen Informatik"
Um Ihre Stimme abgeben zu können müssen Sie zur
Olat Gruppe "Grundlagen der theoretischen Informatik" angemeldet sein.
"Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit",
John E. Hopcroft / Rajeev Motwani / Jeffrey D. Ullman
Pearson Studium, 2011
ist bis Ende Juli 2020 für die Universität Koblenz-Landau freigeschaltet ( Link )
ANMERKUNG: Alle Links in den Folien sind anklickbar
Details zur Organisation der Vorlesung
Die Folien der Vorlesungen (+ zusätzliche Materialen) werden 4-5 Tage vor
jeder Vorlesung auf der Webseite zu finden sein.
Audio-kommentierte Folien für Teile der Vorlesung werden auf Panopto zur
Verfügung gestellt:
Selbststudium:
Bitte lesen Sie die Folien und ggf. hören sich die Erklärungen an.
Dies sollte idealerweise
vor dem Termin
der Vorlesung geschehen.
Falls Sie Fragen haben, können Sie Ihre Fragen
im Newsgroup infko.theoinf bis
ca. 8 Stunden vor der Vorlesung stellen. Ich werde Ihre Fragen systematisch
entweder
auf infko.theoinf oder in der Konferenz-Session (während
der Vorlesungszeiten)
beantworten.
Konferenz-Session:
Während der Zeiten, die für die Vorlesung bestimmt sind,
stehe ich für Fragen und weitere Erklärungen online zur Verfügung.
Als Konferenzsystem werden wir OpenMeetings (OLAT) oder BigBlueButton benutzen.
Genauere Informationen wurden per E-Mail an alle Teilnehmer geschickt.
TEST Link: OpenMeetings (Der dafür benötigte Schlüssel wird per E-Mail geschickt)
Aktuell konnten bei OpenMeetings mit Chrome als Browser die besten Ergebnisse erzielt werden.
Falls die Konferenzsysteme Beschränkungen der Teilnehmerzahl haben,
oder falls bei grossen Zahlen von Teilnehmern die Systeme nicht gut funktionieren,
werde ich die Diskussionen entsprechend der Übungsgruppen organisieren und
gegebenenfalls
(wenn möglich) die Sessionen in Panopto oder OLAT hochladen.