Předmět Úvod do matematiky (KMA / UDM)
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 / UDM - Úvod do matematiky, 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
1. Úvod do matematické logiky.2. Úvod do logické analýzy jazyka.3. Výroková logika.4. Složené výroky.5. Formální výstavba výrokové logiky.6. Formule.7. Odvozování formulí výrokové logiky.8. Predikátová logika.9. Kvantifikátory.10. Množiny a třídy.11. Booleova algebra.12. Kombinatorika.13. Relace.
Získané způsobilosti
PorozuměníAplikacePorozumět matematické logice.Aplikovat matematickou logiku v matematice i v běžné praxi.
Literatura
M. Závodný. Úvod do matematiky. Olomouc, 2009. J. Rachůnek. Logika. Skriptum UP Olomouc, 1986. P. Jirků, J. Vejnarová. Logika - Neformální výklad základů formální logiky. Praha, 2000.
Požadavky
Zápočet: napsat dvě zápočtové písemky a z každé získat alespoň polovinu bodů.
Garant
doc. Mgr. Karel Pastor, Ph.D.
Vyučující
RNDr. Miloslav ZávodnýRNDr. Miloslav Závodný