Logic

Garant předmětu:

Lecturer:

Tutor:

Supervisor:

Department of Languages and Humanities

Synopsis:

The lesson deals with logical base of formal languages, including the language of mathematics. The foundations of propositional logic are introduced both with the methods of solving logical tasks given in the language of propositional logic. Further, the foundations of predicate logic are dealt with both the methods of solving logical tasks in this language. There are shown applications of these parts of logic in the technique and science. By means of definitions, basic notions of the mathematical language are introduced both with methods of building of formal languages and their semantics.

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: