|
MS Logik für Fortgeschrittene (53301; theoretisch: 54102, 54202, 53501)
- Dozent/in
- Prof. Dr. Peter Bernhard
- Angaben
- Mittelseminar
Präsenz 2 SWS, Schein, ECTS-Studium
Bachelor, für FAU Scientia Gaststudierende zugelassen, Achtung: Raumänderung ab 05.05.22: KH 2.014! ECTS: siehe entsprechende meinCampus-Einträge für die o. g. Prüfungsnummern
Zeit und Ort: Do 14:15 - 15:45, KH 2.014
- Inhalt
- Das Seminar dient der Einführung in die traditionelle, die intensionale und die nichtklassische Logik sowie in die höhere Prädikatenlogik. Daneben sollen verschiedene Kalküle (Beth-Tableaux, Sequenzen- und Dialogkalküle) miteinander verglichen werden und ausgewählte Probleme der Logik erörtert werden.
- Zusätzliche Informationen
- Institution: Lehrstuhl für Theoretische Philosophie (Prof. Dr. Lienemann)
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|