Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2018/2019

Logic and Logic Programming

The course is not on the list Without time-table
Code Completion Credits Range
EP33LPD Z,ZK 4 2+2s
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:
Note:
Further information:
No time-table has been prepared for this course
The course is a part of the following study plans:
Data valid to 2019-05-22
For updated information see http://bilakniha.cvut.cz/en/predmet11754804.html