Courses
Course title:
Logic for informatics
Faculty:
Faculty of Science
Department:
Department of Informatics and Computers
Course code:
Credits:
5
Semester:
Winter
Level of study:
Bc.
Format of study:
Lecture 2 [Hours/Week], Practical classes 2 [Hours/Week]
Name of the lecturer:
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.
Note: This course or part of it may be lectured / trained in English. Whether the teaching in AJ will be realized in the given academic year, the student can verify by asking the secretary of the department at registration of the course.
