Программа аспирантского экзамена МГУ 01.01.06 — различия между версиями

Материал из Вики ИТ мехмата ЮФУ
Перейти к: навигация, поиск
(Новая: Ниже приводится программа вступительного экзамена в аспирантуру МГУ по специальности «Математика»<r...)
 
(Дополнительные вопросы по математической логике)
 
(не показаны 3 промежуточные версии 1 участника)
Строка 3: Строка 3:
  
 
== Общая часть ==
 
== Общая часть ==
# Непрерывность функций одной и многих переменных, свойства непрерывных, функций. Полный дифференциал и его геометрический смысл. Достаточные условия дифференцируемости. Градиент.
+
* '''Математический анализ'''
# Определенный интеграл. Интегрируемость непрерывной функции.
+
*# Непрерывность функций одной и многих переменных, свойства непрерывных, функций. Полный дифференциал и его геометрический смысл. Достаточные условия дифференцируемости. Градиент.
# Понятие метрического пространства, полные метрические пространства, компактность. Теорема Больцано—Вейерштрасса. Принцип сходимости Коши.
+
*# Определенный интеграл. Интегрируемость непрерывной функции.
# Функции с ограниченным изменением. Мера в смысле Лебега. Теорема Д. Ф. Егорова. С-свойства. Абсолютно непрерывные функции.
+
*# Понятие метрического пространства, полные метрические пространства, компактность. Теорема Больцано—Вейерштрасса. Принцип сходимости Коши.
# Суммируемые функции. Интеграл Лебега и его основные свойства. Гильбертовы пространства. Изоморфизм <math>L^2</math> и <math>l^2</math> . Сходимость в среднем.
+
*# Функции с ограниченным изменением. Мера в смысле Лебега. Теорема Д. Ф. Егорова. С-свойства. Абсолютно непрерывные функции.
# Интегральные уравнения Фредгольма. Теоремы Фредгольма.
+
*# Суммируемые функции. Интеграл Лебега и его основные свойства. Гильбертовы пространства. Изоморфизм <math>L^2</math> и <math>l^2</math> . Сходимость в среднем.
# Ортогональные системы функций. Неравенство Бесселя, условие полноты. Ряды Фурье. Сходимость рядов Фурье.<br /><h4>Линейная алгебра</h4>
+
*# Интегральные уравнения Фредгольма. Теоремы Фредгольма.
# Линейные пространства, их подпространства. Базис, размерность. Теорема о ранге матрицы. Системы линейных уравнений. Геометрическая интерпретация системы линейных уравнений. Фундаментальная система решений системы однородных линейных уравнений. Теорема Кронекера—Капелли.
+
*# Ортогональные системы функций. Неравенство Бесселя, условие полноты. Ряды Фурье. Сходимость рядов Фурье.
# Билинейные и квадратичные функции и формы в линейных пространствах, их матрицы. Приведение к нормальному виду. Закон инерции.
+
* '''Линейная алгебра'''
# Линейные отображения и преобразования линейного пространства, их задания матрицами. Характеристический многочлен. Собственные векторы и собственные значения, связь последних с характеристическими корнями. Приведение матрицы, линейного оператора к жордановой форме.
+
*# Линейные пространства, их подпространства. Базис, размерность. Теорема о ранге матрицы. Системы линейных уравнений. Геометрическая интерпретация системы линейных уравнений. Фундаментальная система решений системы однородных линейных уравнений. Теорема Кронекера—Капелли.
# Евклидово пространство. Ортонормированные базисы. Ортогональные матрицы. Ортогональные и самосопряженные преобразования, приведение квадратичной формы к главным осям.
+
*# Билинейные и квадратичные функции и формы в линейных пространствах, их матрицы. Приведение к нормальному виду. Закон инерции.
# Аффинная и метрическая классификация кривых и поверхностей 2-го порядка. Проективная классификация линий 2-го порядка.
+
*# Линейные отображения и преобразования линейного пространства, их задания матрицами. Характеристический многочлен. Собственные векторы и собственные значения, связь последних с характеристическими корнями. Приведение матрицы линейного оператора к жордановой форме.
# Группы. Подгруппы. Порядок элемента. Циклические группы. Фактор-группа. Теорема о гомоморфизмах.<br /><h4>Дифференциальные уравнения</h4>
+
*# Евклидово пространство. Ортонормированные базисы. Ортогональные матрицы. Ортогональные и самосопряженные преобразования, приведение квадратичной формы к главным осям.
# Дифференциальное уравнение первого порядка. Теорема о существований и единственности решения.
+
*# Аффинная и метрическая классификация кривых и поверхностей 2-го порядка. Проективная классификация линий 2-го порядка.
# Линейные уравнения с постоянными коэффициента: однородные и неоднородные.
+
*# Группы. Подгруппы. Порядок элемента. Циклические группы. Фактор-группа. Теорема о гомоморфизмах.
# Линейные уравнения в частных производных второго порядка. Их классификация. Задача Дирихле для уравнения Лапласа. Задача Коши для уравнения струны. Первая краевая задача и задача Коши для уравнения теплопроводности.<br /><h4>Теория функций комплексного переменного</h4>
+
* '''Дифференциальные уравнения'''
# Функции комплексного переменного. Условия Коши-Римана. Геометрический смысл аргумента и модуля производной.
+
*# Дифференциальное уравнение первого порядка. Теорема о существований и единственности решения.
# Элементарные функции комплексного переменного и даваемые ими конформные отображения. Простейшие многозначные функции. Дробно-линейные преобразования.
+
*# Линейные уравнения с постоянными коэффициента: однородные и неоднородные.
# Теорема Коши об интеграле по замкнутому контуру. Интеграл Коши. Ряд Тейлора. Аналитическое продолжение.
+
*# Линейные уравнения в частных производных второго порядка. Их классификация. Задача Дирихле для уравнения Лапласа. Задача Коши для уравнения струны. Первая краевая задача и задача Коши для уравнения теплопроводности.
# Ряд Лорана. Полюс и существенно особая точка. Вычеты.
+
* '''Теория функций комплексного переменного'''
# Аналитическая функция в целом. Римановы поверхности.<br /><h4>Дифференциальная геометрия</h4>
+
*# Функции комплексного переменного. Условия Коши-Римана. Геометрический смысл аргумента и модуля производной.
# Неявные функции. Существование, непрерывность и дифференцируемость неявных функций. Криволинейные координаты на многообразии.
+
*# Элементарные функции комплексного переменного и даваемые ими конформные отображения. Простейшие многозначные функции. Дробно-линейные преобразования.
# Первая квадратичная форма поверхности. Вторая квадратичная форма поверхности. Нормальная кривизна линии на поверхности. Теорема Менье. Геодезическая кривизна. Геодезические линии. Главные направления и главные кривизны. Формула Эйлера. Гауссова кривизна поверхности.
+
*# Теорема Коши об интеграле по замкнутому контуру. Интеграл Коши. Ряд Тейлора. Аналитическое продолжение.
# Понятие топологического пространства. Понятие топологического и гладкого многообразия. Основы римановой геометрии и тензорного анализа (аффинная связность, ковариантное дифференцирование, тензор кривизны).<br /><h4>Вариационное исчисление</h4>
+
*# Ряд Лорана. Полюс и существенно особая точка. Вычеты.
# Понятие о простейшей проблеме вариационного исчисления. Уравнение Эйлера-Лагранжа. Геодезические линии.
+
*# Аналитическая функция в целом. Римановы поверхности.
# Дифференциальные формы на многообразиях. Общая теорема Стокса. Следствия для векторных полей в трехмерном пространстве. Дивергенция. Вихрь.
+
* '''Дифференциальная геометрия'''
 +
