|
Vyučující
|
-
Dofková Radka, doc. PhDr. Ph.D.
-
Zdráhal Tomáš, doc. RNDr. CSc.
|
|
Obsah předmětu
|
V kurzu se buduje predikátový kalkul (kvantifikátory, formule, tautologie) a dále pojem matematická teorie (jazyk, axiómy, věty, definice, důkazy matematických vět).
|
|
Studijní aktivity a metody výuky
|
|
Monologická (výklad, přednáška, instruktáž)
|
|
Výstupy z učení
|
Navazuje se na výrokový počet a buduje se predikátový kalkul (kvantifikátory, formule, tautologie) a dále pojem matematická teorie (jazyk, axiómy, věty, definice, důkazy matematických vět).
|
|
Předpoklady
|
nespecifikováno
|
|
Hodnoticí metody a kritéria
|
Seminární práce
Porozumět matematickým teoriím jako takovým, umět využívat teoretických poznatků o důkazech.
|
|
Doporučená literatura
|
-
BLAŽEK J., VOJTÁŠKOVÁ B. Teorie množin, UJEP Ústí n.L. 1994.
-
KOPECKÝ, M. Základy algebry. Olomouc: VUP 1998. ISBN 80-244-0683-7.
|