Вы находитесь на странице: 1из 12

1

ЮЖНО-РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ


(НОВОЧЕРКАССКИЙ ПОЛИТЕХНИЧЕСКИЙ ИНСТИТУТ)

Физико-математический факультет
Кафедра «Прикладная математика»

ОСЕННЯЯ СЕССИЯ

1 курс 1 семестр

2009 – 2010 учебный год


2

Дисциплина: Линейная алгебра


Алгебра и аналитическая геометрия

I. Матрицы и определители
I.1. Понятие матрицы. Операции над матрицами.
I.2. Линейная зависимость столбцов (строк) матрицы. Предложение 1.2;
1.3.
I.3. Понятие определителя. Правила вычисления определителя. Т. 1.1.
I.4. Свойства определителя.
I.5. Свойства алгебраических дополнений.
I.6. Определение обратной матрицы. Т. 1.2. о существовании обратной
матрицы.
II. Системы линейных алгебраических уравнений (С.Л.А.У.)
II.1. Определение СЛАУ. Решение системы. Совместные и
несовместные определенные и неопределенные СЛАУ. Матричная запись
СЛАУ.
II.2. Ранг матрицы системы. Методы вычисления ранга матрицы.
Базисный минор. Т. 2.1. о базисном миноре.
II.3. Метод Крамера решения квадратных СЛАУ. Т. 2.3.
II.4. Условие совместности общей СЛАУ. Т. 2, 4 Кронекера-Капелли.
Следствие.
II.5. Метод Гаусса решения СЛАУ.
II.6. Вычисление определителя и обратной матрицы методом Гаусса.
II.7. Однородные СЛАУ. Нетривиальная совместимость однородных
СЛАУ. Т. 2.5. Т. 2.6. Свойства решений однородных
СЛАУ. Пр. 2.1.
II.8. Фундаментальная система решений однородной СЛАУ. Т. 2.7. (о
существовании фундаментальной системы). Следствие.
II.9. Связь между решениями неоднородной и соответствующей
однородной СЛАУ. Предложения 2.2.; 2.3. Следствие.
III. Основы векторной алгебры и применение к геометрии
III.1. Скалярные и векторные величины. Определение вектора. Линейные
операции над векторами. Свойства линейных операций.
III.2. Линейная зависимость системы векторов. Векторный базис на
плоскости. Т. 3.1. Лемма 3.1. Следствия.
III.3. Линейная зависимость системы векторов. Векторный базис в
пространстве. Лемма 3.2. Следствия.
3

III.4. Действия над векторами, заданными своими координатами.


Условие коллинеарности векторов в координатной форме.
III.5. Декартовы системы координат на прямой, на плоскости и в
пространстве.
III.6. Проекция вектора на ось и ее свойства. Т. 3.4., Т. 3.5, Т. 3.6, Т. 3.7.
III.7. Прямоугольные декартовы системы координат. Т. 3.8.
Направляющие косинусы.

III.8. Определение скалярного произведения векторов. Свойства


скалярного произведения.
III.9. Выражение скалярного произведения через координаты векторов.
Квадрат скалярного произведения, длина вектора. Угол между векторами.
III.10.Приложение скалярного произведения к геометрии и механике.
III.11.Векторное произведение двух векторов. Свойства векторного
произведения. Выражение векторного произведения через координаты
векторов.
III.12.Приложение векторного произведения к геометрии и механике.
III.13.Смешанное произведение векторов и его свойства.
IV. Прямая на плоскости и ее уравнение.
IV.1. Линия на плоскости и ее уравнения. Неявное, явное,
параметрическое.
IV.2. Уравнения прямой, проходящей через точку перпендикулярно
заданному вектору. Общее уравнение прямой.
IV.3. Уравнения параллельных и взаимно перпендикулярных прямых на
плоскости. Предложения 4.2., 4.3.
IV.4. Уравнения прямой, проходящей через точку параллельно заданному
вектору.
IV.5. Угловой коэффициент прямой. Уравнение прямой с заданным
угловым коэффициентом. Угол между прямыми на плоскости.
IV.6. Расстояние от точки до прямой на плоскости.
V. Плоскость в пространстве и ее уравнения.
V.1. Уравнения плоскости, проходящей через точку перпендикулярно
заданному вектору. Общее уравнение плоскости.
V.2. Уравнения прямой, проходящей через точку параллельно двум
неколлинеарным векторам. Уравнения плоскости, проходящей через три
заданные плоскости. Уравнения плоскости в отрезках на осях.
4

