Inhalt
[ 201WIMSMVLU20 ] UE Manyvalued Logic
|
|
|
| Es ist eine neuere Version 2025W dieser LV im Curriculum Masterstudium Artificial Intelligence 2025W 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 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 |
|
|
|
