Course details

Mathematical Structures in Computer Science

MAT Acad. year 2016/2017 Winter semester 5 credits

Current academic year

Guarantor

Šlapal Josef, prof. RNDr., CSc. (IM DAAG)

Language of instruction

Czech, English

Completion

Examination (written)

Time span

Assessment points

  • 80 pts final exam (40 pts written part, 40 pts test part)
  • 20 pts mid-term test (10 pts written part, 10 pts test part)

Department

Dept. of Algebra and Discrete Mathematics (ÚM OAAG)

Study literature

  • 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

Fundamental literature

  • 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

Course inclusion in study plans

Back to top