Logic and Logic Programming
- Department of Cybernetics
Mathematical logics and its relation to technical disciplines. Formal system
and its essential properties - validity, completeness. Syntax and semantics,
basic definitions. Compactness theorem. First order language and its
interpretation. Theory and its model, Herbrand´s model. Herbrand´s theorem,
Gödel´s completeness theorem and their practical implications. Limits of
computability and probability. Logic programming and Prolog language.
Metodology of logic programming. Introduction of extralogical features and
metapredicates. New trends - constraint logic programming (CLP)and inductive
logic programming (ILP). Some practical examples of complex logic programs
and practical applications.
- Syllabus of lectures:
- Syllabus of tutorials:
- Study Objective:
- Study materials:
Tymoczko,T., Henle, J.: Sweet Reason: A Field Guide to Modern Logic.
Flach, P.: Simply Logical - Intelligent Reasoning by Example. John Wiley &
Sons, Chichester 1994
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans: