Государственное образовательное учреждение высшего профессионального образования «Архангельский государственный технический университет» Институт информационных технологий Кафедра прикладной математики УТВЕРЖДАЮ проректор по учебной работе ______________________ И.И. Иванкин «________»_______________________2009 г. Программа государственного экзамена Направление подготовки 230400 «Прикладная математика» Специальность 230401.65 «Прикладная математика» Архангельск 2009 Дискретная математика 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. Аксиоматика теории вероятностей. Аксиомы событий. Аксиомы вероятностей. Следствия из аксиом. 29. Основные теоремы теории вероятностей: теорема сложения и теорема умножения вероятностей. Вероятность хотя бы одного события. Формула полной вероятности и формула Байеса. 30. Вероятность событий при повторных независимых испытаниях. Формулы Бернулли, Лапласа, Пуассона. 31. Законы распределения дискретных и непрерывных случайных величин. Числовые характеристики законов распределения. 32. Закон больших чисел. Неравенства Чебышева. Теорема Чебышева. Теорема Бернулли. 33. Способы получения и графической интерпретации статистического распределения выборки. Основные выборочные характеристики распределения и выборочные законы распределения. 34. Статистические оценки параметров распределения. Точечная и интервальная оценки неизвестной числовой характеристики генеральной совокупности. Нахождение доверительного интервала для оценки неизвестной числовой характеристики на примере известного закона распределения (для одной из числовых характеристик). 35. Статистическая проверка статистических гипотез. Основные этапы метода. Проверка гипотезы о значимости выборочного коэффициента корреляции. 36. Корреляционно-регрессионный анализ. Отыскание выборочного уравнения прямой регрессии. Выборочный коэффициент корреляции и корреляционное отношение. Математическое моделирование 37. Симплексный метод решения задач линейного программирования. 38. Понятие двойственности. Построение пары взаимно двойственных задач. 39. Первая теорема двойственности и ее экономическое содержание. 40. Вторая теорема двойственности. Условия дополняющей нежесткости. 41. Третья теорема двойственности. Экономический смысл объективно обусловленных оценок. 42. Целочисленное программирование. Методы решения задач целочисленного программирования. Метод Гомори. 43. Транспортная задача. Модель транспортной задачи. Методы построения начального опорного плана. Метод потенциалов. 44. Модели нелинейного программирования (выпуклого программирования). Градиентные методы. 45. Графоаналитическое решение задач нелинейного программирования. 46. Геометрическая интерпретация и графическое решение задачи линейного программирования. Дифференциальные уравнения в частных производных 47. Вывод уравнения теплопроводности для стержня. 48. Вывод уравнения колебаний для однородной струны. 49. Вывод уравнения колебаний однородного стержня. 50. Метод Фурье решения уравнения колебаний. 51. Метод сеток решения смешанной задачи для уравнений гиперболического типа. 52. Теорема единственности решения смешанной задачи для уравнений гиперболического типа. 53. Теорема единственности решения задачи коши для уравнения колебаний струны. 54. Использование преобразований Фурье для решения задачи Коши о распространении тепла в бесконечном стержне. 55. Первая и вторая формул Грина. 56. Гармонические функции. Теорема о максимуме и минимуме. Программу составили: Заведующая кафедрой прикладной математики Доцент кафедры прикладной математики Старший преподаватель кафедры прикладной математики Старший преподаватель кафедры математики Сабурова Н. Ю. Томашевский И.Л. Шишова А.В. Бородкина Т.А. Программа рассмотрена на заседании кафедры прикладной математики, протокол № 15 от ноября 2009 г. Заведующая кафедрой прикладной математики Сабурова Н. Ю.