V.3. Исследование общего уравнения плоскости.


V.4. Угол между плоскостями. Расстояние от точки до плоскости.
VI. Прямая в пространстве
VI.1. Уравнение линии в пространстве. Параметрические уравнения
линии в пространстве. Параметрические уравнения прямой в пространстве.
Канонические уравнения прямой.
VI.2. Взаимное расположение прямых в пространстве.
VI.3. Общее уравнение прямой в пространстве. Переход от него к
каноническому уравнению.
VI.4. Взаимное расположение прямой и плоскости в пространстве. Угол
между прямой и плоскостью.
VII. Линии второго порядка
VII.1. Преобразование прямоугольной декартовой системы координат.
VII.2. Общее уравнение линии второго и его преобразования.
 x2  a22
VII.3. Исследование уравнения a11  y 2  A33  0 .
 y 2  2a13
VII.4. Исследование уравнения a22  x  2a23
 y  a33  0 .
VII.5. Эллипс и его свойства.
VII.6. Гипербола и ее свойства.
VII.7. Парабола и ее свойства.
VIII. Поверхности второго порядка
VIII.1. Уравнения цилиндрической поверхности. Примеры
цилиндрических поверхностей.
VIII.2. Уравнение поверхности тел вращения. Сфера, эллипсоиды
вращения. Конус второго порядка, гиперболоиды вращения, параболоид.
VIII.3. Канонические уравнения поверхностей второго порядка.
VIII.3.1. Эллипсоид, однополостный и двуполостный гиперболоиды.
VIII.3.2. Конус второго порядка, эллиптический параболоид,
гиперболический параболоид.

Дисциплина: Дискретная математика


Математическая логика
Теория алгоритмов

1 Высказывания и операции над ними.


2 Равносильности логики высказываний, связывающие дизъюнкцию,
конъюнкцию и отрицание.
5

3 Равносильности логики высказываний, включающие импликацию и


эквивалентность.
4 Дизъюнктивная нормальная форма. Алгоритм построения.
5 Совершенная ДНФ. Алгоритм построения.
6 Конъюнктивная нормальная форма. Алгоритм построения.
7 Совершенная КНФ. Алгоритм построения.
8 Булевы функции. Их задание.
9 Задание булевых функций. Функциональная полнота.
10 Разложение булевых функций в дизъюнктивной форме.
11 построение совершенной ДНФ по таблице.
12 Функциональная полнота набора функций из дизъюнкции, конъюнкции и
отрицания.
13 Разложение булевых функций в конъюнктивной форме.
14 Построение совершенной КНФ по таблице.
15 Функциональная полнота наборов функций:
1) из дизъюнкции и отрицания,
2) из конъюнкции и отрицания,
3) из функции Шеффера,
4) из функции Вебба.
16 Алгебра Жегалкина. Полиномы.
17 Построение полинома Жегалкина решением системы уравнений.
18 Класс функций T0 .
19 Класс функций T1
20 Класс функций S
21 Лемма о несамодвойственной функции.
22 Класс функций M .
23 Лемма о немонотонной функции.
24 Класс функций L .
25 Лемма о нелинейной функции.
26 Теорема Поста о функциональной полноте.
27 Задача минимизации булевых функций в ДНФ.
28 Интервалы. Сокращенная ДНФ. Карты Карно.
29 Роль сокращенной ДНФ при построении МНДФ и КДНФ.
30 Геометрическое представление булевых функций и ДНФ.
31 Алгоритм Квайна-Мак-Класски построения сокращенной ДНФ.
32 Алгоритм Блейка построения сокращенной ДНФ.
33 Тупиковые ДНФ. Их роль при построении МДНФ и КДНФ.
6

34 Алгоритм построения всех ТДНФ.


