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

Математическая логика - это современный вид формальной логики. Логика – это наука правильно рассуждать, имея какие-то утверждения, истинность которых проверена, например, на опыте. С помощью утверждений можно придти к новому утверждению, которое также может оказаться истинным.

Исходное утверждение называется посылкой, результирующее утверждение – заключением.

Пример 1.

П1: Все люди смертны.

П2. Сократ – человек.

З: Сократ смертен.

Пример 2.

П1: Все граждане России имеют право на образование.

П2: Иванов – гражданин России.

З: Иванов имеет право на образование.

Оба эти вывода имеют одну и ту же форму:

Все А есть В;

С есть А;

Следовательно, С есть В.

В этих рассуждениях нам не интересна истинность или ложность отдельных посылок. Нам важно знать вытекает ли истинность заключения из истинности посылок.

Таким образом, основная задача логики – это формализация правильных способов рассуждения. Если при этом применяется математический аппарат, то такую логику можно назвать математической.

§1. Дифференциальные уравнения первого порядка

Дифференциальными уравнениями называются уравнения, в которых неизвестными являются функции одной или нескольких переменных, и в уравнения входят не только сами функции, но и их производные. Если производные, входящие в уравнение, берутся только по одной переменной, то дифференциальное уравнение называется обыкновенным. Если в уравнении встречаются производные по нескольким переменным, то уравнение называется уравнением в частных производных. Мы будем рассматривать лишь обыкновенные дифференциальные уравнения.

Начнем с дифференциальных уравнений первого порядка. Это уравнения, в которые входит лишь первая производная неизвестной функции. Это уравнение может быть записано в виде

F(x,y,y) = 0. (1)

Здесь x ‑ независимая переменная, y ‑ её неизвестная функция, ‑ производная функции y, F ‑ заданная функция трех переменных. Функция F может быть задана не для всех значений её аргументов, поэтому можно говорить об области B определения функции F координатного пространства, то есть о множестве точек координатного пространства трех переменных x,y,y.

Приведем примеры дифференциальных уравнений первого порядка:

y – x⁴ = 0; xsiny – lny = 0; xcosy + (y – y²)sinx = 0.

Решением уравнения (1) называется такая функция y = (x), определенная на некотором промежутке (x₁, x₂), что при подстановке её вместо y в уравнение (1) полу­чается верное равенство на всем промежутке (x₁, x₂). Очевидно, что подстановка y = (x) возможна только тогда, когда функция (x) на промежутке (x₁, x₂) имеет первую производную. Необходимо также, чтобы при любом значении переменной x из промежутка (x₁, x₂) точка с координатами x, y, y принадлежала множеству B, на котором определена функция F. Совокупность всех решений дифференциального уравнения называется его общим решением.

В некоторых случаях уравнение (1) определяет переменную y как функцию независимых переменных x и y:

y = f(x,y). (2)

Тогда дифференциальное уравнение (2) равносильно дифференциальному уравнению (1) и называется разрешенным относительно производной.

Рассмотрим свойства решений уравнения (2). Введем в рассмотрение координатную плоскость XY переменных x и y. Мы будем рассматривать лишь такие уравнения, у которых область определения правой части есть некоторая открытая область G в плоскости XY (область называется открытой, если каждая точка входит в неё вместе с некоторой своей окрестностью). Пусть функция y = (x) – решение уравнения (2). Тогда график этой функции называется интегральной линией или интегральной кривой. Эта кривая лежит в области G. Если точка (x₀, y₀) принадлежит области G, то интегральная кривая проходит через эту точку. Интегральная кривая в рассматриваемой точке имеет касательную, угловой коэффициент которой равен

 (x₀) = f(x₀, (x₀))

Таким образом, в каждой точке области G можно установить положение касательной к графику решения уравнения (2), проходящему через эту точку.

Можно себе представить, что в каждой точке области G построен короткий отрезок касательной к интегральной кривой, проходящей через эту точку. Тогда получится чертеж, который называется полем направлений, задаваемым уравнением (2). Пример приведен на рисунке 1. Таким образом, каждое дифференциальное уравнение вида (2) задает на плоскости XY в области G поле направлений. Интегральные линии этого уравнения касаются направления, задаваемого полем в этой точке.