Vorlesung "Nicht-klassische Logiken"

4.1.18 V2 In CV
Jun.-Prof. Dr. Bernhard Beckert


Aktuelles

02.02.06: Ich bitte alle Hörer an der Evaluation der Vorlesung teilzunehmen. Wer noch keine TAN hat, bekommt diese im Sekretariat bei Frau Körner.
05.04.06: Die Folien zur Vorlesung am 08.02. stehen zur Verfügung.
02.02.06: Am 15.02. findet keine Vorlesung statt.
02.02.06: Die Folien zur Vorlesung am 01.02. stehen zur Verfügung.
26.01.06: Die Folien zur Vorlesung am 25.01. stehen zur Verfügung.
23.01.06: Die Vorlesung am 08.02. findet ausnahmsweise in Raum F522 statt.
22.01.06: Die Folien zur Vorlesung am 18.01. stehen zur Verfügung.
16.01.06: Die Folien zur Vorlesung am 11.01. stehen zur Verfügung.
10.01.06: Die Folien zur Vorlesung am 21.12. stehen zur Verfügung.
14.12.06: Die Folien zur Vorlesung am 14.12. stehen zur Verfügung.
08.12.06: Die Folien zur Vorlesung am 07.12. stehen zur Verfügung.
30.11.06: Die Folien zur Vorlesung am 30.11. stehen zur Verfügung.
23.11.06: Die Folien zur Vorlesung am 23.11. stehen zur Verfügung.
20.11.06: Die Folien zu den Vorlesungen am 09. und 16.11. stehen zur Verfügung.
27.10.06: Die Vorlesung am Donnerstag, dem 2.11., fällt aus. Die nächste Vorlesung findet am 9.11. statt.
27.10.06: Einen anderen Raum zu finden, ist schwierig. Bis auf weiteres bleiben wir in E016.
27.10.06: Die Folien zur Vorlesung am 26.10. stehen zur Verfügung.
12.10.06: Die Vorlesung findet erstmals am Donnerstag, dem 26.10.06, 10 Uhr c.t. (erste Vorlesungswoche) statt.


Allgemeine Informationen zur Vorlesung

Zwar bildet die klassische Logik (Aussagen- und Prädiaktenlogik) die Basis für die meisten Anwendungen von Logik in der Informatik (Modellierung, Spezifikation, Verifikation, Deduktion usw.). Jedoch ist sie praktische Anwendungen häufig nicht geeignet, jedenfalls nicht hinreichend. Hier kommen Erweiterungen und Varianten der klassischen Logik ins Spiel: die sogenannten nicht-klassischen Logiken.

Thema der Vorlesung sind verschiedene für Anwendung innerhalb der Informatik relevante nicht-klassische Logiken. Dazu gehören insbesondere:

In der Vorlesung werden Syntax und Semantik dieser Logiken behandelt, wie auch Kalküle zur Deduktion und Anwendungen der Logiken in der Informatik.

Diese Vorlesung wendet sich an Studenten der Informatik und der Computervisualistik im Hauptstudium.


Termine

Donnerstags, 10 Uhr c.t., E016


Folien

Jeweils nach der Vorlesung werden die Folien hier zur Verfügung gestellt.


Literatur

Als Literatur zur Vorlesung empfehle ich das Skriptum zur gleichnameigen Vorlesung von P. Schmitt an der Universität Karlsruhe.


Weitere Informationen: Bernhard Beckert