Lehrveranstaltung im Wintersemester 2002/03 - im Rahmen von MMISS
Vorlesung: Mo. 13--15h, MZH 1400
Übung: Do. 10-12h (Gruppe 1) und 17-19h (Gruppe 2), P2 (Computerraum in der 0. Ebene)
Beginn: Mo. 21.10.2002 + Do. 24.10.2002
Achtung! Die Übungen am 23.01., 30.01. und 06.02. fallen aus!
Stattdessen folgende Übungstermine: Do. 20.02., 6., 13., 27. 03. 15-17h in P2 Geänderte Zeit!!!!
Termine für abgeschichtete Prüfungen: Do. 20.02. oder Do. 27.03. oder im April: noch festzulegen
Bitte Evaluations-Fragenbogen ausfüllen!
Logik wird in der Informatik an vielen Stellen eingesetzt, und zwar
immer da, wo etwas formal in seinen Eigenschaften beschrieben werden soll
(z.B. Programme, Sprachen, Graphen, Netzwerkprotokolle, Agenten, ...).
Basierend auf solchen logischen Beschreibungen ist es dann auch möglich,
Beweise zu führen (neben den Beweisen, die ihr aus der
Mathematik kennt, auch z.B. Programm- oder Protokollverifikation).
Außerdem kann man sogar in Logik direkt programmieren (vgl. Prolog),
und das sehr problemnah.
Diese Vorleseung führt in die Prädikatenlogik erster Stufe ein, die in vieler Hinsicht grundlegend ist. Themen sind: Aussagen- und Prädikatenlogik, logische Formalisierung, logische Folgerung, Spiele zum Herausfinden von Wahrheitswerten, was ist ein Beweis?, Beweiskalküle, Korrektheit, Vollständigkeit, Anwendungen in der Informatik (Programmverifikation, Prolog).
Als Grundlage soll das Buch "Language, Proof, and Logic'' von Jon Barwise und John Etchemendy (CSLI Stanford) dienen. Es ist didaktisch sehr gut aufgebaut und enthält vor allem eine CD mit vier Programmen, die es möglich machen, selbst am Computer Übungen zur Logik durchzuführen. Zudem gibt es über einen Server in Stanford direktes Feedback zu den Lösungen. Das Buch und die Software wurden national und international schon sehr erfolgreich an vielen anderen Unis eingesetzt; meiner Meinung rechtfertigt dies den Aufwand, sich mit der englischen Sprache auseinanderzusetzen.
Lokale Informationen zum Buch und zur Software (nur innherhalb des FB3 zugreifbar!)
Beweise in Fitch Allgemeine Tipps zu den LPL-Programmen
Folien zur Vorlesung
Logic-related pages on the web
deutschsprachige Literatur englischsprachige Literatur Deutschsprachige Folien zu Language, proof and logic weitere