Institute of Theoretical Computer Science

Vorlesung: Einführung in die Logik

Die erste Vorlesung findet Mittwoch, 2017/04/05 von 09:45 - 11:15 in Raum PK 2.2 statt. Damit wir realistische Teilnehmerzahlen bekommen und sinnvolle Übunstermine auswählen können, ist es wichtig, dass Sie (mindestens) zur ersten Vorlesung erscheinen.
Der Übungsbetrieb beginnt in der zweiten Vorlesungswoche. Nähere Informationen erhalten Sie in der ersten Vorlesung.
Zettel zur (unverbindlichen) Anmeldung für die Übungsgruppen werden ab Donnerstag, 2017/04/06, 11:00 neben Raum IZ 343 verfügbar sein.

Die Übungen beginnen in der Woche 2017/04/10-14.
Alle Übungen finden im Gebäude des Instituts für Theoretische Informatik statt. Die Übungstermine sind wie folgt:
- Gruppe 0: Mo, 13:15 - 14:45 in 305, Herr Baumann
- Gruppe 1: Mo, 13:15 - 14:45 in 358, Herr Holzhüter
- Gruppe 2: Di, 13:15 - 14:45 in 305, Frau Baumgärtel
- Gruppe 3: Di, 15:00 - 16:30 in 305, Herr Palm
- Gruppe 4: Do, 08:00 - 09:30 in 358, Frau Bolle
- Gruppe 5: Do, 11:30 - 13:00 in 358, Herr Wrege
- Gruppe 6: Do, 15:00 - 16:30 in 358, Herr Koslowski
Wegen Karfreitag (gleich in der 1. Übungswoche, 2017/04/14) habe ich den in der 1. Vorlesung angedachten Freitags-Termin auf Donnerstag umgelegt. Darüberhinaus fallen am Ostermontag und am 1. Mai die beiden Montagstermine aus. Einen davon können wir in der Himmelfahrtswoche nachholen (Montag, 2017/05/22). Ob wir einen zweiten Ersatztermin finden, bleibt abzuwarten.
Es gibt jede Wochen ein Übungsblatt zur Abgabe. Ihre Lösungen reichen Sie bitte in Gruppen von 2 Personen ein, Einzelabgaben bitte nur in begründeten Ausnahmefällen. Dazu dient eine Box im Institut für Theoretische Informatik, neben Büro 343. Die Lösungen werden in den Übungsstunden besprochen.
Es gibt eine große Extraübung am Mittwoch, 2017-08-16, von 10-12 Uhr im PK 4.7. Dort wird die Übungsklausur besprochen.

Die Übungsblätter werden während des Semesters hier zur Verfügung gestellt.

2017-04-09: Blatt 0, mit Lösungen der Übungsaufgaben
2017-04-16: Blatt 1, mit Lösungen der Übungsaufgaben
2017-04-24: Blatt 2, mit Lösungen der Übungsaufgaben
2017-05-02: Blatt 3, mit Lösungen aller Aufgaben
2017-05-09: Blatt 4, mit Lösungen der Übungsaufgaben
2017-05-16: Blatt 5, mit Lösungen der Übungsaufgaben und Aufgabe 32
2017-05-16: Blatt 6, mit Lösungen der Übungsaufgaben
2017-05-30: Blatt 7, mit Lösungen der Übungsaufgaben
2017-06-19: Blatt 8, mit Lösungen der Übungsaufgaben
2017-06-26: Blatt 9, mit Lösungen der Übungsaufgaben
2017-06-26: Blatt A, mit allen Lösungen
2017-07-12: Übungsklausur, wird Mittwoch, 2017-08-16, von 10:00 bis 12:00 im PK 4.7 vorgerechnet.

Kontaktieren Sie bei Fragen zu den Übungsblättern Ihren Tutor oder Herrn Koslowski.

Prüfungsleistung: Schriftliche Abschlussklausur: Donnertag, 2017-08-24, 08:30-10:30, AM, PK 2.1 und PK 2.2. Berechnen Sie i=Matrikelnummer modulo 4. Für i=0 und i=3 gehen Sie ins AudiMax, andernfalls in den PK 2.i. .
Studienleistung: Sie müssen durch Ihre Abgabe der Übungsblätter mindestens 50 Prozent der Punkte erreichen.

Es gibt ein Script, Stand 2017-07-10,praktisch vollständig, das parallel zur Vorlesung bereitgestellt wird. Änderungen gegenüber früheren Versionen.

U. Schöning, Logik fuer Informatiker, Spektrum Akademischer Verlag.
H.-D. Ebbinghaus et. al., Einführung in die mathematische Logik, Spektrum Akademischer Verlag.
Michael Huth and Mark Ryan, Logic in Computer Science, Cambridge University Press.
Mordechai Ben-Ari: Mathematical Logic for Computer Science, Springer-Verlag.