Бондарь Евгения Алексеевна: Билеты по курсам

Последнее изменение: 15/01/2026 06:42:12

Алгебра и геометрия (ФИИТ 1 курс)

Вопросы к экзамену (зимняя сессия)

  1. Линейные операции с векторами трехмерного пространства. Свойства линейных операций.
  2. Базис трехмерного пространства. Разложение вектора по базису. Координаты вектора.
  3. Скалярное произведение в трехмерном пространстве. Свойства скалярного произведения. Скалярное произведение в координатах.
  4. Векторное и смешанное произведения в трехмерном пространстве. Теорема о смешанном произведении.
  5. Свойства векторного произведения. Векторное и смешанное произведения в координатах.
  6. Типы уравнений прямой на плоскости (с выводом).
  7. Взаимное расположение двух прямых на плоскости. Расположение точек относительно прямой.
  8. Типы уравнений плоскости (с выводом).
  9. Взаимное расположение двух плоскостей. Расположение точек относительно плоскости.
  10. Прямая в пространстве. Общее и каноническое уравнения прямой.
  11. Взаимное расположение двух прямых в пространстве. Взаимное расположение прямой и плоскости.
  12. Основные метрические задачи на прямую и плоскость. Расстояние от точки до прямой (на плоскости и в пространстве). Расстояние от точки до плоскости. Расстояние между скрещивающимися прямыми. Угол между прямыми. Угол между плоскостями. Угол между прямой и плоскостью.
  13. Конструкция поля комплексных чисел.
  14. Сопряженные комплексные числа. Модуль и аргумент комплексного числа. Тригонометрическая форма записи комплексного числа. Умножение и деление комплексных чисел в тригонометрической форме. Показательная форма записи комплексного числа.
  15. Формула Муавра. Извлечение корня из комплексного числа. Корни из единицы и их свойства.
  16. Аксиомы линейного пространства. Линейная зависимость. Лемма о правом крайнем.
  17. Системы образующих и базисы. Теорема о существовании базиса.
  18. Теорема о равномощности базисов. Размерность пространства. Теорема о продолжении.
  19. Подпространства. Действия с подпространствами. Размерность суммы двух подпространств. Прямые суммы.
  20. Линейные операторы. Операции над линейными операторами. Матрица линейного оператора. Связь между действиями над операторами и действиями над матрицами.
  21. Ядро и образ линейного оператора. Теорема о сумме ранга и дефекта. Алгоритм одновременного вычисления ядра и образа.
  22. Ранг матрицы. Теорема о ранге.
  23. Системы линейных уравнений. Теорема Кронекера-Капелли.
  24. Умножение операторов и матриц. Обратный оператор. Линейность оператора, обратного к линейному. Алгоритм вычисления обратной матрицы.
  25. Однородные системы линейных уравнений. Теорема о размерности пространства решений однородной системы. Фундаментальная система решений и алгоритм ее построения.
  26. Аксиомы евклидовых и унитарных пространства. Длина вектора. Неравенство Коши–Буняковского.
  27. Ортогональные системы. Процесс ортогонализации Грама–Шмидта. Ортонормированный базис.
  28. Ортогональное дополнение подпространства. Ортогональные разложения.

Литература

  1. А. И. Мальцев. Основы линейной алгебры
  2. Д. К. Фаддеев. Лекции по алгебре
  3. А.И. Кострикин Введение в алгебру
  4. Александров Лекции по аналитической геометрии

