You are browsing the curriculum of a past academic year (2020–2021).
Do you want to change to the ongoing academic year?
Course unit, curriculum year 2020–2021
MATH.APP.820
Advanced Applied Logics, 5 cr
Tampere University
- Description
- Completion options
Teaching periods
Course code
MATH.APP.820Language of instruction
EnglishAcademic year
2020–2021Level of study
Advanced studiesGrading scale
General scale, 0-5Persons responsible
Responsible teacher:
Esko TurunenResponsible organisation
Faculty of Information Technology and Communication Sciences 100 %
Core content
- Introduction to mathematical fuzzy logic; real life situations where neither black-or-white logic nor statistical methods are applicable.
- Monoidal Logic as a basis of various non-standard logics: linear logic, intuitionistic logic, basic fuzzy logic, Lukasiewicz logic.
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