Course detail

Seminar of Mathematical Structures

FIT-SMTAcad. year: 2017/2018

Item has no anotation.

Supervisor

prof. Ing. Tomáš Vojnar, Ph.D.

Department

Department of Intelligent Systems (UITS)

Learning outcomes of the course unit

Item has no knowledges.

Prerequisites

There are no prerequisites

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

Výuka není kontrolována.

Language of instruction

Czech

Work placements

Not applicable.

Course curriculum

    Aims

    Item has no goals.

    Specification of controlled education, way of implementation and compensation for absences

    There are no checked study.

    Classification of course in study plans

    • Programme IT-MGR-2 Master's

      branch MBI , any year of study, winter semester, 2 credits, elective
      branch MPV , any year of study, winter semester, 2 credits, elective
      branch MGM , any year of study, winter semester, 2 credits, elective
      branch MSK , any year of study, winter semester, 2 credits, elective
      branch MIS , any year of study, winter semester, 2 credits, elective
      branch MBS , any year of study, winter semester, 2 credits, elective
      branch MMI , any year of study, winter semester, 2 credits, elective
      branch MMM , any year of study, winter semester, 2 credits, elective
      branch MIN , 1. year of study, winter semester, 2 credits, elective

    eLearning

    eLearning: currently opened course