FPF:UIDI010 Logic and Logic Programming - Course Information
UIDI010 Logic and Logic Programming
Faculty of Philosophy and Science in OpavaWinter 2011
- 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)
- 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 (in Czech)
- 1. Formální systémy, pojmy. Dokazování, dedukce.
2. Systém přirozené dedukce.
3. Klauzulární logika a Klauzulární axiomatický systém.
4. Programovací jazyk Prolog. Principy logického programování.
5. Budování teorií. Matematické teorie. Teorie svazů.
6. Vlastnosti teorií a formálních systémů. Gödelovy výsledky.
- 1. Formální systémy, pojmy. Dokazování, dedukce.
- Literature
- required literature
- Šárka Vavrečková. Logika a logické programování: dodatek pro studenty doktorského studia. 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
- Lecture supplemented with a discussion
Lecture with a video analysis - 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.
- Teacher's information
Activity Difficulty [h] Příprava na zkoušku 24 Summary 24
- Enrolment Statistics (Winter 2011, recent)
- Permalink: https://is.slu.cz/course/fpf/winter2011/UIDI010