FPF:UINK108 Logic and Logic Programming - Course Information
UINK108 Logic and Logic Programming
Faculty of Philosophy and Science in OpavaWinter 2014
- Extent and Intensity
- 0/0. 4 credit(s). Type of Completion: zk (examination).
- Teacher(s)
- RNDr. Šárka Vavrečková, Ph.D. (lecturer)
RNDr. Šárka Vavrečková, Ph.D. (seminar tutor) - Guaranteed by
- RNDr. Šárka Vavrečková, Ph.D.
Institute of Computer Science – Faculty of Philosophy and Science in Opava - Prerequisites (in Czech)
- Předpokládá se absolvování předmětu Úvod do logiky, tedy základní znalosti ve výrokové a predikátové logice, Hilbertovský a Gentzenovský systém, základní princip dedukce.
- 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 Computer Science (programme FPF, B1802 AplI)
- Computer Science and Technology (programme FPF, B1801 Inf)
- Course objectives
- We deal with several logical systems. The General Resolution Method, is used as the base of the logical programming. We go over the theory of logics to the logical programming in Prolog.
- Syllabus
- Deduction.
Formal systems, axioms, derivation rules.
System of native deduction.
Clausular logic and the Clausular axiomatic system.
Logical programming in Prolog.
Principles of logical programming.
- Deduction.
- Literature
- required literature
- MENŠÍK, M. Webová stránka k předmětu. URL info
- Šárka Vavrečková. Webová stránka s informacemi o předmětu a studijními materiály. URL info
- recommended literature
- Suber, P. Logical Systems. Skripta Earlham College Richmond, Indiana. URL info
- Marie Duží. Matematická logika. Skripta VŠB-TU v Ostravě. URL info
- Jirků, P., Vejnarová, V. Neformální výklad základů formální logiky. VŠE Praha, 2000. URL info
- BIELIKOVÁ, M. - NÁVRTAT, P. Funkcionálne a logické programovanie. Bratislava: STU, 1997. info
- LUKASOVÁ, A. Logické základy umělé inteligence, 2. formalizace a automatizace dedukce. Ostrava: Ostravská univerzita, 1997. info
- Jirků, P. a kol. Programování v jazyku Prolog. SNTL Praha, 1991. info
- Reeves, S., Clarke, M. Logic for Computer Science. Addison-Wesley Longman Publishing Co. Boston, 1990. URL info
- J. Kolář, O. Štěpánková, M. Chytil. Logika, algebry a grafy. Praha, 1989. info
- Teaching methods
- Interactive lecture
Lecture supplemented with a discussion - Assessment methods
- Written exam
- Language of instruction
- Czech
- Further comments (probably available only in Czech)
- The course can also be completed outside the examination period.
Information on the extent and intensity of the course: Přednáška 6 HOD/SEM, Seminář 6 HOD/SEM. - Teacher's information
- * Credit test: 15 of 30 points
* Exam: Semantics - 21 of 40 points, Syntax - 21 of 40 points, Prolog - 10 of 20 pointsActivity Difficulty [h] Příprava na zkoušku 12 Účast na výuce 12 Summary 24
- Enrolment Statistics (Winter 2014, recent)
- Permalink: https://is.slu.cz/course/fpf/winter2014/UINK108