Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Vorlesung Logik in der Informatik (WS 20/21)

 


Aktuelles

  • 06.05.2021: Die Ergebnisse der Take-Home-Klausur in "Logik in der Informatik" vom 16.04.2021 sind jetzt verfügbar. Die Klausurteilnehmer*innen können im Moodle-Kurs "Take-Home-Klausur Logik in der Informatik (April 2021)" durch Klicken auf "Klausurergebnis und Einsicht" Einsicht in die Bewertung der von ihnen eingereichten Klausur nehmen. Wer Einwände gegen die Bewertung seiner/ihrer Klausur vorbringen möchte, meldet sich bitte bis spätestens Dienstag, 11.5.21, 17:00 Uhr bei Prof. Schweikardt per Email mit dem Betreff "Einwand gegen Klausurbewertung" und einer Schilderung der Einwände.
  • 09.04.2021: Der Moodle-Kurs "Take-Home-Klausur Logik in der Informatik (April 2021)" wurde sichtbar geschaltet. Alle ordnungsgemäß im Prüfungsbüro angemeldeten Klausurteilnehmer*innen wurden von uns in diesen Kurs eingetragen.
    Wir bitten alle, die sich für die Klausur am 16.04.2021 angemeldet haben, zu überprüfen, ob sie Zugang zu diesem Moodle-Kurs haben. Wer der Meinung ist, ordnungsgemäß zur Klausur angemeldet zu sein, aber keinen Zugang zu dem Moodle-Kurs "Take-Home-Klausur Logik in der Informatik (April 2021)" hat, meldet sich bitte schnellstmöglich per Email bei Dr. André Frochaux.
    Um sich auf den technischen Ablauf der Take-Home-Klausur vorzubereiten, bitten wir Sie nachdrücklich darum, am Testlauf teilzunehmen, der  am 13.04.2021 ab 17:15 Uhr im Moodle-Kurs "Take-Home-Klausur Logik in der Informatik (April 2021)" hier stattfinden wird.
  • 23.03.2021: Die Ergebnisse der Take-Home-Klausur in "Logik in der Informatik" vom 10.03.2021 sind jetzt verfügbar. Die Klausurteilnehmer*innen können im Moodle-Kurs "Take-Home-Klausur Logik in der Informatik (März 2021)" durch Klicken auf "Klausurergebnis" Einsicht in die Bewertung der von ihnen eingereichten Klausur nehmen. Wer Einwände gegen die Bewertung seiner/ihrer Klausur vorbringen möchte, meldet sich bitte bis spätestens Freitag, 26.03.21, 17:00 Uhr bei Prof. Schweikardt per Email mit dem Betreff "Klausureinsicht" und einer Schilderung der Einwände.
  • 09.03.2021, 10h15: Die Take-Home-Klausur in "Logik in der Informatik" am 10.03.2021 wird in dem Moodle-Kurs "Take-Home-Klausur Logik in der Informatik (März 2021)" durchgeführt. Alle ordnungsgemäß im Prüfungsbüro angemeldeten Klausurteilnehmer*innen wurden von uns in diesen Kurs eingetragen.
    Wir bitten alle, die sich für die Klausur am 10.03.2021 angemeldet haben, zu überprüfen, ob sie Zugang zu diesem Moodle-Kurs haben. Wer der Meinung ist, ordnungsgemäß zur Klausur angemeldet zu sein, aber keinen Zugang zu dem Moodle-Kurs "Take-Home-Klausur Logik in der Informatik (März 2021)" hat, meldet sich bitte schnellstmöglich per Email bei Dr. André Frochaux.
  • 16.02.2021: Auf der Webseite zur Take-Home-Klausur wurde der genaue Termin für den ausführlichen Testlauf zur Klausur bekannt gegeben: Der Testlauf findet am 05.03.2021 um 17:00-17:30 Uhr statt; die Zugangsdaten sind hier erhältlich.
  • Am 09.02.2021 fand (planmäßig) die letzte Prolog-Übung statt.
  • 25.01.2021: Eine Zusammenstellung von Hinweisen zur Klausur (inkl. Beispiele früherer Klausuraufgaben sowie Details zum organisatorischen Ablauf der Klausur) finden Sie hier. Bitte lesen Sie sich die dort erhältlichen Informationen und Regelungen sorgfältig durch!
  • 04.01.2021: Auf Grund von aktuell wirksamen Stellenkürzungen sowie sinkenden Teilnehmerzahlen in den Übungen am Mittwoch und Donnerstag müssen die Übungen 4 und 6 am Mittwoch und Donnerstag leider ab jetzt entfallen. Wir bitten die Studierenden der Übungsgruppen 4 und 6, an den zeitgleich stattfindenden Übungsgruppen 3 und 5 teilzunehmen.
  • Die Termine für die Take-Home-Klausur stehen nun fest:

