Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus |
|
Vorlesung Theorembeweisen in der Prädikatenlogik im WS 2003/04
|
Auf dieser Seite und den referenzierten Seiten finden Sie alle
Informationen, die im Zusammenhang mit der Organisation der
Vorlesung Theorembeweisen in der Prädikatenlogik im
Wintersemester 2003/04 von Bedeutung sind.
- Die studienbegleitenden Prüfungen für das Hauptstudium
im Fach Angewandte Informatik sollen in der Zeit vom 20.02.2004 bis
zum 05.03.2004 stattfinden. Die Prüfung zu dieser Vorlesung
findet am Mittwoch den 25.02.2004 statt.
- Achtung: Die Vorlesung wurde
verlegt. Sie findet Mittwochs um 8:15 Uhr im Raum 32-439 statt.
- Erste Vorlesung am 29.10.2003. Dort wird der Übungstermin
vereinbart.
- Der Eintrag ins Vorlesungsverzeichnis:
89-692, Theorembeweisen in PL1, Avenhaus
2 Std. Vorlesung, Mi. 8.00 - 9.30 Uhr, 46-260
1 Std. Übung, n.V., s. Aushang
- In der Vorlesung wird der Superpositionskalkül besprochen,
mit dem man Aussagen beweisen kann, die in allen Modellen der
Spezifikation gelten. Dieser Kalkül ist eine Verfeinerung des
Resolutionskalküls. Er ist besonders gut geeignet für die
Behandlung der Gleichheit. Die zur Zeit effizientesten Beweissysteme
basieren auf ihm, da durch einen sehr starken Redundanzbegriff massive
Beschränkungen des Suchraums möglich sind.
- Die Literatur wird in der Vorlesung bekanntgegeben.
- Vordiplom und Vorlesung Reduktionssysteme
- Übungsschein
- Anwendungs- bzw. Vertiefungsveranstaltung des Lehrgebietes
"Grundlagen der Programmierung".
- Die Vorlesung findet Mittwochs um 8:15 Uhr in 32-439 statt.
Vorlesungsfolien als Postscript:
1-16
16-35
36-51
52-71
72-91
91-102
103-114
115-126
127-138
139-158
159-170
171-182
183-194
195-214
215-226
Alle Folien in einer Datei.
Vorlesungsfolien als GNU-gezipptes Postscript:
1-16
16-35
36-51
52-71
72-91
91-102
103-114
115-126
127-138
139-158
159-170
171-182
183-194
195-214
215-226
Alle Folien in einer Datei.
- Die Übungen finden Montags um 11:45 Uhr im Saal 34-420
statt. Heute (3. Nov.) findet die erste Übungsstunde statt.
- Die Übungen finden 14-tägig im Wechsel mit den Übungen
zur Vorlesung Theorembeweisen in der induktiven
Theorie statt.
- Anspechpartner: Tobias Wahl
- Die Übungsblätter als Postskript:
1
2
3
4
5
6
7
8
- Die Übungsblätter als GNU-gezipptes Postskript:
1
2
3
4
5
6
7
8
Letzte Änderung: Wednesday, 26-Oct-05 12:57:48 GMT
www-aven@informatik.uni-kl.de