Angewandte Logiken

Art:	2 SWS Seminar
Veranstalter:	Prof. Dr. Bernd Mahr Tina Wieczorek Dan Tidhar
Zeit und Ort:	DO 16-18 Uhr, Raum MA366
Beginn:	Donnerstag, 18. April 2002, 16 Uhr
Inhalt:	Für Anwendungen der Logik sind die Konzepte des Kalküls und der Folgerung zentral. Folgerungen benutzen wir, um aus vorgegebenen Informationen neue zu gewinnen. Kalküle ermöglichen es, diese Prozesse zu mechanisieren. Basierend auf diesen Konzepten werden wir bekannte nicht-klassische Logiken behandeln: Dazu gehören die intuitionistische Logik sowie Modal- und Zeitlogiken.
Unterlagen:	W. Rautenberg, Klassische und nichtklassische Aussagenlogik. Wiesbaden, Vieweg 1979. D. Gabbay, F. Guenthner (Hrsg): Handbook of Philosophical Logic. 4 Vols. Dordrecht, Kluwer 1983-89. Material (ein von Klaus Robering verfasstes, sehr umfangreiches Skript).
Voraussetzungen:	Kenntnisse der elementaren Logik im Umfang von TheGI 3
Anerkennung:	als Vertiefungsveranstaltung in den Studiengebieten Theoretische Grundlagen der Informatik (THI) und Programmiersprachen und -systeme (PSS) sowie im Informatik-Nebenfach Linguistik (innerhalb der Informatik)
Studienleistungen:	Neben regelmäßiger Teilnahme werden ein längerer Vortrag (über zwei Doppelstunden) oder 2 kürzere Vorträge (jeweils eine Doppelstunde) erwartet.  Die Vortragsthemen werden in der ersten Sitzung vergeben.
Information:	Tina Wieczorek, FR 6074, Tel.: 314-73607, E-Mail: wieczo@cs.tu-berlin.de