Inhalt

[ 201WIMSMVLU20 ] UE Manyvalued Logic

Versionsauswahl
Workload Education level Study areas Responsible person Hours per week Coordinating university
1,5 ECTS B3 - Bachelor's programme 3. year Mathematics Thomas Vetterlein 1 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2023W
Objectives Support to achieve the goals of the corresponding course
Subject 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.
Criteria for evaluation Presentation of homework
Methods Weekly exercise sheets as homework, discussion of the solutions.
Language English and French
Changing subject? No
Earlier variants They also cover the requirements of the curriculum (from - to)
TM1WMUEFUZL: UE Fuzzy logic (1998W-2020S)
On-site course
Maximum number of participants 25
Assignment procedure Direct assignment