Předmět Základy výrok. logiky a teorie množin (KMD / 33NZI)
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 KMD / 33NZI - Základy výrok. logiky a teorie množin, Pedagogická fakulta, Ostravská univerzita v Ostravě (OU).
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
Přednášky - tématické okruhy:1) Matematika a její vývoj.2) Intuitivní teorie množin.3) Výroky, výrokové formy.4) Výrokové formule, kvantifikované výroky.5) Vlastnosti množinových operací a množinové inkluze.6) Kartézský součin, binární relace.7) Relace ekvivalence.8) Uspořádání množin.9) Zobrazení množin.Cvičení:1) Pojem množiny, Vennovy diagramy, množinové vztahy.2) Množinové vztahy a operace. Slovní úlohy řešené Vennovými diagramy.3) Výroky, výrokové formy, logické spojky.4) Kvantifikované výroky, obecná kvantifikace, negování výrokových forem.5) Kartézský součin.6) Binární relace.7) Relace ekvivalence.8) Uspořádání množin.9) Relace zobrazení.
Literatura
Novotná, V., Pisklák, B. Matematika ve studiu učitelství 1. stupně ZŠ. Skripta PdF OU Ostrava, 2002. ISBN 80-7042-217-3.Šalát, T., Smítal, J. Teória množín. ALFA/SNTL Praha, 1986. Burian, K. Kapitoly z teorie množin. Skripta PF Ostrava, 1985.
Požadavky
U zkoušky se prověřuje zvládnutí teorie v rozsahu přednášky (viz anotace)a také znalost řešení praktických úloh v rozsahu cvičení k této přednášce. Zkoušku je možno absolvovat pouze po splnění podmínek stanovených vyučujícím (výsledky průběžných testů, vypracování a odevzdání seminárních prací, apod.).
Garant
RNDr. Radek Krpec, Ph.D.
Vyučující
RNDr. Radek Krpec, Ph.D.RNDr. Radek Krpec, Ph.D.