Subject description - XP33LPD

Summary of Study | Summary of Branches | All Subject Groups | All Subjects | List of Roles | Explanatory Notes               Instructions
XP33LPD Logic and Logic Programming
Roles:S Extent of teaching:2P+2S
Department:13133 Language of teaching:CS
Guarantors:Štěpánková O. Completion:ZK
Lecturers:Štěpánková O. Credits:4
Tutors:Štěpánková O. Semester:L


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.

Course outlines:

Exercises outline:


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


Subject is included into these academic programs:

Program Branch Role Recommended semester
DOKP Common courses S
DOKK Common courses S

Page updated 5.10.2022 15:51:18, semester: Z,L/2022-3, Z/2024-5, L/2021-2, Send comments about the content to the Administrators of the Academic Programs Proposal and Realization: I. Halaška (K336), J. Novák (K336)