This course is deepens students knowledge from bases of discrete mathematics. Purpose of this course – to create theoretical foundation for the formalization methods of the programmatic engineering. Examined calculations of expressions and predicates as formal theories; methods of the formal leading to; discrete probability and methods of leadingout in the probabilistic systems; resolution of matrix equalizations.

Course plan:
audience studies - 72 hrs.
individual work - 54 hrs.
total - 126 hrs.
semester - 6th
form of control - exam.