Die erste Klausur findet am 10.03.2021 um 10:00 Uhr (Einlass ab 9:30 Uhr) statt.

Die Wiederholungsklausur findet am 16.04.2021 um 10:00 Uhr (Einlass ab 9:30 Uhr) statt.

  • Pandemiebedingt findet die Veranstaltung in diesem Semester in rein digitaler Form statt. Falls Sie an der Veranstaltung teilnehmen wollen, melden Sie sich bitte über AGNES für die Übungen an. Die Eröffnungsvorlesung fand am Dienstag, den 3.11.20 ab 11:15 Uhr statt. Der Übungsbetrieb (inkl. Prolog-Übung) startete in der zweiten Woche der Vorlesungszeit, also in der Woche vom 9.-13. November.
  • Viele wichtige Informationen zur Veranstaltung finden Sie hier auf der Webseite, die regelmäßig aktualisiert wird. Ergänzend dazu werden manche Teile der Veranstaltung über die Moodle-Plattform durchgeführt; bitte schreiben Sie sich dort bis 03.11.2020 in den Kurs unter https://moodle.hu-berlin.de/enrol/index.php?id=99378 ein. Der Einschreibeschlüssel wird an die über AGNES eingeschriebenen Studierenden verschickt (am 30.10.20) und kann von Teilnehmer*innen, die noch nicht über AGNES eingeschrieben sind, auch per Mail an Dr. André Frochaux erfragt werden.
  • Im Logbuch werden regelmäßig Lektüreaufgaben zum Selbststudium bekannt gegeben. Zum Zeitpunkt der Vorlesungstermine (Di+Do 11-13 Uhr) finden Online-Treffen mittels Zoom statt, in denen Fragen der Teilnehmer*innen zum Lektürestoff beantwortet werden und das durch die Lektüre angeeignete Wissen vertieft wird. Das erste solche Online-Treffen findet am Donnerstag, den 05.11.2020 statt; Zugangsdaten erhalten Sie über Moodle.

 


Einführung

Logik spielt eine grundlegende Rolle in vielen Bereichen der Informatik, etwa dem Schaltkreisentwurf, dem Software-Engineering, der künstlichen Intelligenz, der Datenbanken und der theoretischen Informatik. Die Logik in der Informatik baut auf der mathematischen Logik auf, die sich etwa seit Ende des 19. Jahrhunderts herausgebildet hat. In den letzten 30 Jahren hat sich die Logik in der Informatik aber in eine eigenständige, von den Anwendungen bestimmte Richtung entwickelt.

Die Vorlesung ist eine Einführung in die Logik und ihre Anwendungen in der Informatik. Darüber hinaus wird die logikbasierte Programmiersprache Prolog eingeführt.

 


Inhalt

  • Kapitel 1: Einleitung
  • Kapitel 2: Aussagenlogik
  • Kapitel 3: Logik erster Stufe
  • Kapitel 4: Grundlagen des automatischen Schließens
  • Kapitel 5: Logik-Programmierung

 

