Předmět Vybrané kapitoly z logiky (KMT / VYKLB)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KMT / VYKLB - Vybrané kapitoly z logiky, Pedagogická fakulta, Univerzita Palackého v Olomouci (UP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
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).
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.
Požadavky
Porozumět matematickým teoriím jako takovým, umět využívat teoretických poznatků o důkazech.
Garant
doc. RNDr. Tomáš Zdráhal, CSc.
Vyučující
doc. RNDr. Tomáš Zdráhal, CSc.