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

News:

• News were moved to CourseWare page
• In the summer semester 2023/24, the lectures of the course Fuzzy Logic will be held at Karlovo náměstí, hall G205, each Monday 16:25-17:55, starting from February 19. They will be in English. When requested, they will be streamed online and recorded using BBB, links can be found in Brute. Records from previous years for most of the topics are available.

Links:

• Brute page of the course
• Folder with homeworks.

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:

• 2024 - summer semester
• 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.