Entwicklung korrekter Systeme
Modul "Theoretische Informatik I" (Logik)
Auf dieser Seite
1 Organisatorisches
- Form: 3 VL + 1 Ü (6 ECTS-Punkte)
- Vorlesung: E.-R. E.-R. Olderog
-
Dienstag 8-10, A14 Hörsaal 2, Beginn: 9.4.2002
Mittwoch 8-10, A14 Hörsaal 2 - Übungen: A. A. Schäfer
- 8 einstündige Gruppen am Freitag 10-18, A5 1-160
2 Ziele
Einführung in die Aussagenlogik, die Prädikatenlogik und die Temporale Logik
3 Inhalt
Die Vorlesung führt in die Aussagenlogik, die Prädikatenlogik und die Temporale Logik ein. Ein gutes Verständnis von Logik ist für die Informatik von zentraler Bedeutung. Dieses wird bereits durch die weite Verbreitung der logischen Formelsprache in der Informatik belegt:
Zum Beispiel kommen einfache Boolesche Ausdrücke in jeder Programmiersprache und beim Schaltkreisentwurf vor; Horn-Klauseln werden zur Wissensrepräsentation eingesetzt; Formeln der Prädikatenlogik oder Temporalen Logik werden zum Spezifizieren von Eigenschaften von Soft- und Hardware benutzt. Neuere Anwendungen wie interaktives und automatisches Beweisen sowie Logik-Programmierung und der damit verwandten Programmiersprache PROLOG unterstreichen den Werkzeugcharakter der Logik in der Informatik.
In der Vorlesung werden Syntax, Semantik und Verfahren zur Überprüfung des Wahrheitswertes von Formeln der Aussagenlogik, Prädikatenlogik und Temporalen Logik eingeführt und an Beispielen illustriert. Zentral ist der Begriff der logische Folgerung.
4 Literatur
- E.-R. Olderog. Skript Logik, Ausgabe 2002.
- D. Gabbay. Elementary Logics: A Procedural Perspective, Prentice Hall Series in Computer Science, 1998.
- U. Schöning, Logik für Informatiker, Spektrum Verlag, 2000.
5 Vorlesungsskript
Hier finden Sie die (vorläufig) endgültige Version des Logik-Skriptes vom Sommersemester 2002.
6 Links
Materialien von Elke Wilkeit zur Vorlesung finden Sie auf ihrer Homepage http://parsys.informatik.uni-oldenburg.de/~ewi unter dem Stichwort Logik.
7 Übungsaufgaben
Hier wird die Möglichkeit geboten, die aktuellen Übungsblätter zu dieser Lehrveranstaltung im Postscript-, DVI- oder PDF-Format abzurufen. Wir bitten jedoch im Interesse aller, die Übungsblätter nicht gedankenlos auszudrucken, insbesondere nicht auf den Laserdruckern der ARBI. Photokopien sind unter Berücksichtigung aller Kosten in der Regel günstiger als Laserdrucke!
Dieses Angebot richtet sich hauptsächlich an diejenigen, die auf anderem Wege kein Exemplar der Übungsblätter erhalten konnten, bzw. die die Aufgaben während der Bearbeitung am Bildschirm betrachten möchten.
| dvi | ps | ||
|---|---|---|---|
| Loesungsskizzen1 | (104 KByte) | (191 KByte) | |
| blatt01 | (3 KByte) | (35 KByte) | (57 KByte) |
| blatt02 | (2 KByte) | (38 KByte) | (101 KByte) |
| blatt03 | (3 KByte) | (54 KByte) | (115 KByte) |
| blatt04 | (3 KByte) | (70 KByte) | (110 KByte) |
| blatt05 | (3 KByte) | (45 KByte) | (70 KByte) |
| blatt06 | (6 KByte) | (74 KByte) | (156 KByte) |
| blatt07 | (6 KByte) | (64 KByte) | (139 KByte) |
| blatt08 | (7 KByte) | (26 KByte) | (149 KByte) |
| blatt09 | (3 KByte) | (51 KByte) | (119 KByte) |
| blatt10 | (7 KByte) | (72 KByte) | (151 KByte) |
| blatt11 | (32 KByte) | (138 KByte) | |
| blatt12 | (45 KByte) | (162 KByte) |
8 Klausur
Hier finden Sie die Ergebnisse des Moduls Theoretische Informatik I vom Sommersemester 2002.
| ps | ||
|---|---|---|
| KlausurErgebnisse | (12.Jul 2002) (68 KByte) | (12.Jul 2002) (40 KByte) |
| NachklausurErgebnisse | (26.Sep 2002) (44 KByte) | (26.Sep 2002) (25 KByte) |
Einsicht in die Nachklausur ist am Montag, dem 30. September und am Dienstag, dem 1. Oktober, von 10:00 bis 12:30 Uhr und von 13:30 bis 19:00 Uhr in Raum A3 2-206 mölich.
