- •Академия управления при Президенте Республики Беларусь
- •Содержание
- •Тема 1. Элементарная математика 13
- •Тема 2. Аналитическая геометрия 38
- •Тема 3. Линейная алгебра 81
- •Введение Лекция 1. Основы математической логики
- •Высказывания и логические связки
- •Контрольные вопросы к лекции №1
- •Тема 1. Элементарная математика Лекция 2. Элементы теории множеств
- •Основные понятия
- •Основные операции над множествами
- •Отображения
- •Отношения эквивалентности и упорядоченности
- •Контрольные вопросы к лекции №2
- •Лекция 3. Числовые множества
- •Основные понятия
- •Соединения. Бином Ньютона
- •Комплексные числа
- •Операции над комплексными числами
- •Формула Муавра. Извлечение корня из комплексного числа
- •Контрольные вопросы к лекции №3
- •Тема 2. Аналитическая геометрия Лекция 4. Векторы
- •Основные понятия
- •Линейные операции над векторами
- •Проекция вектора на ось
- •Линейная зависимость векторов
- •Базис. Координаты вектора в базисе
- •Декартовы прямоугольные координаты в пространстве. Координаты точек. Координаты векторов. Деление отрезка в данном отношении
- •Направляющие косинусы
- •Скалярное произведение
- •Векторное произведение
- •Смешанное произведение
- •Контрольные вопросы к лекции №4
- •Лекция 5. Прямая
- •Основные понятия
- •Взаимное расположение прямых
- •Контрольные вопросы к лекции №5
- •Лекция 6. Плоскость
- •Основные понятия
- •Нормальное уравнение плоскости
- •Взаимное расположение плоскостей
- •Контрольные вопросы к лекции №6
- •Лекция 7. Кривые второго порядка
- •Уравнение фигуры
- •Гипербола
- •Парабола
- •Исследование на плоскости уравнения второй степени
- •Контрольные вопросы к лекции №7
- •Тема 3. Линейная алгебра Лекция 8. Понятие евклидова пространства
- •Коллинеарные векторы
- •Размерность и базис векторного пространства
- •Контрольные вопросы к лекции №8
- •Лекция 9. Матрицы
- •Основные понятия
- •Операции над матрицами
- •Определитель матрицы
- •Ранг матрицы
- •Обратная матрица
- •Контрольные вопросы к лекции №9
- •Лекция 10. Понятие линейного оператора
- •Переход к новому базису
- •Линейное преобразование переменных
- •Собственные значения и собственные вектора матриц
- •Контрольные вопросы к лекции №10
- •Лекция 11. Многочлены
- •Основные понятия
- •Теорема о делении с остатком
- •Теорема Безу
- •Контрольные вопросы к лекции №11
- •Лекция 12. Квадратичные формы
- •Понятие квадратичной формы
- •Канонический базис квадратичной формы
- •Канонический базис из собственных векторов матрицы квадратичной формы
- •Канонический базис Якоби квадратичной формы
- •Положительно и отрицательно определенные квадратичные формы
- •Применение квадратичных форм к исследованию кривых второго прядка
- •Контрольные вопросы к лекции №12
- •Лекция 13. Системы линейных уравнений
- •Основные понятия
- •Критерий совместности системы линейных уравнений
- •Правило Крамера решения систем линейных уравнений
- •Метод Гаусса
- •Однородные системы уравнений
- •Разрешенные системы линейных уравнений
- •Контрольные вопросы к лекции №13
- •Лекция 14. Основы линейного программирования
- •Линейное программирование
- •Задача линейного программирования
- •Приведение общей задачи линейного программирования к канонической форме
- •Множества допустимых решений
- •Опорное решение задачи линейного программирования, его взаимосвязь с угловыми точками
- •Симплекс-метод с естественным базисом
- •Симплексный метод с искусственным базисом (м-метод)
- •Теория двойственности
- •Теоремы двойственности
- •Контрольные вопросы к лекции 14
- •Экзаменационные вопросы
- •Литература
- •Высшая математика
- •Часть I
- •220007, Г. Минск, ул. Московская, 17.
Введение Лекция 1. Основы математической логики
Основные понятия:
доказательное рассуждение; правдоподобное рассуждение; математическая индукция; обобщение; специализация; аналогия; логическая связка; отрицание; дизъюнкция; конъюнкция; импликация; эквиваленция.
Легкость математики основана на возможности чисто логического ее построения, трудность, отпугивающая многих, – на невозможности иного изложения.
(Хуго Штейнгаус)
Знания за пределами математики и доказательной логики состоят из предположений. Предположения, составляющие математические знания, закрепляются доказательными рассуждениями и подкрепляются правдоподобными рассуждениями. Математическое доказательство является доказательным рассуждением, косвенные улики юриста, индуктивные доводы физика, статистические доводы экономиста относятся к правдоподобным рассуждениям. Доказательное рассуждение надежно, неоспоримо, окончательно. Правдоподобное рассуждение рискованно, спорно, условно.
Доказательное рассуждение имеет жесткие стандарты, кодифицированные и выясненные логикой, являющейся теорией доказательных рассуждений. Стандарты правдоподобных рассуждений текучи и нет никакой теории таких рассуждений, которая могла бы сравниться с доказательной логикой или обладала бы сравнимой с ней согласованностью.
Доказательные рассуждения. Все новые знания о мире связаны с правдоподобными рассуждениями.
Доказательное рассуждение и правдоподобное рассуждение не противоречат друг другу; они, напротив, друг друга дополняют. В строгом рассуждении главное – отличать доказательство от догадки, обоснованное доказательство от необоснованной попытки. В правдоподобном рассуждении главное – отличать одну догадку от другой, более разумную догадку от менее разумной.
Часто математические утверждения касаются бесконечного множества объектов, и перебрать эти объекты невозможно. Такой перебор можно заменить следующим методом рассуждения: если данное утверждение истинно в одном случае, то оно окажется истинным и в следующем за ним случае, а значит и во всех случаях. Такой метод рассуждения называется методом математической индукции.
Обобщениеесть переход от рассмотрения данного множества предметов к рассмотрению большего множества, содержащего данное. Обобщение часто делается при переходе от одного предмета к целому классу, содержащему этот предмет.
Специализацияесть переход от рассмотрения данного множества предметов к рассмотрению меньшего множества, содержащегося в данном. Специализация часто производится при переходе от целого класса предметов к одному предмету, содержащемуся в этом классе.
Аналогия. Две системы аналогичны, если они согласуются в ясно определенных отношениях соответствующих частей. Это отношение имеет ясный смысл, если отношения управляются одними и теми же законами.
Далее приводятся некоторые основные факты математической логики, которую еще называют формальной логикой. Формальной потому, что она позволяет проверить правильность рассужденийнезависимо от их содержания. Цепочки рассуждений в совершенно разных областях математики и других наук можно одинаково описать на языке логики и убедиться в их справедливости или ошибочности.