You are browsing the curriculum of a past academic year (2022–2023).
Do you want to change to the ongoing academic year?
Course unit, curriculum year 2022–2023
MATH.APP.820
Advanced Applied Logics, 5 cr
Tampere University
- Description
- Completion options
Teaching periods
Course code
MATH.APP.820Language of instruction
EnglishAcademic years
2021–2022, 2022–2023, 2023–2024Level of study
Advanced studiesGrading scale
General scale, 0-5Persons responsible
Responsible teacher:
Esko TurunenResponsible organisation
Faculty of Information Technology and Communication Sciences 100 %
Coordinating organisation
Computing Sciences Studies 100 %
Core content
- An algebraic introduction to mathematical fuzzy logic; real life situations where neither black-or-white logic nor statistical methods are applicable.
- Construction of the Lukasiewicz-Pavelka fuzzy logic from 6 algebraic axioms.
Complementary knowledge
- Graded similarity as a base of fuzzy reasoning. Fuzzy IF-THEN rules. Constructing real world applications by means of multiple valued logic.
Para consistent logic in solving decision making problems. - Residuated lattices, Girard monoids, Heyting algebras, BL-algebras, Wajsberg algebras and MV-algebras. Semantics, syntax and completeness of various non-standard logics.
This course will be lectured next time during the academic year 2021-22.
Learning outcomes
Prerequisites
Further information
Learning material
Studies that include this course
Completion option 1
Attendance at lectures is not mandatory, but desirable. However, to pass the course, student must return all course-related exercises before the first exam.
Completion of all options is required.
Independent study
No scheduled teaching
Exam
No scheduled teaching
Participation in teaching
No scheduled teaching