Skip to main content
You are browsing the curriculum of a past academic year (2021–2022).
Do you want to change to the ongoing academic year?
Course unit, curriculum year 2021–2022
MATH.APP.820

Advanced Applied Logics, 5 cr

Tampere University
Teaching periods
Active in period 1 (1.8.2021–23.10.2021)
Active in period 2 (24.10.2021–31.12.2021)
Active in period 3 (1.1.2022–6.3.2022)
Course code
MATH.APP.820
Language of instruction
English
Academic years
2021–2022, 2022–2023, 2023–2024
Level of study
Advanced studies
Grading scale
General scale, 0-5
Persons responsible
Responsible teacher:
Esko Turunen
Responsible 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

23.08.2021 08.10.2021
Active in period 1 (1.8.2021–23.10.2021)

Exam

18.10.2021 18.10.2021
Active in period 1 (1.8.2021–23.10.2021)
25.11.2021 25.11.2021
Active in period 2 (24.10.2021–31.12.2021)
13.01.2022 13.01.2022
Active in period 3 (1.1.2022–6.3.2022)

Participation in teaching

23.08.2021 10.10.2021
Active in period 1 (1.8.2021–23.10.2021)