Discrete Mathematics 2

2024/2025

Academic Year

RUS

Instruction in Russian

6

ECTS credits

Delivered at:

Big Data and Information Retrieval School

Course type:

Elective course

When:

2 year, 3, 4 module

Instructor

Talambutsa, Alexey

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

Аннотация

Курс посвящен основам теории алгоритмов, теории сложности вычислений и математической логики. Его главные темы – логика первого порядка, абстрактная теория вычислимости, машины Тьюринга как конкретная вычислительная модель, меры сложности вычислений, булевы схемы, сложностные классы P и NP. Курс может служить теоретическим основанием для дальнейшего изучения различных областей информатики, математической логики и алгебры, а также для практической деятельности по разработке и анализу алгоритмов.