250129 VO Non classical Logics (2009S)

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik

Erstmals am Montag, 2. März 2009, 15.15 - 16.45 Uhr, Seminarraum des Gödel Research Centers, Währinger Strasse 25, 2. Stock

Details

Language: German

Lecturers

Peter Telec

Classes

Currently no class schedule is known.

Information

Aims, contents and method of the course

Überblicksvorlesung über die wichtigsten nichtklassischen Logiken:
mehrwertige, intuitionistische, minimale, intermediäre
(superintuitionistische), substrukturale (relevante, BCK, BCI,
Lambek-Kalkül, lineare), Quanten-, parakonsistente, Fuzzy-,
nonmonotone Logiken.
Umfangreiche Literaturangaben sollen zu weiterem Studium anregen.
Vorlesungszeit: Mo 15.15-16.45
Vorlesungsort: Seminarraum des Gödel Research Centers, Währinger Strasse 25, 2. Stock
Beginn: 2.3.2009

Assessment and permitted materials

mündliche Prüfung

Minimum requirements and assessment criteria

Examination topics

Reading list

Association in the course directory

MLOV

Last modified: Fr 31.08.2018 08:54