Logic

Lecturer:

Tutor:

Supervisor:

Department of Bachelor Pedagogical Study

Synopsis:

Engineering thinking and logical deduction, the language of predicational logic, solving of logical assignments expressed in this language, the language of predicate calculus of the first order, solving of logical assignments expressed in this language.

Requirements:

no prerequisities

Syllabus of lectures:

Syllabus of tutorials:

Study Objective:

The goal of the subject is to expound the logical ground of reasoned ratiocinating of exact language, especially the language of mathematics. To compare some typical features of this language with natural language behind engineering thinking.

Study materials:

not available

Note:

Further information:

www.ojrech.cz/logika

Time-table for winter semester 2011/2012:

Time-table is not available yet

Time-table for summer semester 2011/2012:

Time-table is not available yet

The course is a part of the following study plans: