Специалитет 2022/2023

Математическая логика и теория алгоритмов

Статус: Курс обязательный (Компьютерная безопасность)

Кто читает: Департамент прикладной математики

Где читается: Московский институт электроники и математики им. А.Н. Тихонова

Когда читается: 2-й курс, 3, 4 модуль

Формат изучения: без онлайн-курса

Охват аудитории: для всех кампусов НИУ ВШЭ

Преподаватели: Анашкин Александр Владимирович, Попов Владимир Леонидович

Специальность: 10.05.01. Компьютерная безопасность

Язык: русский

Кредиты: 3

Контактные часы: 64

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

Аннотация

Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются: • получение представления об основных понятиях, методах и результатах теории вычислимости; • получение представления об основных понятиях и методах булевой алгебры; • получение представления об основных понятиях формальных исчислений. Дисциплина реализуется в он-лайн формате