Vorlesungsskript und Handout zu den in der Vorlesung verwendeten Folien:

 

Beachten Sie:
Zur Vorbereitung auf eine Prüfung wird dringend empfohlen, das gesamte in den Vorlesungs- und Übungsstunden sowie der Prolog-Übung vermittelte Material durchzuarbeiten.

 


Logbuch

Im Logbuch werden regelmäßig Lektüreaufgaben zum Selbststudium bekannt gegeben. Zum Zeitpunkt der Vorlesungstermine (Di+Do 11-13 Uhr) finden Online-Treffen mittels Zoom statt, in denen Fragen der Teilnehmer*innen zum Lektürestoff beantwortet werden und das durch die Lektüre angeeignete Wissen vertieft wird. Das erste solche Online-Treffen findet am Donnerstag, den 05.11.2020 statt; Zugangsdaten erhalten Sie über Moodle.

 


Informationen zum Vorlesungsbetrieb

Es finden regelmäßig Online-Treffen statt, in denen Fragen der Teilnehmer*innen zum Lektürestoff beantwortet werden und das durch die Lektüre angeeignete Wissen vertieft wird:

Dienstags 11:15-13:00 und
Donnerstags 11:15-13:00
über Zoom. Die Eröffnungsvorlesung fand am Dienstag, den 3.11.20 ab 11:15 Uhr statt. Die Zugangsdaten zu den nachfolgenden Online-Treffen zur Vorlesung ab dem 5.11.20 sind über Moodle erhältlich.
Dozentin
Prof. Dr. Nicole Schweikardt

 


Informationen zum Übungsbetrieb

Ergänzend zu den Vorlesungen finden 2-stündige Übungen in kleinen Gruppen statt, in denen Fragen zur Vorlesung diskutiert und die Übungsaufgaben besprochen werden. Die Übungsgruppen treffen sich erstmalig in der zweiten Woche der Vorlesungszeit, also in der Woche vom 9.-13. November.

 

Übungsgruppenleiter/innen
Dr. André Frochaux
PD Dr. Louchka Popova-Zeugmann
 
Tutoren/innen
Leonid Antipov
Sarah Hoppe
Johannes F. Lange
Benjamin Scheidt
 
Zeiten und Räume der Übungsgruppen (Zugangsdaten zu den jeweiligen Zoom-Meetingräumen sind über Moodle erhältlich):
Gruppe 1:   Montags 15-17, digital  bei PD Dr. Louchka Popova-Zeugmann
Gruppe 2:   Montags 15-17, digital bei Dr. André Frochaux
Gruppe 3:   Mittwochs 11-13, digital bei PD Dr.Louchka Popova-Zeugmann
Gruppe 4:   Mittwochs 11-13, digital bei Dr. André Frochaux. Auf Grund von aktuell wirksamen Stellenkürzungen kann dieser Übungstermin leider nur bis Ende Dezember 2020 stattfinden. Ab Januar 2021 bitten wir die Teilnehmer*innen dieser Übungsgruppe, an der zeitgleich stattfindenden Gruppe 3 teilzunehmen.
Gruppe 5:   Donnerstags 15-17, digital bei PD Dr. Louchka Popova-Zeugmann
Gruppe 6:   Donnerstags 15-17, digital bei Dr. André Frochaux. Auf Grund von aktuell wirksamen Stellenkürzungen kann dieser Übungstermin leider nur bis Ende Dezember 2020 stattfinden. Ab Januar 2021 bitten wir die Teilnehmer*innen dieser Übungsgruppe, an der zeitgleich stattfindenden Gruppe 5 teilzunehmen.

Melden Sie sich bitte für eine Übungsgruppe bis zum 28. Oktober (Nachfrist 2.-5.November) in AGNES an.
Bitte schreiben Sie sich außerdem zusätzlich in den Moodle-Kurs bis zum 3. November ein. Der Einschreibeschlüssel wurde an die über AGNES eingeschriebenen Studierenden verschickt (am 30.10.20) und kann von Teilnehmer*innen, die noch nicht über AGNES eingeschrieben sind, auch per Mail an Dr. André Frochaux erfragt werden.

 


