Discrete Mathematics

2021/2022

Academic Year

RUS

Instruction in Russian

10

ECTS credits

Delivered at:

Big Data and Information Retrieval School

Course type:

Compulsory course

When:

1 year, 1-4 module

Instructors

Dashkov, Evgeny V.

Kozachinskiy, Alexander

Lukianenko, Nikita

Medved, Nikita

Mokeev, Dmitry B.

Morozenko, Vladimir V.

Хрыстик Михаил Андреевич

Shvarts, Dmitry

Программа дисциплины

Аннотация

Курс знакомит слушателя с основами разделов математики, необходимых для разработки и анализа алгоритмов, но остающихся за рамками традиционных вводных математических курсов. Среди рассматриваемых тем: арифметика остатков, формализм множеств и отношений, частичные порядки, графы, булевы функции и схемы, элементы комбинаторики, формальной логики, теории алгоритмов, функционального программирования. Поскольку курс адресован вчерашним школьникам, особое внимание уделяется знакомству с логико-математическим языком, простейшими приемами доказательств, понятиями индукции и рекурсии.