Předmět Úvod do matematiky (KMA / UM)
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 / UM - Ú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, úsudky, úvod do logické analýzy jazyka.2. Výroková logika, výroky, logické spojky.3. Složené výroky, rozhodovací tabulky.4. Formální výstavba výrokové logiky, syntaxe, formule, formy jejich zápisu.5. Množiny formulí, konjunktivní a disjunktivní forma, dualita.6. Odvozování formulí výrokové logiky, axiomy, důkazy.7. Úvod do predikátové logiky, jazyk predikátové logiky.8. Kvantifikátory, pravidla jejich použití.9. Sémantika predikátové logiky, axiomy.10. Úvod do teorie množin, třídy, jazyk teorie tříd.11. Booleova algebra, relace mezi matematickou logikou a teorií tříd.12. Elementy kombinatoriky.
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
RNDr. Miloslav Závodný
Vyučující
RNDr. Miloslav ZávodnýRNDr. Miloslav Závodný