Institute of Philosophy, Faculty of Philosophy, Jagiellonian University, Cracow
Winter & summer semesters 2018/19
Lectures: Tuesdays 7-8.30 p.m. (Prof. Wojciech Suchoń)
1. Mondays 4-5.30 p.m.
2. Mondays 5.30-7 p.m.
- Translations (KRZ)
- Tautologies (KRZ)
- Defining logical connectives, DNF and CNF (KRZ)
- Rules: harder & easier (KRZ)
- Tautologies and rules (INT)
- Tautologies and rules (Ł3 & S4)
- Translations and quantifiers (KRP)
- Tautologies and rules (KRP)
- Elements of set theory (sets)
- Elements of set theory (relations)