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

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

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

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

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

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

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

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

Преподаватели: Попов Владимир Леонидович, Трифонов Дмитрий Игоревич

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

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

Кредиты: 3

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

Полная версия программы учебной дисциплины

Аннотация

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

Цель освоения дисциплины

Получение представления об основных понятиях, методах и результатах теории вычислимости
Получение представления об основных понятиях и методах булевой алгебры
Получение представления об основных понятиях формальных исчислений

Планируемые результаты обучения

Решает задаче о замкнутости и полноте систем булевых функций
Решает задачи о булевых функциях, их совершенной, сокращенной и тупиковой дизъюнктивной нормальной форме, их полиномах Жегалкина
Решает задачи о вычислимых функциях, включая явное построение вычисляющих их программ
Решает задачи о вычислимых, перечислимых и диофантовых множествах.
Решает задачи о контактных схемах.
Решает задачи о программировании на МНР: о системе команд, их нумерации и о нумерации программ.
Решает задачи о равномощности множеств.
Решает задачи о формальных исчислениях, в том числе об исчислении высказываний