*# Неявные функции. Существование, непрерывность и дифференцируемость неявных функций. Криволинейные координаты на многообразии.
 +
*# Первая квадратичная форма поверхности. Вторая квадратичная форма поверхности. Нормальная кривизна линии на поверхности. Теорема Менье. Геодезическая кривизна. Геодезические линии. Главные направления и главные кривизны. Формула Эйлера. Гауссова кривизна поверхности.
 +
*# Понятие топологического пространства. Понятие топологического и гладкого многообразия. Основы римановой геометрии и тензорного анализа (аффинная связность, ковариантное дифференцирование, тензор кривизны).
 +
* '''Вариационное исчисление'''
 +
*# Понятие о простейшей проблеме вариационного исчисления. Уравнение Эйлера-Лагранжа. Геодезические линии.
 +
*# Дифференциальные формы на многообразиях. Общая теорема Стокса. Следствия для векторных полей в трехмерном пространстве. Дивергенция. Вихрь.
  
 
== Специальная часть ==
 
== Специальная часть ==
Строка 50: Строка 56:
 
# Язык логики высказываний. Булевы функции. Исчисление высказываний, его непротиворечивость и полнота.
 
# Язык логики высказываний. Булевы функции. Исчисление высказываний, его непротиворечивость и полнота.
 
