Course title:Logic for informatics
Faculty:Faculty of Science
Department:Department of Informatics and Computers
Course code:KIP / 7LIN1
Level of study:Bc.
Format of study:Lecture 2 [Hours/Week], Practical classes 2 [Hours/Week]
Name of the lecturer:doc. RNDr. Martin Kotyrba, Ph.D. (G)
Language:Czech, English
ISCED F broad:Information and Communication Technologies
Annotation:The aim of the course is to acquaint students with basic concepts and procedures in formal logic in solving specific deductive problems. Students will get acquainted with the structure and semantics of the language of predicate and predicate logic and their derivation methods. This subject or part of it can be lectured / trained in English. Whether the course in EN will be realised in the given academic year, the student can verify with the Secretary of the Department at the registration of the subject.