ВМК КГУ  
Неофициальный Сайт Факультета Вычислительной Математики и Кибернетики КГУ
  Главная |  Новости |  Гостевая книга
2 Курс
Диф. Уравнения
Мат. Анализ
Программирование
3 Курс
Мат. Логика
ТВ и МС
Физика
Философия
Гос. Экзамен
Экз. Вопросы
Вопросы Государственного Экзамена

Математический Анализ

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. Линейная зависимость систем n-мерных строк (столбцов).
27. Число n-мерных строк (столбцов) в эквивалентных системах.
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. Линейные уравнения с частными производными 1-го порядка.

Дискретная Математика

55. Функции алгебры логики. Реализация функций алгебры логики формулами. Канонические формы представления функций алгебры логики.
56. Полнота и замкнутость систем функций алгебры логики. Критерий функциональной полноты.
57. Проблема построения минимальных дизъюнктивных нормальных форм и подходы к ее решению.
58. Схемы из функциональных элементов в базисе {И, ИЛИ, НЕ}. Задача построения схем из функциональных элементов и подходы к ее решению. Примеры.
59. Ограниченно-детерминированные (автоматные) функции. Способы задания ограниченно-детерминированных функций.
60. Вычислимые функции. Машины Тьюринга. Тезис Тьюринга-Черча.
61. Графы. Способы задания графов. Геометрическая реализация графов. Примеры задач из теории графов.
62. Коды. Проблематика теории кодирования. Алфавитное кодирование. Проблема однозначности кодирования. Префиксные коды.
63. Коды с минимальной избыточностью.
64. Помехоустойчивое кодирование. Коды Хемминга.

Теория Вероятностей и Математическая Статистика

65. Эквивалентность аксиом конечной аддитивности и непрерывности аксиоме σ-аддитивности в определении вероятности на булевой алгебре событий.
66. Функция распределения вероятностей и ее свойства.
67. Независимость случайных величин; критерий их независимости.
68. Закон больших чисел Чебышева.
69. Центральная предельная теорема для сумм независимых одинаково распределенных случайных величин.
70. Понятие доверительной области. Доверительный интервал для среднего значения нормального распределения при неизвестной дисперсии.
71. Наиболее мощный критерий проверки простой гипотезы при простой альтернативе: лемма Неймана-Пирсона.

Системное и Прикладное Программное Обеспечение

72. Назначение, основные функции и структура операционных систем.
73. Назначение, основные функции и структура файловых систем.
74. Назначение и возможности текстовых и гипертекстовых редакторов.
75. Системы управления базами данных и принципы их работы на примере MS ACCESS.
76. Программные средства для работы в глобальной компьютерной сети INTERNET.

Базы Данных и Экспертные Системы

77. Типы таблиц. Совместное использование таблиц.
78. Индексы, их построение, хранение и использование.
79. Выборки данных из таблиц. Оператор SELECT-SQL.
80. Операции над записями таблиц.

Языки Программирования и Методы Трансляции

81. Языки, грамматики и их классификация. Примеры контекстно-свободных грамматик.
82. Трансляция арифметических выражений.
83. Классы. Свойства и методы, защита элементов классов. Создание и уничтожение объектов.
84. Управление динамической памятью.
85. Технология создания программ и комплексов. Визуальное программирование.
86. Препроцессор и его основные возможности.
87. Адреса, указатели, ссылки. Адресная арифметика.

Уравнения Математической Физики

88. Классификация линейных дифференциальных уравнений второго порядка с частными производными и приведение их к каноническому виду.
89. Вывод уравнения теплопроводности.
90. Задача Коши для уравнения колебаний струны. Формула Даламбера.
91. Решение первой краевой задачи для однородного уравнения колебаний струны методом разделения переменных.
92. Принцип максимума и теорема единственности решения первой краевой задачи для уравнения теплопроводности.
93. Принцип максимума для гармонических функций и следствия из него.
94. Теоремы единственности решения задачи Дирихле и задачи Неймана для уравнения Лапласа.

Методы Оптимизации

95. Постановка задачи линейного программирования. Идея симплексного метода. Алгоритм симплексного метода.
96. Приведение задачи линейного программирования к каноническому виду. Метод дополнительных переменных и метод искусственных переменных.
97. Постановка задачи выпуклого программирования. Определение и примеры вы-пуклых множеств и выпуклых функций. Выпуклость и замкнутость Лебегова множества выпуклой функции. Градиентное неравенство для выпуклых функций. Экстремальные свойства выпуклых функций (теорема о глобальном и локальном минимуме).
98. Методы безусловной минимизации выпуклых функций (метод наискорейшего спуска, метод покоординатного спуска, метод Ньютона).
99. Методы решения задачи выпуклого программирования (на выбор, например, метод условного градиента, метод проекции градиента, метод штрафных функций).

Теория Игр и Исследование Операций

100. Многокритериальная оптимизация.
101. Матричные игры.
102. Кооперативные игры.

Численные Методы

103. Алгебраическое интерполирование. Исследование существования и единственности интерполяционного полинома. Интерполяционный полином Лагранжа. Оценка остаточного члена.
104. Интерполяционные квадратурные формулы. Квадратурные формулы наивысшей алгебраической степени точности.
105. Метод Гаусса решения систем линейных уравнений. Применение метода Гаусса к вычислению определителя и обратной матрицы.
106. Итерационные методы решения систем линейных уравнений. Методы Якоби и Зейделя. Исследование сходимости в случае матриц с диагональным преобладанием.
107. Разностные схемы для уравнения Пуассона. Исследование устойчивости с помощью принципа максимума.

 

статистика


Webmaster © 2004 - 2007 г.  Kazan State University Updated on 8 November 2007