Logics and Semantics of Engineering Thinking
The course is not on the list Without time-table
| Code | Completion | Credits | Range |
|---|---|---|---|
| 11WQLS | Z | 4 | 4 |
- Lecturer:
- Tutor:
- Supervisor:
- Department of Applied Mathematics
- Synopsis:
-
The subject compares the exact reasoning with the intuitive one based on the natural language with its both strong and week aspects. The propositional and predicate foundations of exact reasoning will be shown both with their application by solving the technical tasks. Further, there will be shown how this parts of logic may be used by construction of combinational and sequence networks as the base of technical cybernetics.
- 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: