Course detail

Seminar of Mathematical Structures

FIT-SMTAcad. year: 2017/2018

Item has no anotation.

Language of instruction

Czech

Number of ECTS credits

2

Mode of study

Not applicable.

Guarantor

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.

Planned learning activities and teaching methods

Not applicable.

Assesment methods and criteria linked to learning outcomes

Výuka není kontrolována.

Course curriculum

    Work placements

    Not applicable.

    Aims

    Item has no goals.

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

    There are no checked study.

    Recommended optional programme components

    Not applicable.

    Prerequisites and corequisites

    Not applicable.

    Basic literature

    Mendelson, E.: Introduction to Mathematical Logic, Chapman Hall, 1997, ISBN 0412808307 Biggs, N.L.: Discrete Mathematics, Oxford Science Publications, 1999, ISBN 0198534272

    Recommended 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

    Classification of course in study plans

    • Programme IT-MSC-2 Master's

      branch MMI , 0 year of study, winter semester, elective
      branch MBI , 0 year of study, winter semester, elective
      branch MSK , 0 year of study, winter semester, elective
      branch MMM , 0 year of study, winter semester, elective
      branch MBS , 0 year of study, winter semester, elective
      branch MPV , 0 year of study, winter semester, elective
      branch MIS , 0 year of study, winter semester, elective
      branch MIN , 1 year of study, winter semester, elective
      branch MGM , 0 year of study, winter semester, elective