Logics of Engineer's Judgement
The course is not on the list Without time-table
| Code | Completion | Credits | Range | Language |
|---|---|---|---|---|
| 11Y2LG | KZ | 2 | 2P+0C | Czech |
- Garant předmětu:
- Lecturer:
- Tutor:
- Supervisor:
- Department of Applied Mathematics
- Synopsis:
-
Logical structure of engineer's judgement, its propositional and predicative logical base. Solutions of logical tasks through the methods of truthfulness and semantic analysis charts. Venn's diagram method. Logical basis for network design for the solution of technical tasks.
- Requirements:
-
Elementary knowledge of mathematics.
- Syllabus of lectures:
- Syllabus of tutorials:
- Study Objective:
-
Knowledge of basic types of logical aspects for the solution of technical tasks including logical problems.
- Study materials:
-
Bek, R.: Logika. Vydavatelství ČVUT, Praha, 2001.
Peregrin, J.: Logika a logiky. Academia, Praha, 2004.
Štěpán, J.: Logika a logické systémy. Votobia, Olomouc, 1992.
- Note:
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans:
-
- PL nav.prez.21/22 (pro obor PL) (compulsory elective course)
- navaz. mag. PRE program DS 21/22 (program DS, ne obor) (compulsory elective course)
- navaz. mag. PRE program DS 22/23 (compulsory elective course)
- navaz. mag. PRE program LA 22/23 (nová akreditace) (compulsory elective course)
- navaz. mag. PRE program DS 23/24 (compulsory elective course)
- navaz. mag. PRE program LA 23/24 (compulsory elective course)
- navaz. mag. PRE program DS 24/25 (compulsory elective course)
- navaz. mag. PRE program LA 24/25 (compulsory elective course)