|
Lecturer(s)
|
-
Chajda Ivan, prof. RNDr. DrSc.
|
|
Course content
|
Application of discrete mathematics. The course is devoted to application of lattice theory and universal algebra in mathematical logics, non-classical logics and the system theory. We deal mainly with set-valued logics, intuitionistic logic and the logic of quantum mechanics. The implication reducts of these logics are also treated.
|
|
Learning activities and teaching methods
|
|
Lecture
|
|
Learning outcomes
|
To applicate the lattice theory and universal algebra in mathematical logics
3. Aplication Lattice theory is applied in mathematical logics. Various kinds of logics (classical, many-valued, quantum logics) are related and appropriate lattice theoretical tools are used to axiomatize them.
|
|
Prerequisites
|
unspecified
|
|
Assessment methods and criteria
|
Oral exam, Written exam
Attendance in the lectures.
|
|
Recommended literature
|
-
Bolc L., Borowik P. (1992). Many-valued logics 1, Theoretical Foundations. Springer-Verlag.
-
Chajda I. (2006). Algebry formalizující výrokové logiky. VUP Olomouc.
|