|
MS Logik für Fortgeschrittene (53301; theoretisch: 54102, 54202, 53501)
- Lecturer
- Prof. Dr. Peter Bernhard
- Details
- Mittelseminar
Präsenz 2 cred.h, certificate, ECTS studies
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
Time and place: Thu 14:15 - 15:45, KH 2.014
- Contents
- 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.
- Additional information
- Department: Chair of Philosophy (Prof. Dr. Lienemann)
|
|
|