FPF:UIMOIBP015 Logic and Logic Programming - Course Information
UIMOIBP015 Logic and Logic Programming
Faculty of Philosophy and Science in OpavaWinter 2024
- Extent and Intensity
- 2/2/0. 6 credit(s). Type of Completion: zk (examination).
- Teacher(s)
- RNDr. Šárka Vavrečková, Ph.D. (lecturer)
RNDr. Radka Poláková, Ph.D. (seminar tutor)
Ing. Tomáš Vícha (seminar tutor) - Guaranteed by
- RNDr. Radka Poláková, Ph.D.
Institute of Computer Science – Faculty of Philosophy and Science in Opava - Timetable
- Tue 8:55–10:30 B3a
- Timetable of Seminar Groups:
- Prerequisites
- Introduction to Logic
- 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
- Information and communication technologies (programme FPF, MOI)
- Course objectives
- The course follows the course Introduction to Logic. We deal with several logic systems, the last one, Clause Axiomatic System, is used as a basis for logic programming. In the course, the students deal mainly with theoretical bases of logic programming, ie the basic idea, possibilities and procedures. We move from the procedures demonstrated in clause Logic to programming in the Prolog programming language.
- Learning outcomes
- Students will be able to:
- use deduction and derivation in logical systems;
- describe the Clause axiomatic system;
- apply principles of logic programming to a simple practical problem. - Syllabus
- 1.-2. Deduction and derivation of conclusion.
- 3. Formal systems, axioms, deduction.
- 4.-5. Systems of natural deduction.
- 6.-8. Clausal logic.
- 9. Clausal axiomatic system.
- 9.-11. Logic programming in Prolog.
- 12.-13. Principles of logic programming.
- Literature
- required literature
- VAVREČKOVÁ, Šárka. Logika a logické programování. Opava: Ústav informatiky, Filozoficko-přírodovědecká fakulta v Opavě, Slezská univerzita v Opavě, 2023. 143 s.
- recommended literature
- Marie Duží. Matematická logika. Skripta VŠB-TU v Ostravě. URL info
- SWI-Prolog Reference Manual [online]. SWI-Prolog.org. Průběžně aktualizováno, platné pro aktuální verzi Prologu. Dostupné na: https://www.swi-prolog.org/pldoc/doc_for?object=manual
- GALLIER, Jean H. Logic for computer science: foundations of automatic theorem proving. Second edition. Mineola, New York: Dover Publications, 2015. ISBN 978-0-486-78082-5. info
- NIEVERGELT, Yves. Logic, mathematics, and computer science: modern foundationswith practical applications. Second edition. New York: Springer, 2015. ISBN 978-1-4939-3222-1. info
- TRLIFAJOVÁ, Kateřina and Daniel VAŠATA. Matematická logika. Praha: České vysoké učení technické, 2013. ISBN 978-80-01-05342-3. info
- JIRKŮ, Petr and Jiřina VEJNAROVÁ. Formální logika: neformální výklad základů formální logiky. Vyd. 2. Praha: Oeconomica, 2005. ISBN 978-80-245-0974-7. info
- LUKASOVÁ, A. Logické základy umělé inteligence, 2. formalizace a automatizace dedukce. Ostrava: Ostravská univerzita, 1997. info
- Teaching methods
- Interactive lectures
Tutorials - Assessment methods
- Credit: compulsory attendance at seminars min. 75%, written and online test.
Exam: test. - Language of instruction
- Czech
- Enrolment Statistics (Winter 2024, recent)
- Permalink: https://is.slu.cz/course/fpf/winter2024/UIMOIBP015