Course: Logic and Logic Programming

« Back
Course title Logic and Logic Programming
Course code UI/KKB50
Organizational form of instruction Lecture + Seminary
Level of course Bachelor
Year of study not specified
Semester Winter
Number of ECTS credits 6
Language of instruction Czech
Status of course Compulsory-optional
Form of instruction Face-to-face
Work placements This is not an internship
Recommended optional programme components None
Course availability The course is available to visiting students
Lecturer(s)
  • VAVREČKOVÁ Šárka, RNDr. Ph.D.
Course content
Deduction. Formal systems, axioms, derivation rules. System of native deduction. Clausular logic and the Clausular axiomatic system. Logical programming in Prolog. Principles of logical programming.

Learning activities and teaching methods
Interactive lecture, Lecture supplemented with a discussion, Lecture with a video analysis
  • unspecified - 6 hours per semester
  • unspecified - 3 hours per semester
  • unspecified - 3 hours per semester
Recommended literature
  • BIELIKOVÁ, M. - NÁVRTAT, P. Funkcionálne a logické programovanie. Bratislava: STU, 1997.
  • J. Kolář, O. Štěpánková, M. Chytil. Logika, algebry a grafy. Praha, 1989.
  • LUKASOVÁ, A. Logické základy umělé inteligence, 2. formalizace a automatizace dedukce. Ostrava: Ostravská univerzita, 1997.


Study plans that include the course
Faculty Study plan (Version) Branch of study Category Recommended year of study Recommended semester
Faculty of Philosophy and Science in Opava Information studies with the focus on library science (1) Journalism, library science and informatics 2 Winter