Logic and Logic Programming
Code | Completion | Credits | Range | Language |
---|---|---|---|---|
XP33LPD | ZK | 4 | 2P+2S | Czech |
- Garant předmětu:
- Lecturer:
- Tutor:
- Supervisor:
- Department of Cybernetics
- Synopsis:
-
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.
- Requirements:
- Syllabus of lectures:
- Syllabus of tutorials:
- Study Objective:
- Study materials:
-
Tymoczko,T., Henle, J.: Sweet Reason: A Field Guide to Modern Logic.
Springer 2000
Flach, P.: Simply Logical - Intelligent Reasoning by Example. John Wiley &
Sons, Chichester 1994
- Note:
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans:
-
- Doctoral studies, daily studies (compulsory elective course)
- Doctoral studies, combined studies (compulsory elective course)
- Doctoral studies, structured daily studies (compulsory elective course)
- Doctoral studies, structured combined studies (compulsory elective course)