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 19.04.23 statt.

1. bis Mi, 19.04.2023:

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

2. bis Mi, 26.04.2023:  

   Arbeiten Sie Folgendes durch:

   • Seiten 24-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, 03.05.2023:  

   Arbeiten Sie Folgendes durch:

   • Seiten 43-61 des Skripts zur Vorlesung (bis zum Ende von Folie 99)
     

   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, 10.05.2023:  

   Arbeiten Sie Folgendes durch:

   • Seiten 59-75 des Skripts zur Vorlesung (bis zum Ende von Folie 120)

   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]

5. bis Mi, 17.05.2023:  

   Arbeiten Sie Folgendes durch:

   • Seiten 73-84 des Skripts zur Vorlesung

   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]

6. bis Mi, 24.05.2023:  

   Beachten Sie bitte: Am 24.05.2023 findet keine Vorlesung statt.

   Arbeiten Sie Folgendes durch:

   • Seiten 84-92 des Skripts zur Vorlesung.

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

   • Kapitel 2.B in [KK]
   • Kapitel 1.5 in [S]
   • Kapitel 2.10 in [B]

7. bis Mi, 31.05.2023:  

   Arbeiten Sie Folgendes durch:

   • Seiten 93-104 des Skripts zur Vorlesung (bis zum Ende von Kapitel 2)

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

   • Kapitel 2.B in [KK]
   • Kapitel 1.5 und 1.3 in [S]
   • Kapitel 2.10 und 2.11 in [B]
   • Die SAT Competition ist ein jährlich stattfindender internationaler Wettbewerb, bei dem effiziente Implementierungen von Algorithmen zur Lösung des SAT-Problems gegeneinander antreten. Mehr Details finden Sie auf der Webseite der SAT Competition 2023.
   • Ein sehr guter Überblick über den Stand der Forschung zum Thema "SAT-Solver" findet sich beispielsweise in der Dissertation Towards Next Generation Sequential and Parallel SAT Solvers von Dr. Norbert Manthey (TU Dresden, 2014).

8. bis Mi, 07.06.2023:  

   Arbeiten Sie Folgendes durch:

   • Seiten 105-124 des Skripts zur Vorlesung

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

   • Kapitel I, Kapitel III.1 und Kapitel II.1-3 in [EFT]
   • Einen Überblick über die Rolle der Logik in der Informatik gibt der 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)), den Sie hier finden.
   • Einen Überblick über die Geschichte der logischen Grundlagen der Mathematik gibt der Comic Logicomix.

9. bis Mi, 14.06.2023:  

   Arbeiten Sie Folgendes durch:

   • Seiten 118-140 des Skripts zur Vorlesung

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

   • Kapitel II.1-3 und Kapitel III.2-3 in [EFT]
   • Chapter 5.1-5.7 in [B]
   • Kapitel 4.A in [KK]
   • Kapitel 2.1 und 2.2 in [S]

10. bis Mi, 21.06.2023:  

    Arbeiten Sie Folgendes durch:

    • Seiten 140-159 des Skripts zur Vorlesung

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

    • Kapitel II.4-5 und Kapiel III.4-6 in [EFT]
    • Chapter 5.1-5.7 in [B]
    • Kapitel 4.A in [KK]
    • Kapitel 2.1 und 2.2 in [S]
    • Kapitel 1.1 in [L]

11. bis Mi, 28.06.2023:  

    Arbeiten Sie den Rest des Kapitels 3 durch, d.h.:

    • Seiten 159-179 des Skripts zur Vorlesung

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

    • Kapitel 3.2-3.3 und 3.5-3.6 in [L]
    • Kapitel 4.3 in [FG]
    • Kapitel 2.2 in [S]

12. bis Mi, 05.07.2023:  

    Arbeiten Sie Folgendes durch:

    • Seiten 181-203 des Skripts zur Vorlesung

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

    • Kapitel 3.6 in [L]
    • Kapitel 2.2 in [S]
    • Kapitel IV.1-4, IV.6 und III.8 in [EFT]

13. bis Mi, 12.07.2023:  

    Arbeiten Sie Folgendes durch:

    • Seiten 204-224 des Skripts zur Vorlesung

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

    • Kapitel IV.1-4, IV.6, IV.7, V und VI.1-3 und III.8 in [EFT]
    • Kapitel 2.2 und 2.3 in [S]