Folien (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:
Bitte beachten Sie, dass der Ordner "Logik für Informatiker" nur
die zwei Ordner "Übung" und "Vorlesung" enthät und keine Dateien.
Der Ordner "Vorlesung" enthält die Einführungsfolien sowie
Unterverzeichnisse (einen für jeden Termin der Vorlesung).
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.logik bis
ca. 8 Stunden vor der Vorlesung stellen. Ich werde Ihre Fragen systematisch
entweder
auf infko.logik 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 OpenMeetings Link (Der dafür benötigte Schlüssel wird per E-Mail geschickt)
OpenMeetings: Manual
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.