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:
- mehrwertige Logiken
- modale Logiken
- dynamische Logik
- temporale Logiken
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