Detail předmětu
Matematické struktury v informatice
Garant předmětu
Šlapal Josef, prof. RNDr., CSc. (ÚM OAAG)
Jazyk výuky
česky, anglicky
Zakončení
zkouška (písemná)
Rozsah
Bodové hodnocení
- 80 bodů závěrečná zkouška (40 bodů písemná část, 40 bodů testová část)
- 20 bodů půlsemestrální test (10 bodů písemná část, 10 bodů testová část)
Zajišťuje ústav
ÚM-odbor algebry a diskrétní matematiky (ÚM OAAG)
Literatura studijní
- Birkhoff, G., MacLane, S.: Aplikovaná algebra, Alfa, Bratislava, 1981
- Procházka, L.: Algebra, Academia, Praha, 1990
- Lang, S.: Undergraduate Algebra, Springer-Verlag, New York - Berlin - Heidelberg, 1990, ISBN 038797279
- Polimeni, A.D., Straight, H.J.: Foundations of Discrete Mathematics, Brooks/Cole Publ. Comp., Pacific Grove, 1990, ISBN 053412402X
- Shoham, Y.: Reasoning about Change, MIT Press, Cambridge, 1988, ISBN 0262192691
- Van der Waerden, B.L.: Algebra I, II, Springer-Verlag, Berlin - Heidelberg - New York, 1971, Algebra I. ISBN 0387406247, Algebra II. ISBN 0387406255
- Nerode, A., Shore, R.A.: Logic for Applications, Springer-Verlag, 1993, ISBN 0387941290
Literatura referenční
- Mendelson, E.: Introduction to Mathematical Logic, Chapman Hall, 1997, ISBN 0412808307
- Cameron, P.J.: Sets, Logic and Categories, Springer-Verlag, 2000, ISBN 1852330562
- Biggs, N.L.: Discrete Mathematics, Oxford Science Publications, 1999, ISBN 0198534272
Zařazení předmětu ve studijních plánech