|
Vyučující
|
-
Koudela Libor, Mgr. Ph.D.
|
|
Obsah předmětu
|
Úvod do výrokové logiky - atomární výroky, výrokové spojky, formule, pravdivostní tabulky. Disjunktivní a konjunktivní normální formy. Axiomatizace klasické výrokové logiky - odvozovací pravidla, správně utvořené formule. Axiomy, teorémy, důkazy, věta o dedukci, základní vlastnosti systémů klasické výrokové logiky. Třídy a relace - vztahy mezi třídami, operace s třídami, relace a funkce, identita. Úvod do predikátové logiky - výrokové formy, konstanty, proměnné, kvantifikátory. Formule predikátové logiky, interpretace, pravdivost a splnitelnost. Axiomatizace predikátové logiky - axiomy a odvozovací pravidla, věta o dedukci.
|
|
Studijní aktivity a metody výuky
|
|
Monologická (výklad, přednáška, instruktáž), Dialogická (diskuze, rozhovor, brainstorming), Metody práce s textem (učebnicí, knihou)
|
|
Výstupy z učení
|
Cílem předmětu je osvojení základních poznatků klasické výrokové a predikátové logiky, které student využije při řešení konkrétních problémů studovaného oboru.
Student bude schopen použít metod správného usuzování při řešení konkrétních problémů studovaného oboru.
|
|
Předpoklady
|
nespecifikováno
|
|
Hodnoticí metody a kritéria
|
Písemná zkouška
Zápočet - aktivní účast. Zkouška - soubor úloh, z nichž je nutné správně vyřešit alespoň 50%.
|
|
Doporučená literatura
|
-
ČECHÁK, V.; BERKA, K.; ZAPLETAL. I. Co víte o moderní logice. Praha, 1981.
-
HROMEK, P. Logika v příkladech. Olomouc, 2002.
-
SOCHOR, A. Klasická matematická logika. Praha, 2001.
-
ŠTĚPÁN, J. Klasická logika. Olomouc, 2003.
-
TARSKI, A. Úvod do logiky a metodologie deduktivních věd.
|