Extent: 2+0, examination, 4 credits
Lecturer: Mirko Navara
Motivation: English, Czech version.
The exact curricula will be specified according to the interests of participants. For inspiration on possible topics, you may read the curricula from previous years:
Basic notions about fuzzy sets, fuzzy propositional and set operations. Fundamentals of classical mathematical logic, proofs, completeness theorems. Basic types of fuzzy propositional logics - Gödel, Lukasiewicz, product, S-fuzzy logics, rational Pavelka logic. Deduction, consistency, completeness. Basics of fuzzy predicate logics. Probability of fuzzy events. More general types of fuzzy sets, rough sets, and other alternative approaches. Different types of uncertainty, quantum logics.
Questions and comments:
Last update not before 2023/09/25.