Logik in der Informatik Prof. Dr. Nicole Schweikardt

Pandemiebedingt wird die Veranstaltung in diesem Semester online durchgeführt. 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 05.11.20 statt.

Zwei Tage vorher, am Dienstag, den 03.11.20, fand die Eröffnungsvorlesung statt, in der Organisatorisches geklärt sowie die Seiten 1-8 des Vorlesungsskripts behandelt wurden.

1. bis Do, 05.11.2020:

   Arbeiten Sie Folgendes durch:

   • Seiten 8-29 des Skripts zur Vorlesung (bis zum Ende von Folie 47)

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

   • Kapitel 1 und 2.A in [KK]
   • Einleitung und Kapitel 1.1 in [S]
   • Kapitel 1 in [EFT]
   • 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.

2. bis Di, 10.11.2020:

   Arbeiten Sie Folgendes durch:

   • Seiten 26-39 des Skripts zur Vorlesung (bis zum Ende von Folie 67)

   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 in [B]

3. bis Do, 12.11.2020:

   Arbeiten Sie Folgendes durch:

   • Seiten 38-53 des Skripts zur Vorlesung (bis zum Ende von Folie 91)

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

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

4. bis Di, 17.11.2020:

   Arbeiten Sie Folgendes durch:

   • Seiten 50-59 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 2.A in [KK]
   • Kapitel 1.2 und 1.4 in [S]
   • Kapitel 2.6 und 2.8 in [B]

5. bis Do, 19.11.2020:

   Arbeiten Sie Folgendes durch:

   • Seiten 57-63 des Skripts zur Vorlesung

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

   • Kapitel 2.A und 2.B in [KK]
   • Kapitel 1.4 und 1.5 in [S]
   • Kapitel 2.8 und 2.10 in [B]

6. bis Di, 24.11.2020:

   Arbeiten Sie Folgendes durch:

   • Seiten 62-70 des Skripts zur Vorlesung

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

   • Kapitel 2.A und 2.B in [KK]
   • Kapitel 1.4 und 1.5 in [S]
   • Kapitel 2.8 und 2.10 in [B]

7. bis Do, 26.11.2020:

   Arbeiten Sie Folgendes durch:

   • Seiten 71-75 des Skripts zur Vorlesung (bis zum Ende von Kapitel 2.5)

   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]

8. bis Di, 01.12.2020:

   Arbeiten Sie Folgendes durch:

   • Seiten 75-86 des Skripts zur Vorlesung (bis zum Ende von Kapitel 2.6)

   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]

9. bis Do, 03.12.2020:

   Arbeiten Sie Folgendes durch:

   • Seiten 83-93 des Skripts zur Vorlesung (bis zum Ende von Kapitel 2.7)

   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]
   • Die SAT Competition ist ein regelmäßig stattfindender internationaler Wettbewerb, bei dem effiziente Implementierungen von Algorithmen zur Lösung des SAT-Problems gegeneinander antreten.
   • 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).

10. bis Di, 08.12.2020:

    Arbeiten Sie Folgendes durch:

    • Seiten 86-97 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 und 1.3 in [S]
    • Kapitel 2.10 und 2.11 in [B]
    • Die SAT Competition ist ein regelmäßig stattfindender internationaler Wettbewerb, bei dem effiziente Implementierungen von Algorithmen zur Lösung des SAT-Problems gegeneinander antreten.
    • 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).

11. bis Do, 10.12.2020:

    Arbeiten Sie Folgendes durch:

    • Seiten 98-114 des Skripts zur Vorlesung

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

    • Kapitel 1.3 in [S]
    • Kapitel 2.11 und 2.11 in [B]
    • Kapitel I und Kapitel III.1 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.

12. bis Di, 15.12.2020:

    Arbeiten Sie Folgendes durch:

    • Seiten 107-122 des Skripts zur Vorlesung

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

    • 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.

