Содержание1. Элементы теории множеств: множества, подмножества и элементы. Операции над множествами и их свойства. Доказательства основных формул теории множеств: (AB)C= (AC) (BC); (AB) C= A (BC).rn2. Отношения на множестве, способы их представления. Операции над бинарными отношениями. Декартово произведение множеств. Отношения эквивалентности. Фактор-множества. Отношения эквивалентности. Теорема Лагранжа.rn3. Свойства и типы бинарных отношений: инъекция, сюръекция, отображение. Обратное отображение и биекция. Теорема об обратной функции. rn4. Комбинаторные конфигурации: размещение, перестановки, сочетания, подстановки, группы подстановок. Бином Ньютона. Треугольник Паскаля. Основное свойство биномиальных коэффициентов.rn5. Основные операции над матрицами и их свойства. Определители. Теоремы о разложении определителя по i-ой строке и по j-му столбцу. Свойства определителей. rn6. Обратная матрица. Необходимое и достаточное условие существования обратной матрицы. Теорема о необходимом и достаточном условии равенства нулю определителя.rn7. Решение общей линейной системы. Свойства совокупности решений однородной системы. rn8. Предел функции непрерывного аргумента. Предел функции в точке. Односторонние пределы в точке. Определение пределов функции на бесконечности. Теорема о необходимом условии существования предела функции. Арифметические свойства пределов (предел суммы, произведения, частного). Переход к пределу в неравенствах. Теорема о связи функции, ее предела и бесконечно малой. rn9. Определение непрерывной функции. Теорема об ограниченности функции, непрерывной на отрезке. Теорема о достижении функцией, непрерывной на отрезке, наибольшего и наименьшего значений. rn10. Применение дифференциального исчисления к исследованию графика функции. Признак постоянства функции. Признаки возрастания и убывания функции. Локальные экстремумы функции. Критические точки первого рода. Выпуклость и вогнутость графика функции. Точки перегиба. Критические точки второго рода. Асимптоты графика функции (вертикальные, горизонтальные, наклонные). rn11. Определенный интеграл. Определение интеграла по Риману. Ограниченность интегрируемой функции. Необходимые и достаточные условия интегрируемости. Интегрируемость непрерывных и монотонных функций.rn12. Числовые ряды. Определение ряда и его сходимость. Свойства сходящихся рядов. Необходимый признак сходимости ряда. Ряды с неотрицательными членами. Признаки Даламбера и Коши для рядов с неотрицательными членами. Знакопеременные ряды. Абсолютно сходящиеся ряды. Признак Лейбница. rn13. Алгоритмы доказательства тавтологий и равенств логических фор¬мул в исчислении высказываний: табличный алгоритм, алгоритм Куайна, алгоритм редукции, алгоритм свертки, метод резолюций. Дизъюнктивные и конъюнктивные нормальные формы логических функций. СДНФ и СКНФ. Понятие полноты системы логических операций. Примеры полных систем.rn14. Понятие предиката. Кванторы существования и всеобщности. Язык исчисления предикатов первого порядка и его семантика. Отношение эквивалентности на формулах языка пре¬дикатов. Основные равенства с доказательствами.rn15. Приведение формул исчисления предикатов к префиксной форме. Сколемизация формул. Доказательства методом резолюций в исчислении предикатов. Теорема Сколема.rn16. Примитивно рекурсивные и частично рекурсивные функции. Тезис Черча. Примитивная и частичная рекурсивность некоторых элементарных функций. Нормальные алгоритмы Маркова. Принцип Маркова. rn17. Случайные события. Основные понятия алгебры событий. Классическая вероятностная схема. Свойства вероятности. Теоремы сложения и умножения вероятностей. Формула полной вероятности и теорема Байеса.rn18. Случайные величины и их виды. Числовые характеристики случайных величин. Математическое ожидание и дисперсия. Их свойства. Функция распределения как универсальная характеристика случайной величины. Плотность распределения вероятностей непрерывной случайной величины.rn19. Основные законы распределения случайных величин: биномиальный, Пуассона, равномерный, нормальный. Теорема Пуассона. Локальная и интегральная теоремы Муавра-Лапласа с доказательствами.rn20. Основные задачи математической статистики. Вариационные ряды и их характеристики. Средние величины, показатели вариации, эмпирическая функция распределения. Точечные и интервальные оценки параметров генеральной совокупности по выборке. Проверка статистических гипотез. Лемма Неймана-Пирсона.ВведениеЛитература
|
