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

Logic and Logic Programming

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
XP33LPD ZK 4 2+2s Czech
Lecturer:
Olga Štěpánková (guarantor)
Tutor:
Olga Štěpánková (guarantor)
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:
Time-table for winter semester 2018/2019:
Time-table is not available yet
Time-table for summer semester 2018/2019:
Time-table is not available yet
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/predmet11520604.html