Logik für Informatiker

Details zur Organisation der Vorlesung

Die Folien der Vorlesungen (+ zusätzliche Materialen) werden 3-4 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 Diskussionsforum zur Vorlesung
"Logik für Informatiker" bis ca. 8 Stunden vor der Vorlesung stellen.
Ich werde Ihre Fragen systematisch entweder im Forum 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 BigBlueButton (OLAT) benutzen.
Genauere Informationen wurden per E-Mail an alle Teilnehmer geschickt.

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 die Sessionen in OLAT hochladen. --!>

Inhalt

Literatur