Předmět Matematická logika (FP-VmlP)
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 FP-VmlP - Matematická logika, Fakulta podnikatelská, Vysoké učení technické v Brně (VUT).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
Cílem předmětu je seznámit studenty se základními metodami uvažování v matematice. Studenti by si měli osvojit obecné principy predikátové logiky a získat tak schopnost přesného matematického uvažování a vyjadřování. Také by se měli naučit pracovat s některými dalšími důležitými formálními teoriemi využívanými v matematice a informatice.
Osnova
Není specifikováno.
Literatura
E.Mendelson, Introduction to Mathematical Logic, Chapman&Hall, 200... (EN)J.Rachůnek, Logika, skriptum PřF UP Olomouc, 1986 (CS)J. Rachůnek, Logika, skriptum PřF UP Olomouc, 1986 (CS)A. Nerode, R.A. Shore, Logic for Applications, Springer-Verlag 199... (EN)Vítězslav Švejnar, Logika - neúplnost,složitost a nutnost, Academi... (CS)G. Metakides, A. Nerode, Principles of logic and logic programming... (EN)
Požadavky
Předpokládá se znalost předmětů Obecná algebra a Metody diskrétní matematiky z balkalářského studia.
Garant
prof. RNDr. Josef Šlapal, CSc.
Vyučující
prof. RNDr. Josef Šlapal, CSc.