MA0001 Základy matematiky

Pedagogická fakulta
podzim 2017
Rozsah
2/2/0. 5 kr. Ukončení: zk.
Vyučující
RNDr. Břetislav Fajmon, Ph.D. (přednášející)
RNDr. Karel Lepka, Dr. (cvičící)
Garance
RNDr. Břetislav Fajmon, Ph.D.
Katedra matematiky – Pedagogická fakulta
Dodavatelské pracoviště: Katedra matematiky – Pedagogická fakulta
Rozvrh
Po 7:30–9:10 učebna 1
  • Rozvrh seminárních/paralelních skupin:
MA0001/01: Út 12:05–13:45 učebna 35, K. Lepka
MA0001/02: St 13:00–14:40 učebna 37, K. Lepka
MA0001/03: Čt 14:50–16:30 učebna 41, B. Fajmon
Předpoklady
Předmět je zaměřen na získání znalostí základních pojmů nutných pro studium navazujících matematických disciplín, dále zopakování a prohloubení některých znalostí ze střední školy.
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
Mateřské obory/plány
Cíle předmětu
Na konci kurzu bude mít student znalost o následujících pojmech: výrok, logické spojky, výroková formule, tautologie, kontradikce, pravdivostní hodnota, výroková forma, kvantifikátory, přímý a nepřímý důkaz, důkaz sporem, důkaz (ne)existence a jednoznačnosti, matematická indukce, množinové vztahy a operace, číselné obory, kongruence podle modulu, horní/dolní závora, maximum, minimum, supremum, infimum, binární relace, zobrazení, injekce, surjekce, bijekce, uspořádané množiny, hasseovský diagram, nejmenší prvek, minimální prvek, relace ekvivalence, rozklady, reálné funkcích reálné proměnné, grafy funkcí, elementární funkce.
Výstupy z učení
Studenti budou po absolvování předmětu znát či umět: a) znalosti základních pojmů matematiky, zejména: je výrok, množina, kartézský součin, relace, operace, zobrazení; b) znalost některých základních typů důkazů a odvozovacích metod v matematice, zejména: důkaz implikace, důkaz ekvivalence, důkaz rovnosti množin, důkaz matematickou indukcí, důkaz sporem; c) znalost základního značení stručného matematického vyjadřování.
Osnova
  • Přednáška:
  • 1. Základy výrokové logiky. Výrok, logické spojky, výroková formule, tautologie, kontradikce, pravdivostní hodnota.
  • 2. Základy predikátové logiky. Výroková forma, kvantifikátory. Přímý a nepřímý důkaz.
  • 3. Důkaz sporem. Důkaz (ne)existence a jednoznačnosti. Matematická indukce.
  • 4. Základy teorie množin. Množinové vztahy a operace, jejich vlastnosti.
  • 5. Číselné obory. Elementární přístup k číslům. Základní vlastnosti čísel. Kongruence podle modulu. Horní/dolní závora, maximum, minimum, supremum, infimum.
  • 6. Binární relace. Vlastnosti relací.
  • 7. Zobrazení. Jejich vlastnosti. Injekce, surjekce, bijekce.
  • 8. Uspořádané množiny. Hasseovský diagram. Nejmenší prvek, minimální prvek atd.
  • 9. Relace ekvivalence. Jejich vlastnosti.
  • 10. Rozklady. Vztahy s relacemi ekvivalence.
  • 11. Základní informace o reálných funkcích reálné proměnné. Vlastnosti funkcí. Grafy.
  • 12. (Základní) elementární funkce, jejich grafy a základní vlastnosti.
  • Cvičení:
  • 1. Logická výstavba matematiky. Úvod do výrokové logiky. Výrok, výroková forma.
  • 2. Složené výroky, kontradikce, tautologie. Kvantifikátory.
  • 3. Princip matematického důkazu. Důkaz přímý, nepřímý a důkaz sporem.
  • 4. Základní poznatky o množinách, množinové operace.
  • 5. Přirozená čísla, princip matematické indukce. Důkaz matematickou indukcí.
  • 6. Celá čísla, dělitelnost, kongruence. Racionální čísla. Reálná čísla, intervaly. Horní a dolní závora, supremum a infimum.
  • 7. Kartézský součin množin, binární relace a její vlastnosti.
  • 8. Zobrazení a jeho vlastnosti. Injekce, surjekce a bijekce. Ekvivalence množin.
  • 9. Relace uspořádání, uspořádané množiny, hasseovský diagram. Minimální a maximální prvek, nejmenší a největší prvek. Lineární uspořádání.
  • 10. Relace ekvivalence, rozklad množin.
  • 11. Reálné funkce jedné reálné proměnné a jejich základní vlastnosti.
  • 12. Elementární funkce a jejich vlastnosti a grafy.
Literatura
    doporučená literatura
  • ODVÁRKO, Oldřich. Matematika pro gymnázia : goniometrie. 2. vyd. Praha: Prometheus, 1995, 127 s. ISBN 8071960004. info
  • ODVÁRKO, Oldřich. Matematika pro gymnázia : funkce. 2. vyd., v Prometheu 1. Praha: Prometheus, 1994, 160 s. ISBN 8085849097. info
  • HORÁK, Pavel. Algebra a teoretická aritmetika. Vyd. 1. Brno: Rektorát UJEP, 1985, 196 s. info
Výukové metody
Budou zvoleny metody adekvátní k obsahu předmětu a typu studentů (1. ročník vysokoškolského studia).
Metody hodnocení
a) Cvičení: Průběžné testy. b) Přednáška teoretická část: průběžné ověřování znalostí během semestru. c) Závěrečná zkouška: písemná.
Informace učitele
Studijní literatura a studijní pomůcky:
Bečvář, J. & kol. (1982). Seznamujeme se s množinami. Praha: SNTL.
Bušek, I., & Calda, E. (2006). Matematika pro gymnázia.
Základní poznatky z matematiky (3. vydání). Praha: Prometheus.
Coufalová, Y. (1985): Cvičení z algebry. Brno: Univerzita Jana Evangelisty Purkyně.
Devlin, K. (2002). Jazyk matematiky. Praha: Argo, Dokořán.
Garner L. E. (1988). Calculus and analytic geometry, Dellen Publ. Comp.
Horák, P. (1991). Algebra a teoretická aritmetika. Brno: Masarykova Univerzita.
Horák, P. (1998). Cvičení z algebry a teoretické aritmetiky. Brno: Masarykova Univerzita.
Novák, V. (2004). Diferenciální počet funkcí jedné reálné proměnné. Brno: Masarykova Univerzita.
Kosmák, L. (1995). Množinová algebra. Brno: Masarykova Univerzita.
Polák, J. (2002). Přehled středoškolské matematiky. 7. vydání. Praha: Prometheus.
Rektorys, K. & kol. (2002). Přehled užité matematiky I. Praha: Prometheus.
Řehák, P. (2016). Základy matematiky. Doplňkový učební text. http://users.math.cas.cz/~rehak/vyuka.html.
Sochor, A. (2011). Logika pro všechny ochotné myslet. Karolinum.
Thiele, R. (1986). Matematické důkazy. Praha: SNTL.
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích podzim 2018, podzim 2019, podzim 2020, podzim 2021, podzim 2022, podzim 2023, podzim 2024.