Course detail
Seminar of Mathematical Structures
FIT-SMTAcad. year: 2019/2020
Not applicable.
Supervisor
Department
Learning outcomes of the course unit
Not applicable.
Prerequisites
Not applicable.
Co-requisites
Not applicable.
Recommended optional programme components
Not applicable.
Recommended or required reading
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
Mendelson, E.: Introduction to Mathematical Logic, Chapman Hall, 1997, ISBN 0412808307
Biggs, N.L.: Discrete Mathematics, Oxford Science Publications, 1999, ISBN 0198534272
Planned learning activities and teaching methods
Not applicable.
Assesment methods and criteria linked to learning outcomes
Not applicable.
Language of instruction
Czech
Work placements
Not applicable.
Aims
Not applicable.
Classification of course in study plans
- Programme IT-MGR-2 Master's
branch MMI , any year of study, winter semester, 2 credits, elective
branch MBI , 1. year of study, winter semester, 2 credits, elective
branch MPV , 1. year of study, winter semester, 2 credits, elective
branch MGM , 1. year of study, winter semester, 2 credits, elective
branch MSK , 1. year of study, winter semester, 2 credits, elective
branch MIS , 1. year of study, winter semester, 2 credits, elective
branch MBS , 1. year of study, winter semester, 2 credits, elective
branch MIN , 1. year of study, winter semester, 2 credits, elective
branch MMM , 1. year of study, winter semester, 2 credits, elective