Inhalt

[ 201WIMSMVLU20 ] UE Manyvalued Logic

Versionsauswahl
Es ist eine neuere Version 2023W dieser LV im Curriculum Masterstudium Artificial Intelligence 2024W vorhanden.
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
1,5 ECTS B3 - Bachelor 3. Jahr Mathematik Thomas Vetterlein 1 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Technische Mathematik 2022W
Ziele (*)Support to achieve the goals of the corresponding course
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 (*)Presentation of homework
Lehrmethoden (*)Weekly exercise sheets as homework, discussion of the solutions.
Abhaltungssprache English
Lehrinhalte wechselnd? Nein
Sonstige Informationen (*)Until term 2020S known as: TM1WMUEFUZL UE Fuzzy Logic
Frühere Varianten Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
TM1WMUEFUZL: UE Fuzzy logic (1998W-2020S)
Präsenzlehrveranstaltung
Teilungsziffer 25
Zuteilungsverfahren Direktzuteilung