Informationen zur Prolog-Übung

Ergänzend zu den Vorlesungen und Übungen finden jede Woche 2-stündige Prolog-Übungen statt, in denen Sie darin unterstützt werden, sich in die Programmiersprache Prolog einzuarbeiten. In den Prolog-Übungen werden zusätzliche Programmierbeispiele behandelt und Anleitungen zur Lösung der Prolog-bezogenen Übungsaufgaben gegeben. Die Teilnahme an den Prolog-Übungen ist freiwillig und bedarf keiner Anmeldung. Weitere Informationen zur Prolog-Übung und (zu gegebener Zeit) den Quellcode der in den Prolog-Übungen verwendeten Beispiele finden Sie hier.

Die Prolog-Übung fand erstmalig in der zweiten Woche der Vorlesungszeit statt, also am 10.11.20.

 

Zeiten und Räume
Dienstags 09:00-11:00 digital (Zugangsdaten zum Zoom-Meetingraum sind über Moodle erhältlich)
Dozent
Dr. André Frochaux
 

Übungsaufgaben

 

Es wird wöchentlich ein Übungsblatt ausgegeben. Jedes Übungsblatt enthält vier Aufgaben:

  1. Aufgabe: wird elektronisch als Moodle-Quiz organisiert
  2. Aufgabe: dient in der zugehörigen Übungsstunde als Präsenzaufgabe
  3. Aufgabe: die handschriftlich formulierte Lösung soll eingescannt und über Moodle abgegeben werden
  4. Aufgabe: behandelt das Thema "Prolog"; die Lösung soll über Moodle abgegeben werden

 

Geben Sie auf jeder Abgabe bitte Ihre Matrikelnummer an.

 

Das Übungsblatt wird jeweils freitags an dieser Stelle bereitgestellt.

  • Blatt 1 (ausgeteilt am 06.11., Abgabe bis zum 16.11., 13:00)
  • Blatt 2 (ausgeteilt am 13.11., Abgabe bis zum 23.11., 13:00)
  • Blatt 3 (ausgeteilt am 20.11., Abgabe bis zum 30.11., 13:00)
  • Blatt 4 (ausgeteilt am 27.11., Abgabe bis zum 6.12., 13:00)
  • Blatt 5 (ausgeteilt am 4.12., Abgabe bis zum 14.12., 13:00) - Aktualisiert (Fehler im Zahlenrätsel)
  • Blatt 6 (ausgeteilt am 11.12., Abgabe bis zum 4.1., 13:00)
  • Blatt 7 (ausgeteilt am 21.12., Abgabe bis zum 11.1., 13:00)
  • Blatt 8 (ausgeteilt am 8.1., Abgabe bis zum 18.1., 13:00)
  • Blatt 9 (ausgeteilt am 15.1., Abgabe bis zum 25.1., 13:00)
  • Blatt 10 (ausgeteilt am 22.1., Abgabe bis zum 1.2., 13:00) Update (Ein kleiner Fehler in der Definition des Kalküls der Aufgabe 2)
  • Blatt 11 (ausgeteilt am 29.1., Abgabe bis zum 8.2., 13:00)
  • Blatt 12 (ausgeteilt am 5.2., Abgabe bis zum 15.2., 13:00)

Die Lösungen der Aufgaben 1, 3 und 4 müssen dann bis zur übernächsten Woche montags um 13:00 Uhr über Moodle eingereicht werden.
Eine verspätete Abgabe ist nicht möglich.

Wir raten Ihnen, über die Aufgaben mit Kommilitonen/innen gemeinsam zu reden und nachzudenken. Aber zur Abgabe der Lösungen muss jede/r Student/in seine/ihre Lösung selbst aufschreiben und abgeben.

