FPF:UIN1057 Practicum in Logic Programming - Course Information
UIN1057 Practicum in Logic Programming
Faculty of Philosophy and Science in OpavaSummer 2011
- Extent and Intensity
- 0/2/0. 3 credit(s). Type of Completion: z (credit).
- Teacher(s)
- Mgr. Marek Menšík, Ph.D. (seminar tutor)
- Guaranteed by
- Mgr. Marek Menšík, Ph.D.
Institute of Computer Science – Faculty of Philosophy and Science in Opava - 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
- Applied Mathematics (programme MU, B1101)
- Applied Mathematics in Risk Management (programme MU, B1101)
- Applied Mathematics in Risk Management (programme MU, B1102)
- Geometry (programme MU, M1101)
- Computer Science and Technology (programme FPF, B1801 Inf)
- Computer Science and Technology (programme FPF, M1801 Inf)
- Computer Science and Technology (programme FPF, N1801 Inf)
- Mathematical Analysis (programme MU, M1101)
- Mathematical Methods in Economics (programme MU, B1101)
- Mathematics (programme MU, B1101)
- Secondary School Teacher Training in Computer Science (programme FPF, M7504)
- Secondary school teacher training in general subjects with specialization in Computer Science (programme FPF, M7504)
- Course objectives
- Fundamentals of the Prolog programming language. Basic data types in Prolog, facts and rules. Creating knowledge bases. Common recursive program structures, especially for list processing. Arithmetic and other built-in functions.
- Language of instruction
- Czech
- Further Comments
- The course can also be completed outside the examination period.
- Enrolment Statistics (Summer 2011, recent)
- Permalink: https://is.slu.cz/course/fpf/summer2011/UIN1057