Logik in der Informatik Prof. Dr. Nicole Schweikardt

In diesem Logbuch werden wöchentlich Informationen dazu bereit gestellt, welche Lektüre von allen Teilnehmer*innen bis zum nächsten Vorlesungstermin selbständig durchgearbeitet werden soll. Die Vorlesungstermine (Mi 11-13 Uhr) werden in Präsenz durchgeführt und dienen dazu, das in der Lektürearbeit erarbeitete Wissen weiter zu vertiefen und Fragen zum Lektürestoff zu klären. Die Eröffnungsvorlesung findet am Mittwoch, den 16.04.25 statt.

1. bis Mi, 16.04.2025:

   Lesen Sie die Webseite der Vorlesung durch und machen Sie sich mit den organisatorischen Details vertraut.

2. bis Do, 17.04.2025:  

   Arbeiten Sie Folgendes durch:

   • Seiten 21-46 des Skripts zur Vorlesung (bis zum Ende von Kapitel 2.1)

   Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):

   • Kapitel 1 in [EFT]
   • Kapitel 1 und 2.A in [KK]
   • Einleitung und Kapitel 1.1 in [S]
   • Vorwort und Kapitel 1.1, 1.5 und 2.1-2.2 in [B]
   • Eine Vorabversion des in der Vorlesung zitierten Artikel "On the unusual effectiveness of logic in computer science" von Halpern, Harper, Immerman, Kolaitis, Vardi und Vianu (Bulletin of Symbolic Logic 7(2):213-236 (2001)) finden Sie hier.

3. bis Mi, 23.04.2025:  

   Arbeiten Sie Folgendes durch:

   • Seiten 43-61 des Skripts zur Vorlesung (bis direkt vor Einführung des Begriffs "Adäquatheit")
     Hier finden Sie den Formelchecker für die Aussagenlogik: snippets-of-logic

   Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):

   • Kapitel 1 und 2.A in [KK]
   • Kapitel 1.1 und 1.2 in [S]
   • Kapitel 2.2, 2.4.1 und 2.5 in [B]

4. bis Mi, 12.05.2025:  

   Arbeiten Sie Folgendes durch:

   • Seiten 61-78 des Skripts zur Vorlesung (bis vor dem Abschnitt 2.6 Resolution)

   Ergänzende Lektüre, in der Sie bei Interesse weiterlesen können (aber nicht müssen):

   • Kapitel 1, 2.A und 2.B in [KK]
   • Kapitel 1.1, 1.2, 1.4 und 1.5 in [S]
   • Kapitel 2.2, 2.4.1, 2.5, 2.6, 2.8 und 2.10 in [B]