Předmět Matematické důkazy a jejich struktura (KMA / MDS)
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 KMA / MDS - Matematické důkazy a jejich struktura, Přírodovědecká 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
- o matematice, větách a důkazech- výroková logika- predikátová logika- axiomatické systémy a formální důkaz- typy důkazů: přímý důkaz, důkaz sporem, důkaz matematickou indukcí- některé důkazové vzory (důkazy existence, jednoznačnosti,...)
Získané způsobilosti
PorozuměníPorozumět pojmu matematický důkaz.
Literatura
Bělohlávek R., Vychodil V. (2004). Diskrétní matematika pro informatiky II. UP Olomouc. Velleman. (2006). How to prove it. Canbridge University Press. Bělohlávek R., Vychodil V. (2004). Diskrétní matematika pro informatiky I. UP Olomouc. Thiele, R., Schwabik, Š., & Kufner, A. (1986). Matematické důkazy. Praha: Státní nakladatelství technické literatury. Garnier, R., & Taylor, J. (1996). 100% mathematical proof. Chichester: John Wiley and Sons.
Požadavky
Vypracování seminární práce
Garant
RNDr. Jan Tomeček, Ph.D.