Inhalt

[ 404LFMTMVLV20 ] VL (*)Manyvalued Logic

Versionsauswahl
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS M1 - Master 1. Jahr Mathematik Thomas Vetterlein 2 SSt Johannes Kepler Universität Linz
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)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung