|
Detailinformationen |
Quellcurriculum |
Masterstudium Computer Mathematics 2020W |
Ziele |
(*)Introduction to many-valued logics, their syntax, their semantics, and their corresponding algebraic structures, with a particular emphasis on mathematical fuzzy logic.
|
Lehrinhalte |
(*)Basics of lattice theory, model-theoretic definition of propositional logics, Hilbert-style proof systems, soundness and completeness, classical propositional logic, boolean algebras, t-norm based many-valued logics, residuated lattices, basic Logic, BL-algebras, Lukasiewicz logic, MV-algebras.
|
Beurteilungskriterien |
(*)written exam
|
Lehrmethoden |
(*)Blackboard presentation
|
Abhaltungssprache |
Englisch |
Literatur |
(*)P. Cintula, P. Hajek, C. Noguera (Eds.), Handbook of Mathematical Fuzzy Logic, College Publication, London 2011.
|
Lehrinhalte wechselnd? |
Nein |
Äquivalenzen |
(*)TM1WMVOFUZL: VL Fuzzy Logic (3 ECTS)
|
|