Course: Logic and Logic Programming

« Back
Course title Logic and Logic Programming
Course code UI/DI010
Organizational form of instruction no contact
Level of course Doctoral
Year of study not specified
Semester Winter and summer
Number of ECTS credits 0
Language of instruction Czech
Status of course Compulsory
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
Formal systems, axioms, derivation rules. System of native deduction. Clausular logic and the Clausular axiomatic system. Logical programming in Prolog. Principles of logical programming. Theories and axiomatics, theory of latices.

Learning activities and teaching methods
Interactive lecture, Lecture supplemented with a discussion, Lecture with a video analysis
  • unspecified - 24 hours per semester
Recommended literature
  • J. Kolář, O. Štěpánková, M. Chytil. Logika, algebry a grafy. Praha, 1989.


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 Autonomous Systems (1) Informatics courses - -
Faculty of Philosophy and Science in Opava Autonomous Systems (1) Informatics courses - -
Faculty of Philosophy and Science in Opava Autonomous Systems (1) Informatics courses - -
Faculty of Philosophy and Science in Opava Autonomous Systems (1) Informatics courses - -