Course detail

Advanced Mathematics

FIT-IAMAcad. year: 2017/2018

Item has no anotation.

Language of instruction

Czech

Number of ECTS credits

5

Mode of study

Not applicable.

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

Not applicable.

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.

Basic literature

A.R. Bradley, Z. Manna. The Calculus of Computation. Springer, 2007.
D. P. Bertsekas, J. N. Tsitsiklis. Introduction to Probability, Athena Scientific, 2008.
M. Huth, M. Ryan. Logic in Computer Science. Modelling and Reasoning about Systems. Cambridge University Press, 2004.

Recommended reading

R. Smullyan. First-Order Logic. Dover, 1995.

Classification of course in study plans

  • Programme IT-BC-3 Bachelor's

    branch BIT , 2. year of study, summer semester, elective

Type of course unit

 

Lecture

26 hours, optionally

Teacher / Lecturer

Fundamentals seminar

18 hours, compulsory

Teacher / Lecturer

Exercise in computer lab

8 hours, optionally

Teacher / Lecturer