Extent: 2+0, examination, 4 credits
Semester: Summer
Lecturer: Mirko Navara

News:

• In the winter semester 2023/24, the lectures on Fuzzy Logic will be every Thursday, 14:30-16:00 at Karlovo náměstí in hall KN:G-205. starting from October 5th. I apologize to those whose schedule does not allow to attend it. Lectures will be in English if any foreign student subscribes (none till now), in Czech otherwise. They could be be transmitted and recorded through BBB on request.
• The curricula will contain a general introduction to fuzzy sets (about 5 weeks), followed by lectures on specific topics chosen by you from several options.
  Please, read the previous curricula and prepare your comments.

Motivation: English, Czech version.

Literature:

• Bibliography: PDF, PostScript, DVI, LaTeX
• Textbook Basics of Fuzzy Sets (in Czech), pdf
• Lectures on fuzzy sets: English, Czech
• Lectures on fuzzy logic: English, Czech
• Lectures on similarity and its applications; copies of transparencies from lectures on similarity are available at the office of M. Navara.
• Lectures on (classical and) fuzzy control, How to stabilize an inverted pendulum
• Copies of transparencies with axioms of Boolean algebras and MV-algebras (2002): PostScript, DVI, LaTeX

Curricula:
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:

• 2023 - winter semester
• 2023 - summer semester
• 2022 - winter semester
• 2020
• 2019
• 2018
• 2017
• 2016
• 2015
• 2014
• 2013
• 2012
• 2010
• 2009
• 2008
• 2007
• 2006
• 2005
• 2004
• 2003
• 2002

Annotation:

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: navaracmp.felk.cvut.cz
Last update not before 2023/09/25.