Course unit, curriculum year 2023–2024
MATH.APP.820
Advanced Applied Logics, 5 cr
Tampere University
- Description
- Completion options
Teaching periods
Active in period 2 (23.10.2023–31.12.2023)
Active in period 3 (1.1.2024–3.3.2024)
Active in period 4 (4.3.2024–31.5.2024)
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
Kokonaisuudet, joihin opintojakso kuuluu
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.10.2023 – 10.12.2023
Active in period 2 (23.10.2023–31.12.2023)
Participation in teaching
23.10.2023 – 10.12.2023
Active in period 2 (23.10.2023–31.12.2023)