LFU:online

Institut für Informatik Institut für Informatik

Univ.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213

703320

VU Ausgewählte Kapitel in Logik und Lernen B: Advanced Logic and Quantum Logic

VU 3

5

wöch.

alle 3 Semester

Englisch

Vertieftes Verständnis in ausgewählten weiterführenden Vertiefungsgebieten aus Logik und Lernen; Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden

Im ersten Teil werden wir uns mit Gödels Unvollständigkeitssatz befassen und dabei Smullyans Buch als Grundlage nehmen

•     Gödel's incompleteness theorems Smullyan, Raymond M., 1919–2017 [Autor] New York, NY [u. a.]: Oxford Univ. Press; 1992

Im zweiten Teil wird die Quantenlogik vorgestellt und behandelt.

siehe Termine