Logics and Semantics of Engineering Thinking

Garant předmětu:

Lecturer:

Tutor:

Supervisor:

Department of Languages and Humanities

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: