Logic
The course is not on the list Without time-table
| Code | Completion | Credits | Range | Language |
|---|---|---|---|---|
| 51KLOGN | ZK | 4 | 8 | Czech |
- Lecturer:
- Tutor:
- Supervisor:
- Department of Bachelor Pedagogical Study
- Synopsis:
-
Engineering thinking and logical deduction, The language of predicational logic, solving of logical assignments expressed in this language, The language of predicate calculus of the first order, solving of logical assignments expressed in this language.
- Requirements:
-
no prerequisities
- Syllabus of lectures:
- Syllabus of tutorials:
- Study Objective:
-
The goal of the subject is to expound the logical ground of reasoned ratiocinating of exact language, especially the language of mathematics. To compare some typical features of this language with natural language behind engineering thinking.
- Study materials:
-
not available
- Note:
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans: