|
Vyučující
|
-
Chajda Ivan, prof. RNDr. DrSc.
|
|
Obsah předmětu
|
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.
|
|
Studijní aktivity a metody výuky
|
|
Přednášení
|
|
Výstupy z učení
|
Aplikovat teorie svazů a univerzální algebry v matematické logice
3. Aplikace poznatků Aplikují teorii svazů vmatematické logice.
|
|
Předpoklady
|
nespecifikováno
|
|
Hodnoticí metody a kritéria
|
Ústní zkouška, Písemná zkouška
aktivní účast na přednášce.
|
|
Doporučená literatura
|
-
Bolc L., Borowik P. (1992). Many-valued logics 1, Theoretical Foundations. Springer-Verlag.
-
Chajda I. (2006). Algebry formalizující výrokové logiky. VUP Olomouc.
|