35 Общая схема решения задачи минимизации булевых функций с
использованием сокращенных ДНФ и ТДНФ.
36 Предикаты. Определение.
37 Термы. Примеры.
38 Формулы логики предикатов, построенные без использования логических
операций и кванторов. Примеры.
39 Формулы логики предикатов, построенные с использованием логических
операций. Примеры.
40 Формулы логики предикатов, построенные с использованием квантора
всеобщности. Примеры.
41 Формулы логики предикатов, построенные с использованием квантора
существования. Примеры.
42 Равносильные формулы логики предикатов. Равносильности включающие
кванторы и отрицания.
43 Равносильности логики предикатов, включающие кванторы операции
дизъюнкции или конъюнкции.
44 Равносильности логики предикатов, связанные с перестановкой кванторов.
45 Интуитивное понятие алгоритма. Свойства.
46 Конечные автоматы, как способ задания алгоритмов.
47 Невозможность построения конечного автомата для умножения двух
произвольных натуральных чисел.
48 Машины Тьюринга. Определение. Команды. Конфигурации.
49 Диаграмма машин Тьюринга.
50 Композиции машин Тьюринга.
51 Машина Тьюринга с полулентой.
52 Параллельная композиция машин Тьюринга.
53 Арифметические функции. Их роль в теории алгоритмов. Вычислимые
функции. Функции вычислимые по Тьюрингу. Тезис Тьюринга-Поста.
54 Примитивно-рекурсивные функции.
55 Примеры примитивно-рекурсивных функций.
56 Операция минимизации.
57 Примеры функций, полученных операцией минимизации.
58 Частично-рекурсивные функции. Тезис Клини-Черча.
59 Универсальная машина Тьюринга.
60 Алгоритмические проблемы. Проблема останова машины Тьюринга.
7

Темы упражнений
1. Построение ДНФ, совершенных ДНФ, КНФ, совершенных КНФ
преобразованием логических формул.
2. Построение совершенных ДНФ и КНФ по таблицам.
3. Построение полиномов Жегалкина.
4. Распознавание принадлежности булевых функций классам.
5. Построение формул логики предикатов.
6. Воспроизведение работы конечного автомата.
7. Воспроизведение работы машины Тьюринга.

Дисциплина: Математический анализ

1. Множества. Операции над множествами. Определение функции.


2. Эквивалентные множества. Теоремы 1, 2, 3 о счетных множествах.
3. Бесконечные десятичные дроби. Теорема 1 о нечетности бесконечных
десятичных дробей.
4. Рациональные и действительные числа. Сравнение действительных чисел.
Теоремы 2, 3 о множестве действительных чисел.
5. Действительные числа. Взаимно-однозначное соответствие между
множеством действительных чисел и точками числовой прямой.
6. Ограниченные подмножества множества R. Числовые грани множества R.
теорема 1 о существовании sup X и inf X .
7. Определение 7-12 о предельной, изолированной внутренней точках
множества, в замкнутом и открытом множестве. Теорема 3 от окрестности
предельной точки.
8. Комплексные числа. Алгебраическая форма. Свойства.
9. Комплексные числа. Тригонометрическая форма. Свойства.
10.Определение числовой последовательности и сходящейся числовой
последовательности. Геометрический смысл. Примеры.
11.Предел числовой последовательности. Теорема о единственности.
12.Ограниченная числовая последовательность. Теорема о сходимости. Пример
xn  q n .
13.Монотонные последовательности. Теорема о сходимости. Примеры
монотонных и немонотонных последовательностей.
8

14.Теорема об арифметических операциях над сходящимися


последовательностями. Доказательство lim  xn  yn   lim xn  lim yn ;
n n n
lim  xn  y n   lim xn  lim y n .
n  n  n 
15.Теорема об арифметических операциях над сходящимися
lim x n
последовательностями. Доказательство lim cx n  c lim x n ; lim x n  n .
n n n  y n lim y n
n

an n p n
n  1.
16.Доказательство пределов lim  0 ; lim n  1; nlim
 
n   n! n  

17.Бесконечно малые и большие последовательности. Примеры. Теоремы о б.м.


