Vyučující
|
-
Kalová Jana, doc. RNDr. Ing. Ph.D.
|
Obsah předmětu
|
Obsah přednášky: Výroková logika, jazyk a jeho sémantika, pravdivostní ohodnocení formulí. Predikátová logika, jazyk a jeho sémantika, formule. Booleova algebra, vlastnosti booleovských spojek a jejich interpretace. Základní pojmy teorie množin, korespondence mezi množinami, kartézský součin, relace a jejich vlastnosti, zobrazení, uspořádané množiny, ekvivalence a rozklady, mohutnost množin. Obsah cvičení: Procvičování probrané látky na příkladech
|
Studijní aktivity a metody výuky
|
Monologická (výklad, přednáška, instruktáž), Dialogická (diskuze, rozhovor, brainstorming), Projekce (statická, dynamická)
- Účast na výuce
- 26 hodin za semestr
- Domácí příprava na výuku
- 40 hodin za semestr
- Příprava na zkoušku
- 20 hodin za semestr
|
Výstupy z učení
|
Cílem předmětu je seznámení posluchačů se základy matematické logiky. Studenti získají přehled o metodách matematické logiky. Znalosti využijí zejména při studiu matematiky a informatiky.
Studenti získají přehled o metodách matematické logiky. Znalosti využijí zejména při studiu matematiky a informatiky.
|
Předpoklady
|
Základní znalost SŠ matematiky.
|
Hodnoticí metody a kritéria
|
Ústní zkouška, Písemná zkouška, Analýza výkonů studenta, Test, Průběžné hodnocení
Zvládnutí učiva v požadovaném rozsahu je ověřeno dvěma průběžnými testy a závěrečným zkouškovým testem. Minimální požadovaná úspěšnost je 50 %.
|
Doporučená literatura
|
-
Kolář, J., Štěpánková, O., Chytil, M. : Logika, algebry a grafy, STNL, Praha, 1989..
-
Štěpánek , P. : Matematická logika, SPN Praha 1982..
-
Švejdar, V. : Logika - neúplnost, složitost a nutnost, Academia, Praha 2002..
-
Demlová, M., Pondělíček, B. Matematická logika. ČVUT, Praha, 1997.
-
Strach, J. Logika. Brno, 2009. ISBN 978-80-210-5025-9.
|