От экзаменующихся требуется: знание материала, предусмотренного в общей части и соответствующем специальном разделе; умение кратко изложить содержание работы, представленной в качестве реферата, и владение всем кругом вопросов связанных с узкой областью, к которой относится реферат.
Общая часть
- Непрерывные функции одной переменной и их свойства. Равномерная непрерывность. Равностепенная непрерывность семейства функций. Теорема Арцела.
- Функции многих переменных. Полный дифференциал и его геометрический смысл. Достаточные условия дифференцируемости. Градиент.
- Определённый интеграл. Интегрируемость непрерывной функции. Первообразная непрерывной функции. Приближенное вычисление определённых интегралов. Формулы трапеций и Симпсона, оценки погрешностей. Понятие о методе Гаусса.
- Числовые ряды. Сходимость рядов. Критерий сходимости Коши. Достаточные признаки сходимости (Коши, Даламбера, интегральный, Лейбница).
- Абсолютная и условная сходимость ряда. Свойства абсолютно сходящихся рядов. Перестановка членов ряда. Теорема Римана. Умножение рядов.
- Ряды и последовательности функций. Равномерная сходимость. Признак Вейерштрасса. Свойства равномерно сходящихся рядов (непрерывность суммы, почленное интегрирование и дифференцирование).
- Собственные и несобственные интегралы зависящие от параметра. Равномерная сходимость по параметрам и её признаки. Непрерывность, интегрирование и дифференцирование интегралов по параметру.
- Мера множества. Измеримые функции. Интеграл Лебега и его основные свойства.
- Степенные ряды в действительной и комплексной области. Радиус сходимости. Теорема Коши-Адамара. Теорема Абеля. Свойства степенных рядов (почленное интегрирование и дифференцирование). Разложение элементарных функций.
- Функции комплексного переменного. Условия Коши-Римана. Геометрический смысл аргумента и модуля производной.
- Элементарные функции комплексного переменного (степенная, экспонента, рациональная) и даваемые ими конформные отображения. Простейшие многозначные функции (квадратный корень, логарифм).
- Теорема Коши об интеграле по замкнутому контуру. Интеграл Коши. Ряд Тейлора.
- Ряд Лорана. Полюс и существенно особая точка. Вычеты. Основная теорема о вычетах и её применение.
- Линейные преобразования. Квадратичные формы. Приведение их к каноническому виду линейными преобразованиями в комплексной и действительной областях. Закон инерции.
- Линейная зависимость и независимость векторов. Ранг матрицы. Системы линейных алгебраических уравнений, теорема Кронекера-Капели. Общее решение системы линейных алгебраических уравнений.
- Ортогональные преобразования в евклидовом пространстве и ортогональные матрицы. Свойства ортогональных матриц.
- Характеристический многочлен линейного преобразования векторного пространства. Собственные числа и собственные векторы. Свойства собственных чисел и векторов симметрических матриц. Понятие о методе ортогональных вращений решения полной проблемы собственных значений.
- Итерационные методы решения уравнений f(x) = 0 (хорд, Ньютона). Принцип сжатых отображений в полных метрических пространствах и его применение.
- Линейные операторы, норма линейного оператора. Итерационные методы решения систем линейных алгебраических уравнений (методы простой итерации и Зейделя).
- Гильбертово пространство. Линейные и билинейные функционалы в гильбертовом пространстве. Линейные уравнения с вполне непрерывным оператором.
- Интегральные уравнения Фредгольма 2-го рода. Теоремы Фредгольма. Интегральные уравнения с симметричным ядром.
- Ортогональные системы функций. Ряды Фурье по ортогональной системе функций. Ряды Фурье по ортогональной системе функций, неравенство Бесселя, сходимость ряда Фурье. Достаточные условия равномерной сходимости рядов Фурье по тригонометрической системе функций. Влияние гладкости функции на порядок коэффициентов Фурье.
- Теоремы существования и единственности решения задачи Коши для уравнения, системы уравнений первого порядка и уравнения n-го порядка.
- Линейные дифференциальные уравнения n-го порядка. Линейное однородное уравнение. Линейная независимость функций. Фундаментальная система решений. Определитель Вронского. Общее решение неоднородного уравнения.
- Линейные обыкновенные дифференциальные уравнения с постоянными коэффициентами (однородные и неоднородные).
- Устойчивость по Ляпунову решений обыкновенных дифференциальных уравнений. Теорема об устойчивости по первому приближению. Второй метод Ляпунова.
- Простейшая задача вариационного исчисления. Уравнений Эйлера. Вариационная задача с подвижными концами. Условия трансверсальности.
- Градиентные методы поиска экстремума.
- Формализация понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова). Алгоритмическая неразрешимость.
- Структура и состав вычислительной системы (аппаратура и программное обеспечение).
- Основные компоненты архитектуры ЭВМ (процессор, устройства памяти, внешние устройства).
- Операционные системы, основные функции. Типы операционных систем.
- Парадигмы программирования (функциональное, императивное, объектно-ориентированное программирование).
- Базы данных. Основные понятия реляционной модели данных. Реляционная алгебра. Средства языка запросов SQL.
- Функции алгебры логики. Реализация их формулами. Совершенная дизъюнктивная нормальная форма.
- Схемы из функциональных элементов и простейшие алгоритмы их синтеза. Оценка сложности схем, получаемых по методу Шеннона.
Литература
- Ильин В.А., Позняк Э.Г. Основы математического анализа. ч I и ч.II.
- Кудрявцев Л.Д. Математический анализ. ч I, II.
- Александров П.С. Лекции по аналитической геометрии.
- Воеводин В.В. Линейная алгебра
- Привалов И.И. Введение в теорию функций комплексного переменного.
- Свешников А.Г., Тихонов А.Н. Теория функций комплексной переменной.
- Гельфанд И.М. Лекции по линейной алгебре.
- Курош А.Г. Курс высшей алгебры.
- Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа.
- Шилов Г.Е. Введение в теорию линейных пространств.
- Понтрягин Л.С. Обыкновенные дифференциальные уравнения.
- Степанов В.В. Курс дифференциальных уравнений.
- Петровский И.Г. Лекции по обыкновенным дифференциальным уравнениям.
- Эльсгольц Л.Э. Дифференциальные уравнения и вариационное исчисление.
- Тихонов А.Н., Самарский А.А. Уравнения математической физики.
- Соболев С.Л. Уравнения математической физики.
- Петровский И.Г. Лекции по уравнениям в частных производных.
- Березин И.С., Жидков Н.П. Методы вычислений, т. I и II.
- Бахвалов Н.С. Численные методы.
- Самарский А.А. Введение в теорию разностных схем.
- В. Феллер. Введение в теорию вероятностей и её приложения. т I и II.
- Крамер Г. Математические методы статистики.
- Яблонский С.В. Методические разработки по курсу "Элементы дискретной математики". Ротапринт.
- Лупанов О.Б. О синтезе некоторых классов управляющих систем. "Проблемы кибернетики", вып. 10, стр. 63-97.
- Журавлев Ю.И. Теоретико-множественные методы в алгебре логики. "Проблемы кибернетики", вып. 8, стр. 5-43.
- Мальцев А.И. Вычислимые функции.
- С.Карлин. Математические методы в теории игр, программировании и экономике.
- Васильев Ф.П. Лекции по методам решения экстремальных задач.
- Гермейер Ю.Б. Введение в теорию исследования операций.
- Алгоритмический язык АЛГОЛ-60. Пересмотренное сообщение. "Мир", 1965.
- А. Флорес. Организация вычислительных машин, 1972.
- Хомский Н. Формальные свойства грамматик. Кибернетический сборник, 1966, вып. 2.
- Гусев, Смирнова. Языки, грамматики и абстрактные модели. (обзор). Автоматика и телемеханика, № 4, 5. 1968.
- Б. Рендел, Л. Рассел. Реализация Алгол-60, 1967.
- Лавров С.С., Гончарова Л.И. Автоматическая обработка данных, 1971.
- Языки программирования (сборник) "Мир", 1972.
- К. Джермейн. Программирование на ЭВМ/360, 1973.
- Любимский Э.З., Мартынюк В.В., Трифонов Н.П. Программирование. М.: Наука, 1988.
- Абрамов В.Г., Трифонов Н.П., Трифонова Г.Н. Введение в язык Паскаль. М.: Наука, 1988.
- Пратт Т., Зелкович М. Языки программирования. Питер, 2002.
- Столингс У. Операционные системы. Вильямс, 2002.
- Яблонский С.В. Введение в дискретную математику. М.: Наука, 1986.
- Дейт К. Введение в системы БД. Вильямс, 2001.
- Хакамер К., Вранешич З., Заки С. Организация ЭВМ. Питер, 2003.
- Танненбаум Э. Архитектура компьютера. Питер, 2002.
Дополнительная часть
Специальности 01.01.02, 01.01.07
- Численное решение обыкновенных дифференциальных уравнений. Способ Адамса; оценка погрешности и сходимость метода Адамса на примере метода Эйлера. Понятие о методе Рунге-Кутта.
- Классификация линейных уравнений в частных производных 2-го порядка с двумя независимыми переменными. Основные виды краевых задач для различных типов уравнений. Понятие о корректности постановки краевых задач. Пример Адамара.
- Основные понятия теории разностных схем для линейных уравнений в частных производных: сходимость, устойчивость, аппроксимация. Простейшая разностная схема решения задачи Дирихле для уравнения Пуассона.
- 1-я краевая задача для уравнения теплопроводности, её физический смысл. Исследование простейших разностных схем для этой задачи.
Специальность 05.13.18
- Математические модели, приводящие к обыкновенным дифференциальным уравнениям. Задача Коши и краевая задача. Численные методы решения обыкновенных дифференциальных уравнений.
- Задачи, приводящие к уравнениям гиперболического, параболического и эллиптического типов. Математические постановки основных задач для этих уравнений.
- Понятие корректности постановки краевых задач для уравнений математической физики. Пример Адамара. Некорректно поставленные задачи, метод регуляризации.
- Основные понятия теории разностных схем: сходимость, устойчивость, аппроксимация. Принцип консервативности при построении разностных уравнений. Разностные схемы для уравнения теплопроводности.
Дополнение к списку литературы:
- Тихонов А.Н., Арсенин В.Я. Методы решения некорректных задач. М. Наука, 1986.
- Тихонов А.Н., Самарский А.А. Уравнения математической физики. М. Наука, 1982.
- Владимиров В.В. Уравнения математической физики.
- Самарский А.А. Теория разностных схем. М. Наука, 1978.