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

1. bis Mi, 20.04.2022:

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

2. bis Mi, 29.04.2022:  

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

   Arbeiten Sie Folgendes durch:

   • Seiten 43-61 des Skripts zur Vorlesung (bis zum Ende von Folie 99)
     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, 11.05.2022:  

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

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

   Arbeiten Sie Folgendes durch:

   • Seiten 81-92 des Skripts zur Vorlesung (die Seitenzahlen beziehen sich auf die Version des Skripts, die am 20.05.22 veröffentlicht wurde)

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

   Arbeiten Sie Folgendes durch:

   • Seiten 90-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 2014. Im Jahr 2014 fanden im Rahmen des Vienna Summer of Logic auch die FLoC Olympic Games 2014 statt, in die die SAT Competition 2014 eingebettet war.
   • 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, 08.06.2022:  

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

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

10. bis Mi, 22.06.2022:  

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

    Arbeiten Sie Folgendes durch:

    • 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, 06.07.2022:  

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

    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]

14. bis Mi, 20.07.2022:  

    Arbeiten Sie Folgendes durch:

    • Seiten 225-238 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]