Die von Ihnen abgegebenen Lösungen werden von unseren Tutoren/innen korrigiert und in den Übungsstunden der darauffolgenden Woche besprochen. Die Aufgaben 1-3 werden in den Übungsstunden besprochen; die Prolog-basierte Aufgabe 4 wird in der Prolog-Übung besprochen.

 

Voraussetzung für die Zulassung zur Modulabschlussprüfung:

Um die Zulassung zur Modulabschlussprüfung zu erhalten, muss jede der folgenden Bedingungen erfüllt sein:

  1. Für jedes Übungsblatt bis auf max. 2 Stück muss das zur Aufgabe 1 gehörende Moodle-Quiz bestanden werden, und
  2. mindestens 40% der während des Semesters insgesamt in den Aufgaben 3 und 4 maximal erreichbaren Punkte müssen tatsächlich erreicht werden.

 

 


Modulabschlussprüfung

Die Klausur dauert 2 Stunden. Pandemiebedingt wird sie digital in Form einer "Take-Home-Klausur" organisiert. Termine:

  • Die erste Klausur findet am 10.03.2021 um 10:00 Uhr (Einlass ab 9:30 Uhr) statt.
  • Die Wiederholungsklausur findet am 16.04.2021 um 10:00 Uhr (Einlass ab 9:30 Uhr) statt.

Eine Zusammenstellung von Hinweisen zur Klausur (inkl. Beispiele früherer Klausuraufgaben sowie Details zum organisatorischen Ablauf der Klausur) finden Sie hier. Bitte lesen Sie sich die dort erhältlichen Informationen und Regelungen sorgfältig durch!

 

 


Literatur

Haupthema der Vorlesung ist die Logik. Folgende Bücher seien dazu zur Vertiefung des Vorlesungstoffes empfohlen:

[B] S. Burris, Logic for Mathematics and Computer Science. Prentice Hall, 1998.
[KK] M. Kreuzer, S. Kühling. Logik für Informatiker. Pearson, 2006.
[S] U. Schöning, Logik für Informatiker. 5. Auflage, Spektrum Akademischer Verlag, 2000.

Als Ergänzung seien auch noch folgende Bücher genannt:

[EFT] Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas, Einführung in die Mathematische Logik. 5. Auflage, Spektrum Akademischer Verlag, 2007.
[E] Heinz-Dieter Ebbinghaus, Einführung in die Mengenlehre. 4. Auflage, Spektrum Akademischer Verlag, 2003.
[L] Leonid Libkin, Elements of Finite Model Theory. Springer, 2004. Die für die Vorlesung relevanten Teile des Buchs sind hier unter dem mit "Download table of contents and a sample chapter" beschrifteten Link erhältlich.
[FG] Jörg Flum, Martin Grohe, Parameterized Complexity Theory. Springer, 2005.
[C] P. J. Cameron, Sets, Logic and Categories. Springer Verlag, 1998.
[vD] D. van Dalen, Logic and Structure. 4th Edition, Springer Verlag, 2004.
[HR] M. Huth and M. Ryan, Logic in Computer Science – Modelling and Reasoning About Systems . 2nd Edition, Cambridge University Press, 2004.

Im praktischen Teil der Veranstaltung beschäftigen wir uns mit der Programmiersprache Prolog. Hier basiert die Vorlesung auf den folgenden beiden Büchern:

[BBS] Patrick Blackburn, Johan Bos, Kristina Striegnitz, Learn PROLOG Now!. Kings College Publications, 2006. Online version.
[SS] Ehud Shapiro, Leon Sterling, The Art of PROLOG: Advanced Programming Techniques. 2nd Edition, MIT Press, 1994.

Weitere Materialien

Programmierresourcen: Wir verwenden in der Vorlesung SWI-Prolog. Ein Kurzanleitung für den Einstieg in SWI-Prolog finden Sie hier.

snippets-of-logic: Die in der Vorlesung angesprochenen snippets-of-logic finden sich für Aussagenlogik hier.