UIDI010 Logika a logické programování

Filozoficko-přírodovědecká fakulta v Opavě
léto 2008
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
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í.
Předmět je zařazen také v obdobích zima 2006, léto 2007, zima 2007, zima 2008, léto 2009, zima 2009, léto 2010, zima 2010, léto 2011, zima 2011, léto 2012, zima 2012, léto 2013, zima 2013, léto 2014, zima 2014, léto 2015, zima 2015, léto 2016, zima 2016, léto 2017, zima 2017, léto 2018, zima 2018, léto 2019, zima 2019, léto 2020, zima 2020, léto 2021, zima 2021, léto 2022.