FPF:UIDI010 Logic and Logic Programming - Course Information
UIDI010 Logic and Logic Programming
Faculty of Philosophy and Science in OpavaWinter 2015
- Extent and Intensity
- 0/0. 0 credit(s). Type of Completion: dzk.
- Guaranteed by
- RNDr. Šárka Vavrečková, Ph.D.
Institute of Computer Science – Faculty of Philosophy and Science in Opava - Prerequisites (in Czech)
- U studentů předpokládáme alespoň základní znalosti v oblasti výrokové a predikátové logiky. Studenti, kteří neabsolvovali předmět Logika a logické programování na bakalářském stupni na Ústavu informatiky, si také dostudují alespoň Hilbertovský a Gentzenovský systém z materiálů, které jsou k dispozici na webu vyučujícího.
- 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
- Autonomous Systems (programme FPF, P1801 Inf) (2)
- Autonomous Systems (programme FPF, P1801 Inf) (2)
- Course objectives
- We deal with formal systems and teories. One of the subjects is logical programming, based on one of the formal systems, Clausular Axiomatic System. We thrash out various theories and their axiomatics, including theory of latices.
- Syllabus
- Formal systems, axioms, derivation rules.
System of native deduction.
Clausular logic and the Clausular axiomatic system.
Logical programming in Prolog.
Principles of logical programming.
Theories and axiomatics, theory of latices.
- Formal systems, axioms, derivation rules.
- Literature
- required literature
- Šárka Vavrečková. Logika a logické programování: dodatek pro studenty doktorského studia. URL info
- 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
- Šárka Vavrečková. Hilbertovský a gentzenovský systém. URL info
- 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
- 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
Lecture with a video analysis - Assessment methods
- Written exam
Exam - Language of instruction
- Czech
- Further comments (probably available only in Czech)
- The course can also be completed outside the examination period.
- 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 24 Summary 24
- Enrolment Statistics (Winter 2015, recent)
- Permalink: https://is.slu.cz/course/fpf/winter2015/UIDI010