- •Опорный конспект лекций по курсу математики первого и второго семестров (бакалавры)
- •Элементы математической логики и теории множеств
- •Линейная алгебра и аналитическая геометрия
- •Определение Кривой второго порядка в называется множество точек, координаты которых в какой-либо пдск удовлетворяют уравнению , где одновременно.
- •Опредление Эллипс – множество точек в , сумма расстояний от каждой и которых до двух заданных точек (фокусов) есть величина постоянная.
- •Замечание Произведение двух линейных операторов является линейным оператором.
- •Введение в анализ
- •Дифференциальное исчисление функций одной переменной
- •Интегральное исчисление функций одной переменной
- •Контрольные вопросы по курсу математики первого и второго семестров (бакалавры)
- •Линейная алгебра и аналитическая геометрия
- •Введение в анализ
- •Дифференциальное исчисление функций одной переменной
- •Интегральное исчисление функций одной переменной
Опорный конспект лекций по курсу математики первого и второго семестров (бакалавры)
(для инженерных специальностей с большим объемом курса математики)
Элементы математической логики и теории множеств
Под множеством будем понимать совокупность элементов, обладающим каким-либо свойством.
Обозначение Множество обозначается прописными латинскими буквами ; элементы – строчными латинскими ; свойство представляет собой предложение или формулу , содержащие обозначение элемента. Запись читается " по определению есть множество элементов , которые обладают свойством
ПРИМЕР Множество натуральных чисел . Множество целых чисел . Множество рациональных чисел (дробей). Множество действительных (вещественных) чисел , которое состоит из множества рациональных чисел и множества иррациональных чисел . Иррациональными являются, например, числа , ..
ЗАМЕЧАНИЕ Действительной число рационально тогда и только тогда, когда оно представимо периодической десятичной дробью.
Определение Множество, не содержащее элементов, называется пустым.
Обозначение .
Определение Множество , все элементы которого принадлежат , называется подмножеством множества .
Обозначение . Если же является подмножеством, но не совпадает с , то .
Определение Множества совпадают, если . Обозначение .
Определение Декартовым произведением множеств называется множество упорядоченных -ок элементов
.
ЗАМЕЧАНИЕ Если , то .
_____
Определение Высказывание – предложение, о котором можно сказать, что оно истинно или ложно.
Обозначение Если нас интересует высказывание безотносительно к его истинности или ложности, то оно обозначается большими латинскими буквами . Истинное высказывание обозначается , а ложное - .
Определим 5 операций над высказываниями.
Определение Отрицанием высказывания называется высказывание, которое истинно, если ложно, и наоборот, ложно, если истинно.
Обозначение или . Читается "неверно, что ".
Истинностная таблица операции отрицания есть
Определение Дизъюнкцией высказываний называется высказывание, которое истинно, когда истинно или или , или оба вместе.
Обозначение . Читается " или ".
Истинностная таблица операции дизъюнкции
Определение Конъюнкцией высказываний называется
высказывание, которое истинно тогда и только тогда, когда и и
истинны. Обозначение или просто .Читается " и ".
Истинностная таблица конъюнкции
Определение Импликацией высказываний называется высказывание, которое ложно тогда и только тогда, когда истинно, а ложно.
Обозначение . Читается "если , то " или "из следует .
Истинностная таблица импликации
Определение Эквиваленцией высказываний называется высказывание, которое истинно тогда и только тогда, когда оба истинны или оба ложны. Обозначение . Читается " тогда и только тогда, когда ", или " равносильно ".
Истинностная таблица операции эквиваленции
_____
Определение Высказывание, получаемое из какой-либо группы исходных (элементарных, простых) с помощью 5 операций, называется формулой (логической).
Порядок выполнения операций в формуле следующий: .
Порядок можно изменить расстановкой скобок.
Определение Переменные, принимающие только два значения или , называются двоичными. Функция от двоичных переменных, принимающая только два значения или , называется булевой функцией.
Каждая формула порождает булеву функцию, которая задается истинностной
таблицей.
Определение Формулы называются эквивалентным (равносильными), если их булевы функции совпадают. Обозначение .
Определение Теорема, формулируемая в форме высказывания называется прямой. Образованное из нее высказывание - обратной теоремой. Высказывание вида называется противоположной теоремой, а высказывание - теоремой, обратной к противоположной.
ЗАМЕЧАНИЕ Прямая теорема равносильна обратной к противоположной; обратная теорема равносильна противоположной.
Это следует из совпадения соответствующих таблиц истинности.
Определение Методом доказательства от противного теоремы называется доказательство равносильной ей теоремы .
Определение Теорема, формулируемая в форме , называется критерием.
ЗАМЕЧАНИЕ Так как , то доказательство критерия равносильно доказательству двух теорем - прямой и обратной.
_____
Определение Понятия, обладающие объемом с числом объектов называются предметными переменными, а их объем называется областью определения предметной переменной. Конкретные значения (реализации, интерпретации, примеры) этих понятий, а также имена собственные называются предметными постоянными. Предметные постоянные и предметные переменные называются термами.
Определение Предложение, содержащее термы, называется высказывательной функцией (предикатом), если оно становится высказыванием всякий раз, когда входящие в него предметные переменные принимают конкретные значения.
Определение Предикат называется n-местным, если он содержит предметных переменных. Обозначение .
ЗАМЕЧАНИЕ 0-местный предикат естественно считать высказыванием.
Определение Областью определения предиката называется множеств -ок значений , которые могут принимать предметные переменные .
Для предиката обозначим подмножество тех -ок переменных, на которых этот предикат превращается в истинное высказывание.
Определение Квантором общности называется операция перехода от - местного предиката к -местному предикату, которая читается так: "для каждого имеет место ".
Обозначение .
Определение Переменная предиката называется свободной, а
исчезнувшая переменная предиката называется
связанной.
Определение Квантором существования называется операция перехода от -местного предиката к -местному, которая читается так: "для некоторого имеет место ".
Обозначение .
ЗАМЕЧАНИЕ Над предикатами можно производить пять логических операций.