Основная профессиональная образовательная программа высшего образования

Тема 10. Сложностная классификация переборных задач
Класс задач, детерминировано решаемых с полиномиальной сложностью. Класс задач, решаемых с полиномиальной сложностью на недетерминированной машине Тьюринга. Полиномиальная сводимость. NP-полные и NP-трудные задачи.
Тема 11. Теория алгоритмов и задачи использования ЭВМ
Вычислительные возможности современных ЭВМ. Модель ЭВМ - машина произвольного доступа (МПД).МПД - вычислимые функции и их связь с частично рекурсивными функциями.
3.2. Тематика практических занятий
Тема 1. Алгебра высказываний и алгебра предикатов.
Тема 2. Булевы функции и их обобщение.
Тема 3. Исчисление высказываний.
Тема 4. Исчисление предикатов.
Тема 5. Метод резолюции.
Тема 6. Элементы теории алгоритмов.
Тема 7. Алгоритмическая разрешимость и неразрешимость.
Тема 8. Сложность алгоритмов и вычислений.
Тема 9. Методы построения эффективных алгоритмов.
Тема 10. Сложностная классификация переборных задач.
Тема 11. Теория алгоритмов и задачи использования ЭВМ.

Трудоёмкость (з.е. / часы)	Курс “Математической логики и теории алгоритмов” изучается в 4 семестре 6 ЗЕТ / 216 часов.
Форма итогового контроля знаний	зачёт с оценкой

Аннотация учебной дисциплины

Учебная дисциплина «МЕТОДЫ И АЛГОРИТМЫ ГЕНЕРАЦИИ ГИПЕРЭЛЛИПТИЧЕСКИХ КРИВЫХ ДЛЯ КРИПТОГРАФИИ»
Цель изучения дисциплины