Inhalt
[ 201WIMSMVLU20 ] UE Manyvalued Logic
|
|
|
|
(*) 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 2023W |
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 |
Frühere Varianten |
Decken ebenfalls die Anforderungen des Curriculums ab (von - bis) TM1WMUEFUZL: UE Fuzzy logic (1998W-2020S)
|
|
|
|
Präsenzlehrveranstaltung |
Teilungsziffer |
25 |
Zuteilungsverfahren |
Direktzuteilung |
|
|
|