Летняя сессия (предварительный список)

  1. Псевдорешения несовместных систем линейных уравнений. Метод наименьших квадратов.
  2. Основные понятия теории делимости. Отношение ассоциированности. Деление многочленов с остатком. # Теорема о наибольшем общем делителе. Алгоритм Евклида.
  3. Существование и однозначность разложения на неразложимые множители в кольце многочленов над полем.
  4. Поле частных области. Разложение рациональных дробей на простейшие дроби.
  5. Лемма Гаусса и ее следствия.
  6. Однозначность разложения на неприводимые многочлены в кольце многочленов над областью с однозначным разложением.
  7. Неприводимые многочлены с целыми коэффициентами. Критерий Эйзенштейна. Алгоритм Кронекера.
  8. Неприводимые многочлены над полями вычетов
  9. Теорема Безу. Корни многочлена. Кратные корни. Число корней многочлена n-й степени.
  10. Формальная производная многочлена. Отделение кратных множителей.
  11. Поле разложения многочлена. Конечные поля.
  12. Симметрические многочлены. Формулы Виета. Основная теорема о симметрических многочленах.
  13. Лемма о модуле старшего члена. Основная теорема алгебры комплексных чисел. Классификация неприводимых многочленов над полями комплексных и действительных чисел. 14. Изменение матрицы при замене базиса.
  14. Собственные векторы и собственные значения линейного оператора. Характеристический многочлен линейного оператора.
  15. Предложение о линейной независимости собственных векторов, принадлежащих различным собственным значениям. Признак диагонализируемости линейного оператора.
  16. Линейные функционалы. Теорема о строении линейного функционала на унитарном (евклидовом) пространстве.
  17. Сопряженный оператор. Линейность сопряженного оператора. Свойства операции сопряжения. Матрица сопряженного оператора
  18. Теорема Фредгольма.
  19. Нормальный оператор. Ортогональность собственных векторов, принадлежащих различным собственным значениям нормального оператора. Теорема о строении нормального оператора на унитарном пространстве.
  20. Теорема о строении нормального оператора на евклидовом пространстве.
  21. Унитарный (ортогональный) оператор. Матрица унитарного (ортогонального) оператора. Характеризация унитарного (ортогонального) оператора как движения.
  22. Теорема о строении унитарного (ортогонального) оператора на унитарном (евклидовом) пространстве. # Самосопряженный оператор. Матрица самосопряженного оператора. Теорема о строении самосопряженного оператора.
  23. Неотрицательные самосопряженные операторы. Квадратные корни из неотрицательных самосопряженных операторов.
  24. Полярное разложение оператора наунитарном (евклидовом) пространстве.
  25. Сингулярные числа и их применения. Теорема Эккарта–Янга.
  26. Псевдообратный оператор. Нормальное псевдорешение несовместной системы линейных уравнений.
  27. Инвариантные подпространства. Разложение Фиттинга.
  28. Корневые подпространства. Теорема о корневом разложении. Алгоритм построения базиса корневого подпространства.
  29. Минимальный многочлен линейного оператора. Теорема о минимальном многочлене. Гамильтона–Кэли. Критерий диагонализируемости линейного оператора.
  30. Жорданов базис нильпотентного оператора.
  31. Нормальная форма Жордана. Матричная форма теоремы Жордана. Единственность жордановой формы. Критерий подобия матриц.
  32. Квадратичные формы. Приведение квадратичной формы к каноническому виду.
  33. Закон инерции действительных квадратичных форм.
  34. Положительно определенные квадратичные формы. Критерий Сильвестра.
  35. Классификация плоских квадрик.
  36. Классификация пространственных квадрик.

Математическая логика (предварительный список)

Формулы логики высказываний. Законы логики высказываний.

  1. Теорема о ДНФ, КНФ, алгоритмы приведения.
  2. Логическое следствие. Теоремы о логическом следствии.
  3. Метод резолюций для логики высказываний. Теорема о полноте
  4. Формулы логики предикатов. Интерпретация.
  5. Законы логики предикатов.
  6. Предваренная нормальная форма. Теорема о ПНФ.
  7. Скулемовская стандартная форма+теорема.
  8. Подстановка и унификация. Алгоритм унификации
  9. Теорема об унификации
  10. Метод резолюций для логики предикатов (склейка, резольвента, пример из планиметрии)
  11. Эрбранонвский универсум. Эрбрановский базис. Лемма про $I^*$
  12. Эрбрановская интерпретация. Теорема о противоречивости множества и $H$-интерпретации
  13. Семантические деревья. Теорема о семантическом дереве.
  14. Теорема Эрбрана для логики предикатов
  15. Стратегия вычеркивания. Алгоритм поглощения
  16. Семантическая резолюция, клэш-метод. Гиперрезолюция
  17. Дедуктивный поиск ответов на вопросы. Вопросы класса А, B (примеры)
  18. Дедуктивный поиск ответов на вопросы. Вопросы класса С, задача про обезьяну и банан.
  19. Модифицированный примитивный вывод: жизненный дизъюнкт, модифицированная (примитивная) резольвента.

Смотрите также: