Předmět Aplikace diskrétní matematiky (KAG / DADM7)
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 KAG / DADM7 - Aplikace diskrétní matematiky, 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 věnován aplikaci teorie svazů a univerzální algebry v matematické logice, v neklasických logikách a v teorii systémů. Jedná se zejména o vícehodnotové logiky, intuicionistickou logiku a logiku kvantové mechaniky a jejich implikační redukty.
Získané způsobilosti
3. Aplikace poznatkůAplikují teorii svazů vmatematické logice.
Literatura
Chajda I. Algebry formalizující výrokové logiky. VUP Olomouc, 2006. Bolc L., Borowik P. Many-valued logics 1, Theoretical Foundations. Springer-Verlag, 1992.
Garant
prof. RNDr. Ivan Chajda, DrSc.