Logic
The course is not on the list Without time-table
| Code | Completion | Credits | Range |
|---|---|---|---|
| 11LGI | Z | 0 | 1+0 |
- Garant předmětu:
- Lecturer:
- Tutor:
- Supervisor:
- Department of Applied Mathematics
- Synopsis:
-
The role of logic as a method of a well-founded reasoning and mathematical thinking. Foundations of classical propositional and predicate logic and their applications in practice. Logical structure of mathematics as an axiomatic system. The purpose of definitions and the structure of proofs in mathematics. Perspectives of further development of logic.
- Requirements:
- Syllabus of lectures:
- Syllabus of tutorials:
- Study Objective:
- Study materials:
- Note:
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans: