Vorlesung "Logik für Informatiker"

Vorlesung "Logik für Informatiker"
(WS 2003/04, Universität Dortmund)
	Dozent: Prof. Dr. Martin Kreuzer Nr. im Vorlesungsverzeichnis: 010116
	Termin: Mo, 10 - 12 Uhr Achtung! Neuer Ort: HS 1 in HG II Beginn: Mo, 13.10.2003
	Voraussetzungen: Mathematik für Informatiker I + II
	Uwe Schöning, Logik für Informatiker, Spektrum Akademie Verlag, Heidelberg 2000 Bernhard Heinemann und Klaus Weihrauch, Logik für Informatiker. Eine Einführung, Teubner Verlag 1992 Anil Nerode und Richard Shore, Logic for Applications, Springer Verlag 1997
	Vorlesungsskript Ab Ende Oktober bei der Skriptenverkaufstelle erhältlich! (Emil-Figge-Str. 50, Raum 0431, Tel. 755-2062)

Vorlesungsinhalt

Die Vorlesung ist eine Veranstaltung des Grundstudiums und richtet sich an Studenten im Diplomstudiengang Informatik.

0. Einführung
1. Aussagenlogik
- A. Grundlagen
- B. Das Resolutionskalkül der Aussagenlogik
2. Hornlogik
- A. Grundlagen
- B. Das Resolutionskalkül der Hornlogik
- C. Logik-Programmierung
3. Prädikatenlogik
- A. Grundlagen
- B. Normalformen
- C. Die Unentscheidbarkeit der Prädikatenlogik
- D. Das Resolutionskalkül der Prädikatenlogik
4. Gleichungslogik
5. Modallogik
6. Temporallogik
- A. Zeitlogik
- B. Der UNTIL-Operator
7. Weitere logische Systeme

Übungen

Nr. im Vorlesungsverzeichnis: 010117
Termin, Ort:

Mi, 8-9, E19 (Mathematikgebäude)
Mi, 9-10, E19 (Mathematikgebäude)
Mi, 12-13, E19, E23 (Mathematikgebäude)
Mi, 13-14, E19, E23 (Mathematikgebäude)

Der alternativer Übungstermin Di, 17-18 wird mangels Interesse nicht angeboten.

Einteilung der Gruppen

Achtung: geändert am 17.10. um 10.00 Uhr.

Die Teilnehmer der Gruppen 4 und 5 waren vertauscht!

Betreuer der Übungen: Peter Ackermann, M937, Tel.: (755)3137, e-mail

Inhalt: Übungsaufgaben zur Vorlesung

Die Übungen beginnen in der zweiten Vorlesungswoche. Die Einteilung der Übungsgruppen sowie den Ort der Abgabe von bearbeiteten Übungsaufgaben entnehme man gegen Ende der ersten Vorlesungswoche dieser Homepage.

Übungsblätter

Blatt 1: <dvi-Datei> <ps-Datei> <pdf-Datei> (Abgabetermin: 20.10.2003, 12.15h)
Blatt 2: <dvi-Datei> <ps-Datei> <pdf-Datei> (Abgabetermin: 27.10.2003, 12.15h)
Blatt 3: <dvi-Datei> <ps-Datei> <pdf-Datei> (Abgabetermin: 03.11.2003, 12.15h)
Blatt 4: <dvi-Datei> <ps-Datei> <pdf-Datei> (Abgabetermin: 10.11.2003, 12.15h)
Blatt 5: <dvi-Datei> <ps-Datei> <pdf-Datei> (Abgabetermin: 17.11.2003, 12.15h), Lösung zu 12 b): <dvi-Datei> <ps-Datei> <pdf-Datei>
Blatt 6: <dvi-Datei> <ps-Datei> <pdf-Datei> (Abgabetermin: 24.11.2003, 12.15h)
Blatt 7: <dvi-Datei> <ps-Datei> <pdf-Datei> (Abgabetermin: 01.12.2003, 12.15h)
Blatt 8: <dvi-Datei> <ps-Datei> <pdf-Datei> (Abgabetermin: 08.12.2003, 12.15h), Lösung zu 18 b): <dvi-Datei> <ps-Datei> <pdf-Datei>
Blatt 9: <dvi-Datei> <ps-Datei> <pdf-Datei> (Abgabetermin: 15.12.2003, 12.15h)
Blatt 10: <dvi-Datei> <ps-Datei> <pdf-Datei> (Abgabetermin: 05.01.2004, 12.15h)
Blatt 11: <dvi-Datei> <ps-Datei> <pdf-Datei> (Abgabetermin: 12.01.2004, 12.15h)
Blatt 12: <dvi-Datei> <ps-Datei> <pdf-Datei> (Abgabetermin: 19.01.2004, 12.15h)
Blatt 13: <dvi-Datei> <ps-Datei> <pdf-Datei> (Abgabetermin: 26.01.2004, 12.15h), Lösung zu 29: <dvi-Datei> <ps-Datei> <pdf-Datei>
Blatt 14: <dvi-Datei> <ps-Datei> <pdf-Datei> (Abgabetermin: 02.02.2004, 12.15h); Wiederholungsblatt, Bearbeitung dringend empfohlen!, Lösung: <ps-Datei> <pdf-Datei>

Übungsschein:

Zur Erlangung des Übungsscheins sind eine regelmäßige und aktive Teilnahme an den Übungsstunden sowie das Bestehen der Klausur notwendig.
Klausur:
- Termine:
  - 1. Klausur: 07.02.2004 von 13.15 bis 16.15 Uhr.
  - 2. Klausur: 08.05.2004 von 9.15 bis 12.15 Uhr im Audimax (geändert wegen Terminüberschneidung!!!). An der 2. Klausur kann teilnehmen, wer die erste Klausur nicht bestanden oder an ihr nicht teilgenommen hat.
- Hilfsmittel: Hilfmittel (Taschenrechner, Bücher, Mitschriften, etc.) sind nicht zugelasssen.
- Anmeldung: Eine Anmeldung ist erforderlich und erfolgt bitte für die zweite Klausur bis zum 20.04.2004 per E-Mail an peter.ackermann@mathematik.uni-dortmund.de mit dem Betreff Klausuranmeldung und unter Angabe von Nachname, Vorname (in der Reihenfolge!) und Matrikelnummer.
- Ergebnisse der ersten Klausur gibt's hier,
  
  Ergebnisse der zweiten Klausur hier
  Scheine und Klausureinsicht/-rückgabe am 02.06. von 9.00 bis 10.00 im Raum M911

Letzte Änderung: 21.05.2004

Zur Homepage von Prof. Martin Kreuzer: