Extent: 2+0, examination, 4 credits
Lecturer: Mirko Navara, Center for Machine Perception, Department of Cybernetics, K 333
The lecture on May 25th is cancelled due to a meeting of the Scientific Council at the Slovak Technical University in Bratislava.
The course is in English and takes place in hall G205, Karlovo náměstí, building G, every Wednesday 16:15-17:45.
How to enter hall G205, Karlovo náměstí, building G
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 1. 4. 2015