Logik in der Informatik Prof. Dr. Nicole Schweikardt

Auf Grund der aktuellen Situation wird die Veranstaltung in diesem Semester bis auf Weiteres online durchgeführt. 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 ü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 fand am Mittwoch, 29.04.20 statt.

1. bis Mi, 29.04.2020:  

   Arbeiten Sie Folgendes durch:

   • Seiten 1-37 des Skripts zur Vorlesung (bis zum Ende von Folie 61)

   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.

2. bis Mi, 06.05.2020:  

   Arbeiten Sie Folgendes durch:

   • Seiten 37-53 des Skripts zur Vorlesung (bis zum Ende von Folie 85)
     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]

3. bis Mi, 13.05.2020:  

   Arbeiten Sie Folgendes durch:

   • Seiten 53-70 des Skripts zur Vorlesung (bis zum Ende von Folie 114)

   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]

4. bis Mi, 20.05.2020:  

   Arbeiten Sie Folgendes durch:

   • Seiten 61-75 des Skripts zur Vorlesung (bis zum Beginn 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, 27.05.2020:  

   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 2.B in [KK]
   • Kapitel 1.5 in [S]
   • Kapitel 2.10 in [B]

6. bis Mi, 03.06.2020:  

   Arbeiten Sie Folgendes durch:

   • Seiten 83-102 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).

7. bis Mi, 10.06.2020:  

   Arbeiten Sie Folgendes durch:

   • Seiten 100-119 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.

8. bis Mi, 17.06.2020:  

   Arbeiten Sie Folgendes durch:

   • Seiten 116-138 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 Kapiel 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.

9. bis Mi, 24.06.2020:  

   Arbeiten Sie Folgendes durch:

   • Seiten 139-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]

10. bis Mi, 01.07.2020:  

    Arbeiten Sie Folgendes durch:

    • Seiten 158-177 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]

11. bis Mi, 08.07.2020:  

    Arbeiten Sie Folgendes durch:

    • Seiten 179-201 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]

12. bis Mi, 15.07.2020:  

    Arbeiten Sie Folgendes durch:

    • Seiten 201-217 des Skripts zur Vorlesung (bis zum Ende des Beweises von Satz 4.39)

    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]