# Интуиционистская логика высказываний. Теорема Крипке о полноте.
 
# Интуиционистская логика высказываний. Теорема Крипке о полноте.
# Язык логики первого порядка. Интерпретации, модели. Теорема компактности, теорема Левенгейма—Сколема. Исчисление первого порядка, его непротиворечивость. Теорема о полноте. Нестандартные модели арифметики.
+
# Язык логики первого порядка. Интерпретации, модели. Теорема компактности, теорема Лёвенгейма—Сколема. Исчисление первого порядка, его непротиворечивость. Теорема о полноте. Нестандартные модели арифметики.
 
# Теории первого порядка, их полнота, категоричность.
 
# Теории первого порядка, их полнота, категоричность.
 
# Вполне упорядоченные множества. Аксиома выбора. Континуум-гипотеза. Парадоксы наивной теории множеств. Аксиоматическая теория множеств.
 
# Вполне упорядоченные множества. Аксиома выбора. Континуум-гипотеза. Парадоксы наивной теории множеств. Аксиоматическая теория множеств.

Текущая версия на 10:16, 9 февраля 2009

Ниже приводится программа вступительного экзамена в аспирантуру МГУ по специальности «Математика»[1]. Специальная часть соответствует аспирантской специальности 01.01.06 «Математическая логика, алгебра и теория чисел».


Общая часть

  • Математический анализ
    1. Непрерывность функций одной и многих переменных, свойства непрерывных, функций. Полный дифференциал и его геометрический смысл. Достаточные условия дифференцируемости. Градиент.
    2. Определенный интеграл. Интегрируемость непрерывной функции.
    3. Понятие метрического пространства, полные метрические пространства, компактность. Теорема Больцано—Вейерштрасса. Принцип сходимости Коши.
    4. Функции с ограниченным изменением. Мера в смысле Лебега. Теорема Д. Ф. Егорова. С-свойства. Абсолютно непрерывные функции.
    5. Суммируемые функции. Интеграл Лебега и его основные свойства. Гильбертовы пространства. Изоморфизм <math>L^2</math> и <math>l^2</math> . Сходимость в среднем.
    6. Интегральные уравнения Фредгольма. Теоремы Фредгольма.
    7. Ортогональные системы функций. Неравенство Бесселя, условие полноты. Ряды Фурье. Сходимость рядов Фурье.
  • Линейная алгебра
    1. Линейные пространства, их подпространства. Базис, размерность. Теорема о ранге матрицы. Системы линейных уравнений. Геометрическая интерпретация системы линейных уравнений. Фундаментальная система решений системы однородных линейных уравнений. Теорема Кронекера—Капелли.
    2. Билинейные и квадратичные функции и формы в линейных пространствах, их матрицы. Приведение к нормальному виду. Закон инерции.
    3. Линейные отображения и преобразования линейного пространства, их задания матрицами. Характеристический многочлен. Собственные векторы и собственные значения, связь последних с характеристическими корнями. Приведение матрицы линейного оператора к жордановой форме.
    4. Евклидово пространство. Ортонормированные базисы. Ортогональные матрицы. Ортогональные и самосопряженные преобразования, приведение квадратичной формы к главным осям.
    5. Аффинная и метрическая классификация кривых и поверхностей 2-го порядка. Проективная классификация линий 2-го порядка.
    6. Группы. Подгруппы. Порядок элемента. Циклические группы. Фактор-группа. Теорема о гомоморфизмах.
  • Дифференциальные уравнения
    1. Дифференциальное уравнение первого порядка. Теорема о существований и единственности решения.
    2. Линейные уравнения с постоянными коэффициента: однородные и неоднородные.
    3. Линейные уравнения в частных производных второго порядка. Их классификация. Задача Дирихле для уравнения Лапласа. Задача Коши для уравнения струны. Первая краевая задача и задача Коши для уравнения теплопроводности.
  • Теория функций комплексного переменного
    1. Функции комплексного переменного. Условия Коши-Римана. Геометрический смысл аргумента и модуля производной.
    2. Элементарные функции комплексного переменного и даваемые ими конформные отображения. Простейшие многозначные функции. Дробно-линейные преобразования.
    3. Теорема Коши об интеграле по замкнутому контуру. Интеграл Коши. Ряд Тейлора. Аналитическое продолжение.
    4. Ряд Лорана. Полюс и существенно особая точка. Вычеты.
    5. Аналитическая функция в целом. Римановы поверхности.
  • Дифференциальная геометрия
    1. Неявные функции. Существование, непрерывность и дифференцируемость неявных функций. Криволинейные координаты на многообразии.
    2. Первая квадратичная форма поверхности. Вторая квадратичная форма поверхности. Нормальная кривизна линии на поверхности. Теорема Менье. Геодезическая кривизна. Геодезические линии. Главные направления и главные кривизны. Формула Эйлера. Гауссова кривизна поверхности.
    3. Понятие топологического пространства. Понятие топологического и гладкого многообразия. Основы римановой геометрии и тензорного анализа (аффинная связность, ковариантное дифференцирование, тензор кривизны).
  • Вариационное исчисление
    1. Понятие о простейшей проблеме вариационного исчисления. Уравнение Эйлера-Лагранжа. Геодезические линии.
    2. Дифференциальные формы на многообразиях. Общая теорема Стокса. Следствия для векторных полей в трехмерном пространстве. Дивергенция. Вихрь.

