- •Программа государственного экзамена по специальности «Компьютерная безопасность»
- •Раздел 1. Математический анализ
- •Раздел 2. Теория функий комплексного переменного
- •Раздел 3. Дифференциальные уравнения
- •Раздел 4. Теория вероятностей и математическая статистика
- •Раздел 5. Алгебра
- •Раздел 6. Математическая логика и теория алгоритмов
- •Раздел 7. Теория информации и кодирования
- •Раздел 9. Теоретические основы компьютерной безопасности
- •Раздел 10. Криптографические методы защиты информации
- •Раздел 8. Методы программирования
Раздел 5. Алгебра
Ранг матрицы над полем, способы его вычисления. Ранг произведения матриц. Обратная матрица и способы ее вычисления.
Кольца вычетов. Малая теорема Ферма. Сравнения первой степени. Китайская теорема об остатках.
Кольцо многочленов над кольцом с единицей. Делимость многочленов с остатком. Теорема Безу.
Делимость многочленов над полем. Наибольший общий делитель (НОД) и наименьшее общее кратное многочленов. Взаимно простые многочлены и их свойства. Неприводимые многочлены и их свойства. Каноническое разложение многочлена и его однозначность.
Группы и их основные свойства. Смежные классы по подгруппе, теорема Лагранжа. Циклические группы. Конечные абелевы группы.
Подстановки конечных множеств, их четность. Разложение подстановок в произведение независимых циклов.
Векторные пространства над полем, их базисы и размерность. Координаты векторов в базисе и их изменение при переходе к другому базису. Свойства конечномерных векторных пространств. Подпространства векторного пространства, операции над ними. Размерности суммы и пересечения подпространств.
Транзитивные и примитивные группы подстановок. Сопряженность подстановок в симметрической группе, уравнения Коши.
Системы образующих групп. Понятия свободной группы. Подгруппы свободных групп.
Примеры системы образующих элементов симметрической и знакопеременной групп подстановок, оценки длины групп относительно этих систем образующих. Описание групп подстановок, порождаемых наборами транспозиций.
Нормальные делители группы. Факторгруппа, теорема об эпиморфизме.
Конечные поля, характеристика поля, число элементов, теорема о примитивном элементе. Существование поля с заданным примарным числом элементов. Описание подполей.
Неприводимые многочлены над конечными полями. Существование неприводимых многочленов данной степени над конечным полем. Построение конечного поля с заданным числом элементов.
Линейные рекуррентные последовательности (ЛРП) над полем. Характеристический многочлен. Семейства ЛРП. Минимальный многочлен, способы его нахождения.
Периодические последовательности и ЛРП. Нахождение периодов многочленов и ЛРП над конечными полями. Многочлены и ЛРП максимального периода над GF(q).
Раздел 6. Математическая логика и теория алгоритмов
Булевы функции. Представление булевых функций формулами алгебры высказываний и многочленами Жегалкина.
Псевдобулевы функции и их представление рядами Фурье.
Замкнутые классы функций. Критерии полноты для булевых функций.
Основные подходы к формализации понятия алгоритма: машины Тьюринга, рекурсивные функции, нормальные алгоритмы Маркова.
Понятие сложности алгоритма. Классы сложности.
Дискретное преобразование Фурье и его связь с задачами вычисления значений и интерполяции многочленов. Алгоритм быстрого преобразования Фурье (БПФ).
Раздел 7. Теория информации и кодирования
Понятие энтропии, свойства энтропии. Теоремы Шеннона о пропускной способности канала связи.
Линейный код и способы его задания. Число линейных (n,k)-кодов. Процесс декодирования линейного кода.
