 |
| 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)
|
|