и б.б. последовательностях.
18.Подпоследовательность. Примеры. Теорема о сходимости
подпоследовательности. Лемма о вложенных отрезках.
19.Подпоследовательность. Примеры. Теорема о Больцано-Вейерштрасса.
20.Фундаментальная последовательность. Теорема об ограниченности.
Критерий Коши.
21.Определение числового ряда, частичной суммы, сходящего числового ряда.
Примеры.
22.Теорема о сумме и разности сходящихся числовых рядов. Замечания.
23.Критерий Коши для числовых рядов. Необходимый признак сходимости.
Гармонический ряд.
24.Знакоположительные ряды. Основной признак сходимости.
25.Знакоположительные ряды. Признак разреженности. Обобщенный
гармонический ряд.
26.Знакоположительные ряды. Признак сравнения. Примеры.
27.Знакоположительные ряды. Предельный признак сравнения. Пример.
28.Знакоположительные ряды. Признак Даламбера. Примеры.
29.Знакоположительные ряды. Признак Коши. Примеры.
30.Определение числа е.
31.Знакопеременные ряды. Абсолютная и условная сходимость. Достаточный
признак сходимости.
32.Признак Лейбница. Следствие. Пример.
33.Признаки Дирихле, Абеля, теорема Римана (формулировки). Пример.
34.Функции вещественной переменной. Определение. Способы задания.
Классификация функций. Ограниченность на множестве.
35.Два определения предела функции в точке. Теорема об эквивалентности
этих определений.
9

36.Теорема о единственности предела функции. Критерий Коши. Примеры.


37.Арифметические операции над пределами. Теорема сравнения.
38.Односторонние пределы. Необходимое и достаточное условие
существования предела. Бесконечные пределы. Предел при x   .
Примеры.
39.Определение непрерывной в точке функции. Определение точек разрыва.
Доказательство, что sin x непрерывна на всей числовой прямой.
40.Точки разрыва. Классификация точек разрыва. Примеры.
41.Арифметические свойства непрерывных функций. Непрерывность сложной
функции. Примеры.
42.Теоремы о локальной ограниченности непрерывной функции и сохранении
знака.
43.Свойства функций непрерывных на отрезке. Теорема Коши.
44.Свойства функций непрерывных на отрезке. Первая теорема Вейерштрасса.
45.Свойства функций непрерывных на отрезке. Вторая теорема Вейерштрасса.
46.Равномерная непрерывность на множестве. Теорема Кантора. Примеры.
47.Монотонные на промежутке функции. Теорема о точках разрыва
монотонных функций. Следствие.
48.Теорема 2 о множестве точек разрыва монотонных функций. Теорема 3 о
непрерывности монотонной функции на отрезке.
49.Специальные пределы.
50.Предельное сравнение функций. Свойства эквивалентных функций.
51.Определение производной функции. Дифференцируемость. Примеры.
52.Теорема о непрерывности дифференцируемой функции. Дифференциал.
Геометрический смысл.
53.Геометрический и механический смысл производной. Уравнение
касательной.
54.Правила дифференцирования для производных и дифференциалов.
Теорема 1.
55.Дифференцирование сложной функции. Теорема 2.
56.Дифференцирование обратной функции и функции, заданной
параметрически. Теоремы 3, 4.
57.Производные основных элементарных функций.
58.Производные высших порядков. Примеры.
59.Дифференциал n-го порядка. Механический смысл 2-й производной.
60.Теорема Ролля. Примеры невыполнения теоремы.
61.Теорема Лагранжа. Следствие. Формула конечных приращений.
10

62.Теорема Коши.
63.Теорема Лопиталя, Т.1. Формулировка Т.3. Примеры.
64.Правило Лопиталя, Т.2. Формулировка Т.3. Примеры.
65.Теорема Тейлора.
66.Остаточные члены в форме Лагранжа, Коши, Пеано. Формула Маклорена.
67.Представление функций e x , sin x , cos x , ln 1  x , 1  x  по формуле
Маклорена. Применение формулы Тейлора для вычисления пределов.
68.Необходимый и достаточный признак монотонности функций.
69.Экстремумы. Необходимый признак экстремумов.
70.Экстремумы. I-й достаточный признак. Исследование функций на
экстремум.
71.II-й достаточный признак экстремумов. (Т. 4, 5).
72.Выпуклость и точки перегиба функции. Достаточный признак. Следствия.
73.Асимптоты. Полное исследование функций.
74.Вектор-функция скалярного аргумента. Предел, непрерывность,
необходимое и достаточное условие существования предела. (Т. 1).
75.Производная вектор-функции, свойства, формула Тейлора. Теорема 2 –
аналог т. Лагранжа для вектор-функции.
76.Кривые на плоскости и в пространстве. Касательная прямая и нормальная
плоскость кривой.
77.Определение длины кривой. Спрямляемые кривые. Теорема об оценке
длины кривой производной переменной этой кривой (Т. 3).
78.Длина кривой. Теорема о производной переменной длины дуги (Т. 4).

