FPF:UIDI010 Logika a logické programování - Informace o předmětu
UIDI010 Logika a logické programování
Filozoficko-přírodovědecká fakulta v Opavězima 2006
- Rozsah
- 0/0. 0 kr. Ukončení: dzk.
- Garance
- RNDr. Šárka Vavrečková, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- Autonomní systémy (program FPF, P1801 Inf)
- Cíle předmětu
- 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.
- Další komentáře
- Předmět je dovoleno ukončit i mimo zkouškové období.
- Statistika zápisu (zima 2006, nejnovější)
- Permalink: https://is.slu.cz/predmet/fpf/zima2006/UIDI010