202119 Advanced Logic
summer semester 2021 | Last update: 15.04.2021 | Place course on memo list202119
Advanced Logic
VU 2
3,5
weekly
every 2nd year
German
Advanced knowledge of various logical tools (calculi, decision procedures), their metalogical properties and the conditions of their applicability.
Predicate logic without and with identity.
Lecture with student activity and home-written exercises.
Written exam.
General information on exams, dates and sign-on at the department:
https://www.uibk.ac.at/philtheol/pruefungen/index.html.de.
W. Löffler: Einführung in die Logik, Stuttgart u. a. 2008.
For Bachelor's Programme in Philosophy at the Catholic Theology Faculty (C 033 194): positive completion of compulsory module 2.
03.03.2021
- Faculty of Catholic Theology
- Interdisciplinary and additional courses