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