Дисциплина: Информатика
Алгоритмические языки и программирование

I. Алгоритмы
1. Определение алгоритма. Формальные признаки алгоритмов.
2. Элементы блок-схем.
3. Основные алгоритмические структуры. Линейная алгоритмическая
структура. Пример алгоритма с линейной структурой.
4. Разветвляющаяся алгоритмическая структура, её разновидности.
5. Циклическая алгоритмическая структура, её разновидности.
6. Цикл с заранее известным количеством повторений.
7. Циклы с заранее неизвестным количеством повторений.
11

8. Вложенные циклы.
9. Нахождение сумм и произведений чисел. Нахождение среднего
арифметического чисел.
10. Нахождение факториала числа. Возведение числа в целую
неотрицательную степень.
11. Нахождение суммы ряда с заданной точностью. Вариант алгоритма
с максимально допустимым количеством повторений.
12. Нахождение наибольших и наименьших значений.
13. Табулирование функции. Задача 1 (задан шаг, отрезок не делится
нацело).
14. Табулирование функции. Задача 1 – частный случай (задан шаг,
отрезок делится нацело).
15. Табулирование функции. Задача 2 (задано количество частей, на
которые делится отрезок).
16. Нахождение наименьшего и наибольшего значений функции
(задано количество частей, на которые делится отрезок).
17. Определение точек, в которых функция принимает наибольшее и
наименьшее значение (задано количество частей, на которые делится отрезок).
18. Определение точек, в которых функция принимает наибольшее и
наименьшее значение (задан шаг, отрезок не делится нацело).

II. Язык программирования Pascal


19. Алфавит языка Pascal. Правило составления идентификаторов.
20. Структура программы, написанной на языке Pascal. Примеры
программ с линейной структурой.
21. Типы данных в языке Pascal.
22. Выражения, переменные и константы в языке Pascal. Объявление
переменных. Описание констант.
23. Стандартные функции языка Pascal. Функции для округления
значений вещественного типа.
24. Операции в языке Pascal. Виды операций. Порядок вычисления
выражений.
25. Операторы языка Pascal. Виды операторов. Простые операторы.
26. Структурированные операторы языка Pascal. Составной оператор.
Примеры использования составного оператора.
27. Операторы языка Pascal для реализации алгоритмов с
разветвляющейся структурой.
12

28. Операторы языка Pascal для реализации алгоритмов с циклической


структурой.
29. Подпрограммы для работы с генератором случайных чисел языка
Pascal.
30. Ввод-вывод в языке Pascal. Стандартные процедуры.
Форматированный вывод.
31. Структурированные типы данных в языке Pascal. Одномерные и
многомерные массивы.
32. Описание и использование типов массивов в программе,
написанной на языке Pascal.
33. Порядок использования массивов в программах, написанных на
языке Pascal.

III. Работа с массивами


34. Ввод одномерных и двумерных массивов с клавиатуры.
35. Вывод одномерных и двумерных массивов на экран.
36. Действия над векторами и матрицами: сумма векторов и матриц,
произведение двух матриц, произведение матрицы на вектор.
37. Поиск наибольших и наименьших элементов в массивах.
38. Перестановка элементов в одномерных и двумерных массивах.
39. Перестановка строк, столбцов в одномерных и двумерных
массивах.
40. Вывод элементов одномерного массива в обратном порядке. Вывод
элементов двумерного массива, стоящих на главной и побочной диагоналях.
41. Транспонирование квадратной матрицы.
42. Сортировка одномерных массивов.
43. Упорядочение строк, столбцов двумерных массивов.