Course details

Seminar of Mathematical Structures

SMT Acad. year 2015/2016 Winter semester 2 credits

Current academic year

Item has no anotation.

Guarantor

Vojnar Tomáš, prof. Ing., Ph.D. (DITS)

Language of instruction

Czech

Completion

Credit

Time span

  • 26 hrs exercises

Department

Department of Intelligent Systems (UITS)

Subject specific learning outcomes and competences

Item has no knowledges.

Learning objectives

Item has no goals.

Prerequisite knowledge and skills

There are no prerequisites

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
  • Biggs, N.L.: Discrete Mathematics, Oxford Science Publications, 1999, ISBN 0198534272

Syllabus of seminars

Progress assessment

Výuka není kontrolována.

Controlled instruction

There are no checked study.

Back to top