FI:U410 Logic Programming for CS - Course Information

U410 Logic Programming for CS

Extent and Intensity

2/1. 0 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).

Teacher(s)

doc. RNDr. Lubomír Popelínský, Ph.D. (lecturer)

Guaranteed by

Contact Person: doc. RNDr. Lubomír Popelínský, Ph.D.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

• Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)

Syllabus

• Introduction to logic. First-order logic, syntax and semantics, model, logical consequence, normal forms.
• Logic programming: Horn clauses, substitution and unification, SLD-resolution.
• Programming language Prolog
• Programming in Prolog: programming techniques, definite clause grammars, symbolic computations, knowledge-based systems
• Teaching logic programming. Prolog as a first programming language. LPTutor tutoring system.

Language of instruction

Czech

• Enrolment Statistics (recent)
  
• Permalink: https://is.muni.cz/course/fi/spring1998/U410