Logik

bei Prof. Schwarz

für Bachelor Informatik 1. Semester

Wintersemester 2009/10

Prüfung:

Die Klausur für das Modul Logik findet am Freitag, dem 12. Februar, 13:30 - 15:00 Uhr im HS1 statt.

Vorlesung:

Montag

15:20 - 16:50

Uhr

im Hörsaal 2

Inhalt:

• Klassische Aussagenlogik
  • Syntax: Aussagenvariablen, Junktoren, aussagenlogische Formeln, strukturelle Induktion
  • Semantik: Wahrheitswertfunktionen, aussagenlogische Modelle
  • semantische Äquivalenz und Folgern, Junktorbasen, Normalformen
  • Schaltlogik, Minimierungsverfahren
  • aussagenlogische Erfüllbarkeit, SAT-Solver
  • syntaktisches Ableiten, Resolutionsverfahren
  • Grenzen der Ausdrucksfähigkeit
• Klassische Prädikatenlogik (der 1. Stufe)
  • Syntax: Signatur, Individuenvariablen, Terme, Quantoren, Formeln
  • Semantik: algebraische Strukturen, Interpretationen und Modelle
  • Modellierung in Prädikatenlogik
  • semantische Äquivalenz, Normalformen
  • Grenzen der Ausdrucksfähigkeit, Unentscheidbarkeit
  • Ideen nichtklassischer Logiken

Übungen:

Vor der ersten Vorlesung finden keine Übungen statt.

Jeder Student nimmt an einer der vier Übungsgruppen teil:

Z1	Montag	11:20	- 12:50	Uhr	im Raum 307
Z1	Montag	13:30	- 15:00	Uhr	im Raum 401
Z2	Montag	11:20	- 12:50	Uhr	im Raum 307
Z2	Dienstag	9:20	- 10:50	Uhr	im Raum 401

In den Übungen werden vorwiegend die Lösungen der schriftlichen Hausaufgaben besprochen.

• Serie 1 (ab 12.10.2009) geändert, ursprüngliche Aufgabe 1.4 wird auf später verschoben
• Serie 2 (ab 19.10.2009)
• Serie 3 (ab 26.10.2009)
• Serie 4 (ab 2.11.2009)
• Serie 5 (ab 4.11.2009)
• Serie 6 (ab 9.11.2009)
• Serie 7 (ab 16.11.2009)
• Serie 8 (ab 30.11.2009)
• Serie 9 (ab 7.12.2009)
• Serie 10 (ab 14.12.2009)
• Serie 11 (ab 4.1.2010)
• Serie 12 (ab 11.1.2010)
• Serie 13 (ab 18.1.2010)

Praktische Übungsaufgaben gibt es als Hausaufgaben im Autotool.

Hier gibt es viele nützliche Hinweise zum Autotool. Manches gilt speziell für die Studenten der Uni Leipzig, vieles ist aber auch für Sie interessant. Bei Problemen und Fragen zum Autotool, auf die Sie dort keine Antwort finden, wenden Sie sich bitte an mich.

Literaturempfehlungen:

Folien zur aktuellen Vorlesung (werden jeweils nach der Vorlesung veröffentlicht):

• 12.10.2009
• 19.10.2009
• 26.10.2009
• 2.11.2009
• 4.11.2009
• 9.11.2009
• 16.11.2009
• 30.11.2009
• 7.12.2009
• 14.12.2009
• 4.1.2010
• 11.1.2010
• 18.1.2010
• 25.1.2010 (Zusammenfassung)

Hier gibt es das vollständige Material zur Logik-Vorlesung im WS 2008/09.

Bücher:

• Uwe Schöning: Logik für Informatiker, Spektrum 2000
• Jürgen Dassow: Logik für Informatiker. Teubner 2005
• Martin Kreuzer, Stefan Kühling: Logik für Informatiker, Pearson 2006

Unter http://wilfridhodges.co.uk/cognitive01.pdf gibt es sieben uneingeschränkt richtige Hinweise zum Lernen von Mathematik, die selbstverständlich genauso für die Logik und die theoretische Informatik gelten.