Inhalt

[ 201WIMSMVLU20 ] UE Manyvalued Logic

Versionsauswahl
Es ist eine neuere Version 2023W dieser LV im Curriculum Master's programme Artificial Intelligence 2024W vorhanden.
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 2022W
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
Further information Until term 2020S known as: TM1WMUEFUZL UE Fuzzy Logic
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