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 |
- Course guarantor:
- Magdalena Hykšová
- Lecturer:
- Magdalena Hykšová
- Tutor:
- Magdalena Hykšová
- 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:
-
- Master Full-Time DS from 2022/23 (compulsory elective course)
- Master Full-Time DS from 2023/24 (compulsory elective course)
- Master Full-Time IS (joint degree) from 2023/24 (compulsory elective course)
- Master Full-Time DS from 2024/25 (compulsory elective course)
- Master Full-Time LA from 2024/25 (compulsory elective course)