13. bis Do, 17.12.2020:

    Arbeiten Sie Folgendes durch:

    • Seiten 121-137 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]

14. bis Di, 05.01.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 130-151 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 Kapitel III.4-5 in [EFT]
    • Chapter 5.1-5.7 in [B]
    • Kapitel 4.A in [KK]
    • Kapitel 2.1 und 2.2 in [S]

15. bis Do, 07.01.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 141-159 des Skripts zur Vorlesung (bis zum Ende von Folie 269)

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

    • Kapitel II.5 und Kapitel III.4 und III.6 in [EFT]
    • Kapitel 1.1 in [L]
    • Kapitel 3.2 und 3.3 in [L]
    • Kapitel 4.3 in [FG]

16. bis Di, 12.01.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 152-167 des Skripts zur Vorlesung (bis zum Ende von Folie 277)

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

    • Kapitel 3.2 und 3.3 in [L]
    • Kapitel 4.3 in [FG]

17. bis Do, 14.01.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 159-170 des Skripts zur Vorlesung (bis zum Ende von Kapitel 3.8)

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

    • Kapitel 3.2 und 3.3 in [L]
    • Kapitel 4.3 in [FG]

18. bis Di, 19.01.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 167-182 des Skripts zur Vorlesung (bis zum Ende von Folie 304)

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

    • Kapitel 3.2, 3.5 und 3.6 in [L]
    • Kapitel 2.2 in [S]

19. bis Do, 21.01.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 177-189 des Skripts zur Vorlesung (bis inkl. Lemma 4.11)

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

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

20. bis Di, 26.01.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 187-197 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 und III.8 in [EFT]
    • Kapitel 2.2 in [S]

21. bis Do, 28.01.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 194-203 des Skripts zur Vorlesung (bis zum Ende von Kapitel 4.2)

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

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

22. bis Di, 02.02.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 201-210 des Skripts zur Vorlesung (bis zum Ende von Kapitel 4.3)

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

    • Kapitel IV.7, V und VI.1-3 in [EFT]

23. bis Do, 04.02.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 210-223 des Skripts zur Vorlesung

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

    • Kapitel 2.3 und 2.4 in [S]
    • Kapitel XI.1-3 in [EFT]

24. bis Di, 09.02.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 221-234 des Skripts zur Vorlesung

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

    • Kapitel 2.4 in [S]
    • Kapitel XI.1-3 in [EFT]

25. bis Do, 11.02.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 229-240 des Skripts zur Vorlesung

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

    • Kapitel 2.4 in [S]
    • Kapitel XI.1-3 in [EFT]
    • Kapitel 3.1-3.3 in [S]
    • Introduction und Chapter 1 (Basic Constructs) in [SS]
    • Kapitel 3.C in [KK]
    • Kapitel XI.7 in [EFT]

26. bis Di, 16.02.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 238-253 des Skripts zur Vorlesung (bis zum Ende von Kapitel 5.2)

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

    • Introduction und Teil I (also Chapter 1, 2, 3, 4 und 5) in [SS]
    • Kapitel 3.1-3.3 in [S]
    • Kapitel XI.7 in [EFT]

27. bis Do, 18.02.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 249-267 des Skripts zur Vorlesung

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

    • Introduction und Teil I (also Chapter 1, 2, 3, 4 und 5) in [SS]
    • Kapitel 3.1-3.3 in [S]
    • Kapitel XI.7 in [EFT]

28. bis Di, 23.02.2021:

    Arbeiten Sie Folgendes durch:

    • Seiten 266-274 des Skripts zur Vorlesung

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

    • Introduction und Teil I (also Chapter 1, 2, 3, 4 und 5) in [SS]
    • Kapitel 3.1-3.3 in [S]
    • Kapitel XI.7 in [EFT]

29. bis Do, 25.02.2021:

    Arbeiten Sie Folgendes durch:

    • den Inhalt der Webseite zur Take-Home-Klausur.