Специальная часть

Вопросы по алгебре

  1. Классы сопряженных элементов. Центр и коммутант группы, Разрешимые группы. Теоремы Силова.
  2. Представления групп. Лемма Шура. Теорема Машке.
  3. Характеры представлений. Определяемость представления своим характером.
  4. Строение полупростых конечномерных алгебр. Приложения к теории представлений конечных групп.
  5. Конечно порожденные модули над кольцом главных идеалов. Приложения к конечным абелевым группам и теории жордановой формы.
  6. Задание группы образующими и определяющими соотношениями.
  7. Поля алгебраических чисел.
  8. Конечные поля.
  9. Нётеровы кольца. Теорема Гильберта о базисе.

Дополнительные вопросы по теории чисел

  1. Важнейшие арифметические функции. Теория делимости. Сравнения. Сравнения с одной неизвестной. Сравнения второй степени. Квадратичный закон взаимности. Первообразные корни и индексы (И. М. Виноградов, «Основы теории чисел», Наука, 1977).
  2. На экзамене поступающему в аспирантуру по специальности «Теория чисел», будут предложены вопросы о его работах по теории чисел, прослушанных специальных курсах и прочитанной им литературе по теории чисел.

Дополнительные вопросы по математической логике

  1. Язык логики высказываний. Булевы функции. Исчисление высказываний, его непротиворечивость и полнота.
  2. Интуиционистская логика высказываний. Теорема Крипке о полноте.
  3. Язык логики первого порядка. Интерпретации, модели. Теорема компактности, теорема Лёвенгейма—Сколема. Исчисление первого порядка, его непротиворечивость. Теорема о полноте. Нестандартные модели арифметики.
  4. Теории первого порядка, их полнота, категоричность.
  5. Вполне упорядоченные множества. Аксиома выбора. Континуум-гипотеза. Парадоксы наивной теории множеств. Аксиоматическая теория множеств.
  6. Общее понятие алгоритма. Вариант формализации понятия алгоритма. Универсальный алгоритм. Вычислимые функции, перечислимые и разрешимые множества. Пример перечислимого неразрешимого множества. Неразрешимые алгоритмические проблемы. Теорема Райса.
  7. Примеры разрешимых логических теорий.
  8. Теоремы Геделя о неполноте. Неразрешимость формальной арифметики. Теорема Тарского о невыразимости арифметической истинности в арифметике. Теорема Черча о неразрешимости логики предикатов.
  9. Конкретные сложности и вычислимости. Теорема об ускорении. Теорема об иерархии. Сложность (энтропия) конечных объектов.

См. также

Экзаменационные программы ИТ

Примечания

  1. Печатная версия размещена на сайте кафедры Высшей алгебры МГУ.