Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2024/2025

Application of Nonclassical Logic

The course is not on the list Without time-table
Code Completion Credits Range Language
01ANL ZK 2 2+0 Czech
Course guarantor:
Lecturer:
Tutor:
Supervisor:
Department of Mathematics
Synopsis:

Non-classical logics were originally motivated as tools to overcome paradoxes of the classical logic. Nowadays these logics have many real-life applications. During the lecture several non-classical logics will be introduced, in particular the modal, dynamic, description, and many-valued logics. The attention will be paid on real-life applications in computer science, artificial intelligence, game theory, and control theory.

Requirements:

Basic course in Mathematical Logic (in the extent of the course 01VYML held at the FNSPE CTU in Prague).

Syllabus of lectures:

1. Classical propositional and predicate logic, 2. Gentzen calculi, 3. Game theory and logic, 4. Modal logics, 5. Description logics, 6. Dynamic logics, 7. Intuitionistic logic and philosophy of mathematics, 8. Many-valued logics

Syllabus of tutorials:
Study Objective:

The goal of the lecture is to demonstrate the basics of the particular systems of non-classical logics and some of their real-life applications.

Study materials:

Key references

[4] D. Harel, D. Kozen, J. Tiuryn: Dynamic logic, The MIT press, 2000,

London.

[5] P. Hájek: Metamathematics of fuzzy logic, Kluwer, 1998, Dordrecht.

Recommended references:

[6] Stanford encyclopedia of philosophy, http://plato.stanford.edu (relevantní hesla)

Note:
Further information:
No time-table has been prepared for this course
The course is a part of the following study plans:
Data valid to 2024-12-10
For updated information see http://bilakniha.cvut.cz/en/predmet23927005.html