Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Programma_gosudarstvennogo_ekzamena_2015.docx
Скачиваний:
0
Добавлен:
01.07.2025
Размер:
40 Кб
Скачать
☆

Раздел 5. Алгебра

  1. Ранг матрицы над полем, способы его вычисления. Ранг произведения матриц. Обратная матрица и способы ее вычисления.

  2. Кольца вычетов. Малая теорема Ферма. Сравнения первой степени. Китайская теорема об остатках.

  3. Кольцо многочленов над кольцом с единицей. Делимость многочленов с остатком. Теорема Безу.

  4. Делимость многочленов над полем. Наибольший общий делитель (НОД) и наименьшее общее кратное многочленов. Взаимно простые многочлены и их свойства. Неприводимые многочлены и их свойства. Каноническое разложение многочлена и его однозначность.

  5. Группы и их основные свойства. Смежные классы по подгруппе, теорема Лагранжа. Циклические группы. Конечные абелевы группы.

  6. Подстановки конечных множеств, их четность. Разложение подстановок в произведение независимых циклов.

  7. Векторные пространства над полем, их базисы и размерность. Координаты векторов в базисе и их изменение при переходе к другому базису. Свойства конечномерных векторных пространств. Подпространства векторного пространства, операции над ними. Размерности суммы и пересечения подпространств.

  8. Транзитивные и примитивные группы подстановок. Сопряженность подстановок в симметрической группе, уравнения Коши.

  9. Системы образующих групп. Понятия свободной группы. Подгруппы свободных групп.

  10. Примеры системы образующих элементов симметрической и знакопеременной групп подстановок, оценки длины групп относительно этих систем образующих. Описание групп подстановок, порождаемых наборами транспозиций.

  11. Нормальные делители группы. Факторгруппа, теорема об эпиморфизме.

  12. Конечные поля, характеристика поля, число элементов, теорема о примитивном элементе. Существование поля с заданным примарным числом элементов. Описание подполей.

  13. Неприводимые многочлены над конечными полями. Существование неприводимых многочленов данной степени над конечным полем. Построение конечного поля с заданным числом элементов.

  14. Линейные рекуррентные последовательности (ЛРП) над полем. Характеристический многочлен. Семейства ЛРП. Минимальный многочлен, способы его нахождения.

  15. Периодические последовательности и ЛРП. Нахождение периодов многочленов и ЛРП над конечными полями. Многочлены и ЛРП максимального периода над GF(q).

Раздел 6. Математическая логика и теория алгоритмов

  1. Булевы функции. Представление булевых функций формулами алгебры высказываний и многочленами Жегалкина.

  2. Псевдобулевы функции и их представление рядами Фурье.

  3. Замкнутые классы функций. Критерии полноты для булевых функций.

  4. Основные подходы к формализации понятия алгоритма: машины Тьюринга, рекурсивные функции, нормальные алгоритмы Маркова.

  5. Понятие сложности алгоритма. Классы сложности.

  6. Дискретное преобразование Фурье и его связь с задачами вычисления значений и интерполяции многочленов. Алгоритм быстрого преобразования Фурье (БПФ).

Раздел 7. Теория информации и кодирования

  1. Понятие энтропии, свойства энтропии. Теоремы Шеннона о пропускной способности канала связи.

  2. Линейный код и способы его задания. Число линейных (n,k)-кодов. Процесс декодирования линейного кода.