Федеральное государственное автономное образовательное учреждение высшего профессионального образования «МОСКОВСКИЙ ФИЗИКО-ТЕХНИЧЕСКИЙ ИНСТИТУТ (государственный университет)» УТВЕРЖДАЮ Проректор по учебной работе _______________О.А.Горшков «____»______________ 2014 г. ФАКУЛЬТЕТ ИННОВАЦИЙ И ВЫСОКИХ ТЕХНОЛОГИЙ КАФЕДРА АЛГОРИТМОВ И ТЕХНОЛОГИЙ ПРОГРАММИРОВАНИЯ ПРОГРАММА вступительных испытаний поступающих на обучение по программам подготовки научно-педагогических кадров в аспирантуре по специальной дисциплине НАПРАВЛЕНИЕ ПОДГОТОВКИ: 09.06.01 Информатика и вычислительная техника НАПРАВЛЕННОСТЬ: 05.13.01 Системный анализ, управление и обработка информации Форма проведения вступительных испытаний. Вступительные испытания проводятся в устной форме. Для подготовки ответов поступающий использует экзаменационные листы. ЗАВ.КАФЕДРОЙ (подпись) “ “ 2014 года. Ройтберг М.А. (фамилия) _______ А. Математика Алгебра 1.1 Подстановки. Определение подстановки, четность подстановок. Произведение подстановок, разложение подстановок в произведение транспозиций и независимых циклов. 1.2. Комплексные числа. Геометрическое изображение, алгебраическая и тригонометрическая форма записи, извлечение корней, корни из единицы. 1.3. Системы линейных уравнений. Прямоугольные матрицы. Приведение матриц и систем линейных уравнений к ступенчатому виду. Метод Гаусса. 1.4. Линейная зависимость и ранг. Линейная зависимость строк (столбцов). Основная лемма о линейной зависимости, базис и ранг системы строк (столбцов). Ранг матрицы. Критерий совместности и определенности системы линейных уравнений в терминах рангов матриц. Фундаментальная система решений однородной системы линейных уравнений. 1.5. Определители. Определитель квадратной матрицы, его основные свойства. Критерий равенства определителя нулю. Формула разложения определителя матрицы по строке (столбцу). 1.6. Операции над матрицами. Операции над матрицами и их свойства. Теорема о ранге произведения двух матриц. Определитель произведения квадратных матриц. Обратная матрица, ее явный вид (формула), способ выражения с помощью элементарных преобразований строк. 1.7. Векторные пространства; базис. Векторное пространство, его базис и размерность. Преобразования координат в векторном пространстве. Подпространства как множества решений систем однородных линейных уравнений. Связь между размерностями суммы и пересечения двух подпространств. Линейная независимость подпространств. Базис и размерность прямой суммы подпространств. 1.8. Линейные отображения и линейные операторы. Линейные отображения, их запись в координатах. Образ и ядро линейного отображения, связь между их размерностями. Сопряженное пространство и сопряженные базисы. Изменение матрицы линейного оператора при переходе к другому базису. 1.9. Билинейные и квадратичные функции. Билинейные функции, их запись в координатах. Изменение матрицы билинейной функции при переходе к другому базису. Ортогональное дополнение к подпространству относительно симметрической билинейной функции. Связь между симметрическими билинейными и квадратичными функциями. Существование ортогонального базиса для симметрической билинейной функции. Нормальный вид вещественной квадратичной функции. Закон инерции. 1.10. Собственные векторы и собственные значения. Собственные векторы и собственные значения линейного оператора. Собственные подпространства линейного оператора, их линейная независимость. Условие диагонализируемости оператора. Математический анализ 2.1. Пределы и непрерывность. Пределы последовательностей и функций. Непрерывные функции. 2.2. Ряды. Числовые и функциональные ряды. Признаки сходимости (Даламбера, Коши, интегральный, Лейбница). Абсолютно и условно сходящиеся ряды. 2.3. Дифференцирование. Дифференцирование функций. Применение производной для нахождения экстремумов функций. Формула Тейлора. 2.4. Интегрирование. Определенный и неопределенный интегралы. Методы интегрирования функций. Первообразные различных элементарных функций. 2.5. Обыкновенные дифференциальные уравнения. Задача Коши. Теория вероятностей и математическая статистика 3.1. Основные понятия теории вероятностей. Определение вероятностного пространства, простейшие дискретные случаи (выборки с порядком и без него, упорядоченные и неупорядоченные), классическая вероятностная модель. 3.2Условные вероятности. Определение условной вероятности, формула полной вероятности, формула Байеса. Независимость событий. Попарная независимость и независимость в совокупности. 3.3. Случайная величина. Функция распределения. Плотность. Математическое ожидание, дисперсия, корреляция. Определение математического ожидания, дисперсии, ковариации и корреляции, их свойства. 3.4. Основные теоремы теории вероятностей. Неравенство Чебышева. Закон больших чисел. Центральная предельная теорема. 3.5. Дискретные марковские цепи. Эргодическая теорема. 3.6. Распределения. Стандартные дискретные и непрерывные распределения, их математические ожидания, дисперсии и свойства: биномиальное, равномерное, нормальное, пуассоновское, показательное, геометрическое. 3.7. Гауссовские, стационарные и марковские случайные процессы, случайные функции с ортогональными и независимыми приращениями. Винеровский процесс. 3.8. Вероятностная модель эксперимента с бесконечным числом событий. Аксиоматика Колмогорова. Разные виды сходимости случайных величин. 3.9. Выборки. Точечные оценки параметров, их свойства: несмещенность, состоятельность, асимптотическая нормальность. Выборочные среднее, медиана, дисперсия. Доверительные интервалы. Случайное блуждание. Вероятности разорения и средняя продолжительность при игре с бросанием монеты. Принцип отражения. Закон арксинуса. 3.10. Статистические гипотезы. Ошибки первого и второго рода. Сравнение критериев. Равномерно наиболее мощные критерии. Лемма Неймана-Пирсона. Мартингалы. Определение. Примеры мартингалов. Определение момента остановки. Тождества Вальда. Б. Информатика Комбинаторика, математическая логика, основы теории множеств и дискретной математики. 1.1. Основные правила комбинаторики. Правило подсчета количества комбинаторных объектов. Принцип Дирихле. Сочетания. Размещения, перестановки и сочетания. Бином Ньютона. Треугольник Паскаля. Сочетания с повторениями. 1.2. Графы, вершины, ребра. Ориентированные и неориентированные графы. Путь в графе. Вес ребра, вес пути. Деревья. 1.3. Множества. Подмножества. Операции на множествах, тождества. Круги Эйлера, Формула включений и исключений. Мощность множества. Счетные множества и их свойства. 1.4. Булевы функции и пропозициональные формы. Конъюнктивная и дизъюнктивная нормальная форма. Тавтологии. 1.5. Языки первого порядка. Правила построения формул. Модель (интерпретация). Истинность формулы в модели. Общезначимые формулы первого порядка. Аксиомы и правила вывода. 1.6. Модели вычислений. Машина Тьюринга. Вычислимые функции. Вычислимые и перечислимые множества, теоретико-множественные операции над ними. 1.7. Детерминированный конечный автомат. Конфигурация автомата, начальная конфигурация; такт автомата; допуск слова автоматом; язык, определяемый автоматом; граф переходов автомата. Неетерминированный конечный автомат. Эквивалентность НКА и ДКА (доказательство). 1.8. Регулярные выражения и регулярные языки. Конечные автоматы (finite state automata). Совпадение классов автоматных и регулярных языков (теорема Клини). 1.9. Иерархия грамматик Хомского. Нормальная форма Хомского. Алгоритм устранения εправил. Алгоритм устранения цепных правил. Алгоритм преобразования грамматики к нормальной форме Хомского. Алгоритмы разбора контекстно-свободных грамматик. 1.10. Лямбда-исчисление и композициональная семантика. Программирование и структуры данных Предполагается владение одним из основных языков программирования, предпочтительным является C/C++ 2.1. Простейшие конструкции языка программирования. Циклы, ветвления, рекурсия. 2.2. Простейшие структуры данных. Массивы, стеки, очереди, связные списки. Сравнение временных затрат при различных типах операций. 2.3. Строки и операции над ними. Представление строк. Вычисление длины, конка-тенация, быстрый поиск подстрок. 2.4. Объектно-ориентированное программирование. Классы. Перегрузка операторов. Шаблонные функции и классы. 2.5. Массивы и указатели. Динамические массивы. Класс vector. 2.6. Функции. Указатели на функции. 2.7. Стандартная библиотека C++ (контейнеры, алгоритмы, итераторы). 2.8. Указатели. Указатели и динамическое управление памятью. Алгоритмы 3.1. Анализ алгоритмов. Понятие о сложности по времени и по памяти. Асимптотика, О-символика. Инварианты, пред- и пост- условия. Доказательство корректности алгоритмов. Классы сложности P и NP. NP-полнота. 3.2. Сортировки. Нижняя теоретико-информационная оценка сложности задачи сортировки. Алгоритмы сортировки вставками, пузырьком, быстрая сортировка, сортировка слиянием. Оценка сложности. 3.3. Двоичная куча и сортировка кучей (HeapSort). Сортировка подсчетом, цифровая сортировка. Доказательство нижней оценки времени работы сортировки сравнением. Деревья поиска. Сбалансированные деревья, оценка высоты. АВЛ-дерево. Дерево отрезков. 3.4. Динамическое программирование. Вычисление кратчайшего пути в ациклическом ориентированном графе. Подсчет количества путей. 3.5 Обход в глубину. Компоненты сильной связности. Алгоритм Тарьяна. Поиск кратчайших путей в графе. Алгоритм Дейкстры. Алгоритм А*. Алгоритм Форда-Беллмана. Алгоритм Флойда. 3.6. Потоки в сетях. Теорема Форда-Фалкерсона. Алгоритм Эдмондса-Карпа (б/д). 3.7. Скрытая марковская модель. Алгоритм Витерби. Применение скрытой марковской модели в задачах обработки текстов. 3.8. Основные понятия теории обучения машин. Алгоритмические композиции. Бустинг, беггинг, RSM. Теорема о сходимости алгоритма AdaBoost. Методы отбора признаков в задачах машинного обучения. Понятие переобученности алгоритма. Приемы, позволяющие снизить переобученность. 3.9. Логическая классификация, понятие логической закономерности. Бинаризация признаков, выделение информативных зон значений признаков. 3.10. Решающие деревья. Жадный алгоритм обучения решающих деревьев. Постредукция и прередукция решающих деревьев. Литература Кострикин А.И. Введение в алгебру, 1977, Наука. Кострикин А.И. Введение в алгебру, ч. I,II, 2000, Физматлит. Курош А.Г. Курс высшей алгебры, 1975, Наука. Винберг Э.Б. Курс алгебры, 1999, 2001, Факториал. Архипов Г. И., Садовничий В. А., Чубариков В. Н. Лекции по мат. анализу. Изд-во Университет, 1999. Зорич В. А. Математический анализ. Часть I. М.: Наука, 1981. 544 с. Часть II. М.: Наука, 1984. 640 с. Кудрявцев, Л.Д., Курс математического анализа (в трех томах). Т.1. Дифференциальное и интегральное исчисления функций одной переменной. Т.2. Ряды. Дифференциальное и интегральное исчисления функций многих переменных. Т. 3. Гармонический анализ. Москва, Изд-во Высшая школа, 1981. 10. Демидович, Б. П., Сборник задач и упражнений по математическому анализу. Изд-во АСТ, 2007. 11. Арнольд В.И., Обыкновенные дифференциальные уравнения. Изд-во Регулярная и хаотическая динамика, 2000. 12. Гнеденко, Б. В. Курс теории вероятностей, УРСС. М.: 2001. 13. Гнеденко Б. В., Хинчин А. Я. Элементарное введение в теорию вероятностей, 1970. 14. Ширяев, А. Н. Вероятность, Наука. М.: 1989. 15. Севастьянов Б. А., Курс теории вероятностей и математической статистики, 16. Ҹ М.: Наука, 1982. 17. Севастьянов, Б. А., Чистяков, В. П., Зубков, А. М. Сборник задач по теории вероятностей, М.: Наука, 1986. 18. Виленкин Н.Я. Комбинаторика. М., Наука, 1969. 19. С.А. Генкин, И.В. Итенберг, Д.В. Фомин. Ленинградские математические круж20. ки, 1994. 21. Э.Мендельсон. Элементы математической логики. М., Наука, 1971. 22. Н.К.Верещагин, А.Шень. Начала теории множеств. М., МЦНМО, 2012. 23. Н.К.Верещагин, А.Шень. Языки и исчисления. М., МЦНМО, 2012. 24. Н.К.Верещагин, А.Шень. Вычислимые функции. М., МЦНМО, 2012. 25. Ф. Харари, Теория графов, Москва, Мир, 1973. 26. Райгородский, А.М., А.В. Савватеев, И.Д. Шкредов, Комбинаторика (методическое пособие для факультета биоинженерии и биоинформатики МГУ), Москва, МАКСПРЕСС, 2005. 27. Вирт Н. Алгоритмы и структуры данных. Изд-во Невский диалект, 2005. 28. Керниган Б., Ритчи Д. Язык программирования С. Изд-во Вильямс, 2008. 29. http://en.wikipedia.org/wiki/Code_Complete 30. http://en.wikipedia.org/wiki/Design_Patterns 31. Шень А. Программирование: теоремы и задачи. МЦМНО, 2007. 32. http://en.wikipedia.org/wiki/Introduction_to_Algorithms 33. http://www.informit.com/store/product.aspx?isbn=0321334876 34. Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К. Алгоритмы: построение и анализ, 35. 2-е издание. - М. Издательский дом Вильямс, 2005. 36. Ахо А., Хопкрофт Д., Ульман Д. Построение и анализ вычислительных алгоритмов. М.: Мир, 1999. 37. Гнеденко, Б.В. Курс теории вероятностей, Москва, Физматлит, 1961. 38. А. Натан, О. Горбачев, С.А. Гуз. Основы теории случайных процессов. М.: МЗ-Пресс, 2003. 39. Б.М. Миллер, А.Р. Панков. Случайные процессы в примерах и задачах. М.: Издательство МАИ, 2001. 1. 2. 3. 4. 5. 6. 7. 8. 9. 40. Hastie, Tibshirani and Friedman (2008). The Elements of Statistical Learning (2nd edition) (2008). Springer-Verlag 41. Воронцов К. В. Математические методы обучения по прецедентам. 2012. http://www.machinelearning.ru/wiki/index.php?title=Машинное_обучение_(курс_лекций,_К .В.Воронцов). 42. Мерков А. Б. Распознавание образов. Введение в методы статистического обучения. Едиториал УРСС. 2011.