Předmět Matematická logika (FSI-SML)
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 FSI-SML - Matematická logika, Fakulta strojního inženýrství, 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, 2001J.Rachůnek, Logika, skriptum PřF UP Olomouc, 1986J.Rachůnek, Logika, skriptum PřF UP Olomouc, 1986A. Nerode, R.A. Shore, Logic for Applications, Springer-Verlag 1993 Vítězslav Švejnar, Logika - neúplnost,složitost a nutnost, Academia Praha, 2002G. Metakides, A. Nerode, Principles of logic and logic programming, Elsevier, 1996
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.