Předmět Neklasické logiky (KMI / NLO)
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 KMI / NLO - Neklasické logiky, Přírodovědecká fakulta, Univerzita Palackého v Olomouci (UP).
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
Předmět je úvodem do neklasických logik, zejm. vybraných systémů neklasických logik používaných v informatice.Modální logika.Temporální logika.Vícehodnotová a fuzzy logika.Intuicionismus a intuicionistická logika.Vybrané aplikace neklasických logik.
Získané způsobilosti
2. Porozumění: Rozpoznej logiky pro modelování znalosti závislé na čase.
Literatura
Cresswell J. A New Introduction to Modal Logic . Routledge, 1996. ISBN 0415126002.Gottwald S. A Treatise on Many-Valued Logics. Research Studies Press, 2001. ISBN 0863802621.Hájek P. Metamathematics of Fuzzy Logic. Kluwer, Dordrecht , 1998. ISBN 978-1402003707.Blackburn P., de Rijke M., Venema Y. Modal Logic. Cambidge University Press, 2002. ISBN 0521527147.Fagin R., Halpern J. Y., Moses Y., Vardi M. Y. Reasoning About Knowledge. MIT Press, 1995. ISBN 0262562006.
Požadavky
Aktivní účast v hodině. Plnění zadaných úkolů. Složení ústní (příp. písemné) zkoušky.
Garant
prof. RNDr. Radim Bělohlávek, Ph.D., DSc.
Vyučující
doc. RNDr. Vilém Vychodil, Ph.D.doc. RNDr. Vilém Vychodil, Ph.D.