|
Logik in der Informatik
Prof. Dr. Nicole Schweikardt |
|
Pandemiebedingt findet die Veranstaltung in diesem Semester in einer Kombination aus digitalen und vor-Ort-Terminen statt: Die Vorlesungen sowie die Prolog-Übung werden in rein digitaler Form per Zoom durchgeführt; für die Übungsgruppen gibt es Gruppen, die "in Präsenz" stattfinden (montags und mittwochs) und Gruppen, die per Zoom durchgeführt werden (freitags).
In diesem Logbuch werden regelmäßig Informationen dazu bereit gestellt, welche Lektüre von allen Teilnehmer:innen bis zum nächsten "Vorlesungstermin" selbständig durchgearbeitet werden soll. Die "Vorlesungstermine" (Di+Do 11-13 Uhr) werden über Zoom als Online-Treffen durchgeführt (die Zugangsdaten werden über Moodle bereit gestellt), in denen Fragen zur Lektüre gestellt werden können und in denen das in der Lektürearbeit erarbeitete Wissen weiter vertieft wird.
Das erste Online-Treffen, für das Sie vorher eine Lektüreaufgabe erledigen müssen, findet am Donnerstag, den 21.10.21 statt.
Zwei Tage vorher, am Dienstag, den 19.10.21, findet die Eröffnungsvorlesung statt, in der Organisatorisches geklärt wird.
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Krankheitsbedingt musste das Online-Treffen zur Vorlesung am Di, 16.11.21 leider entfallen. Im Online-Treffen zur Vorlesung am Do, 18.11.21 werden die Themen besprochen, die eigentlich bereits für Di, 16.11.21 eingeplant waren. D.h.: Arbeiten Sie nochmal das durch, was Sie bereits für Di, 16.11.21 durchgearbeitet haben.
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):
Arbeiten Sie Folgendes durch:
Arbeiten Sie den Inhalt der Webseite mit Klausurhinweisen durch.
Material: Eine Zusammenstellung wichtiger Informationen sowie die in der Vorlesungsstunde verwendeten Beispielaufgaben finden Sie hier.