FPF:UIDI010 Logic and Logic Programming - Course Information
UIDI010 Logic and Logic Programming
Faculty of Philosophy and Science in OpavaSummer 2008
- 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 - 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 (in Czech)
- Výroková logika. Jazyk výrokové logiky (abeceda a gramatika). Sémantika výrokové logiky: výrokově logické vyplývání; rozhodnutelnost problému logické pravdivosti. Úplný systém spojek výrokové logiky: věta o reprezentaci; normální formy formulí výrokové logiky; věty o funkční úplnosti. Predikátová logika prvního řádu. Jazyk predikátové logiky 1. řádu. Volné a vázané proměnné, substituovatelnost termů za proměnné. Sémantika predikátové logiky 1. řádu. Splnitelnost formulí, logická pravdivost, kontradikce. Logické vyplývání. Tautologie predikátové logiky 1. řádu. Tradiční Aristotelova logika. Přímé a nepřímé formální důkazy, nepřímé tablové a rezoluční formální důkazy. Axiomatické systémy, korektnost a úplnost. Hilbertovské axiomatické systémy výrokové a predikátové logiky. Gentzenovské axiomatické systémy výrokové a predikátové logiky. Přímé formální důkazy v těchto axiomatických systémech, jejich korektnost a úplnost. Klauzulární axiomatický systém výrokové logiky a jeho vztah ke Gentzenovskému axiomatickému systému výrokové logiky. Klauzulární logika. Znalostní báze. Formální dedukce v klauzulární logice, využití znalostní báze. Přímé a nepřímé klauzulární odvozování. Základy programování v Prologu, vazby na klauzulární logiku.
- Language of instruction
- Czech
- Further Comments
- The course can also be completed outside the examination period.
- Enrolment Statistics (Summer 2008, recent)
- Permalink: https://is.slu.cz/course/fpf/summer2008/UIDI010