Předmět Fuzzy logika (KMA / QFULG)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KMA / QFULG - Fuzzy logika, Přírodovědecká fakulta, Ostravská univerzita v Ostravě (OU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Obsah
Motivace a charakterizace fuzzy logiky.Výroková MTL a BL-fuzzy logika: jazyk, formule, axiomy, dedukční pravidla, základní tautologie.Sémantika MTL a BL-luzzy logiky.Věta o dedukci a o spornosti. Věta o úplnosti a o standardní úplnosti.Predikátová BL-fuzzy logika: jazyk, axiomy, dedukční pravidla, základní tautologie.Sémantika predikátové BL-fuzzy logiky: struktura, model teorie, věta o úplnosti.Fuzzy logika s ohodnocenou syntaxí: jazyk, ohodnocená syntax, vícehodnotová dedukční pravidla.Logické axiomy. Ohodnocená dokazatelnost.Základní dokazatelné tautologie. Fuzzy teorie. Věta o spornosti fuzzy teorií.Věta o dedukci. Věta o úplnosti.Fuzzy teorie typu sorites.
Literatura
Novák, V., Perfilieva, I., Močkoř, J. Mathematical Principles of Fuzzy Logic. Kluwer, Boston, 1999. Hájek, P. Metamathematics of fuzzy logic. Kluwer, Dordrecht, 1998.
Požadavky
samostatné studium, konzultace
Garant
prof. Ing. Vilém Novák, DrSc.