Прикладная математика и математическая логика. 1 семестр презентация

Основная литература
1. Шипачев В. С. Высшая математика. Базовый курс: учебник и практикум для бакалавров [Гриф Минобразования РФ] / В. С. Шипачев; под ред. А. Н. Тихонова. - 8-е изд., перераб. и доп. - Москва : Юрайт, 2015. - 447 с.
2. Шипачев В. С. Высшая математика. Полный курс: учебник для акад. бакалавриата [Гриф УМО] / В. С. Шипачев; под ред. А. Н. Тихонова. - 4-е изд., испр. и доп. - Москва : Юрайт, 2015. - 608 с
3. Данко П.Е., Попов А.Г., Кожевникова Т..Я. Высшая математика в упражнениях и задачах. [Текст] / П.Е. Данко, А.Г. Попов, Т.Я. Кожевникова. В 2 ч. – М.: Высшая школа, 2007. – 304+415c.
4. Кремер Н. Ш., Путко Б.А., Гришин И.М., Фридман М.Н. Высшая математика для экономистов [Электронный ресурс]: учебник для вузов [Гриф Минобразования РФ] / [Н. Ш. Кремер и др.]; под ред. Н. Ш. Кремера. - 3-е изд. - Электрон. текстовые дан. - Москва: ЮНИТИ-ДАНА: Закон и право, 2015. - 479с.

Отчетность
Контрольная работа №1 (рабочая программа, стр. 16-21, задачи с 1 по 6 включительно). Выполняется в соответствии:
Рабочая программа дисциплины «ПРИКЛАДНАЯ МАТЕМАТИКА И МАТЕМАТИЧЕСКАЯ ЛОГИКА». Рос. гос. проф.-пед. ун-т. Екатеринбург, 2017. 38 с.
Вариант контрольной работы выбирать по последней цифре номера зачетной книжки.
2. Дифференцированный зачет

Основатели математической логики:
– греческий философ Аристотеля (384–322 гг. до н.э.);
– немецкий математик Готфрид Вильгельм Лейбниц (1646–1716);
– швейцарский математик Леонард Эйлер (1707–1783);
– чешский математик Бернард Больцано (1781–1848);
– английский учёный Джордж Буль (1815–1864);
– немецкий математик Эрнест Шредер (1841–1902);
– американский математик и инженер Клод Шеннон (1916–2001)
и др.
Термин "логика" происходит от древнегреческого logos, означающего
"слово, мысль, понятие, рассуждение, закон".
Элементы математической логики

Математическая логика – это наука о средствах и методах математических доказательств.
Алгебра логики применима к любым переменным, которые могут принимать только два значения
(0 или 1).
Например, к состоянию контактов:
включено-выключено или напряжению (или току): есть-нет, которыми представляется информация в ЭВМ.

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

Высказывание – это утверждение о чем-либо, которое может быть либо истинным, либо ложным.
Примеры высказываний:
1. Новгород стоит на Волхове.
2. Париж – столица Англии.
3. Карась не рыба.
4. Число 6 делится на 2 и на 3.
5. Если юноша окончил среднюю школу, то он получает аттестат зрелости.

Истинные и ложные высказывания
"Все учащиеся русской школы программистов умеют говорить по-русски".
2. "Основные предметы, преподаваемые в школе программистов – это, конечно, живопись и чистописание".

Повелительные, вопросительные, восклицательные и бессмысленные предложения не являются высказываниями
«Уходя, гасите свет!»
«Да здравствует мыло душистое и полотенце пушистое!»
«Который час?»
- «Привет нашим спортсменам!»

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

Булевой функцией y=f(x1,x2,…,xn) от п переменных x1,x2,...,xn называется любая функция, в которой аргументы и функция могут принимать значение либо 0 либо 1, т.е. булева функция это правило, по которому произвольному набору нулей и единиц x1,x2,...,xn ставится в соответствие значение 0 или 1.

Отрицание (инверсия) .
Говорят, что имея суждение А, можно образовать новое суждение, которое читается как «не А» или «неверно, что А».
Запись ¬А,
Пример.
Высказывание А : Сегодня по расписанию будут занятия по математике.
Высказывание : Сегодня по расписанию не будет занятий по математике
или неверно, что сегодня по расписанию будут занятия по математике.
Высказывание
: Неверно, что сегодня по расписанию не будет занятий
по математике.

Конъюнкция – это логическое произведение.
Обозначение: А & В ( АВ, А /\ В ) . Читается так “А и В“.
Пример. Высказывание А: 8 делится на 2.
Высказывание В: 8 делится на 4.
Высказывание А /\ В:
8 делится на 2 и 8 делится на 4.

Дизъюнкция – это логическое сложение.
Обозначение: А \/ В, ( А + В ). Читается так: “ А или В ”.
Пример. Высказывание А: Москва – столица России.
Высказывание В: Киев – столица России.
Высказывание А \/ В:
Москва – столица России или Киев – столица России.

Неравнозначность (исключающее, разделительное «или»)
Обозначается А В и читается «либо А, либо В», «или А, или В».
Пример. Высказывание А: юноша – школьник.
Высказывание В: юноша – студент.
Высказывание А В: юноша или школьник, или студент.

Импликация – это логическое следование.
Импликация двух высказываний А и В соответствует союзу «ЕСЛИ…ТО», т.е. «если А, то В».
Читается как «из А следует В». Обозначение
.
Пример. Высказывание А: Москва – столица России.
Высказывание В: Москва – столица США.
Высказывание А В ложно,
т.к. высказывание А истинно,
а высказывание В ложно.

Эквивалентность (двойная импликация) – это функция тождества.
Обозначается символом А В (А ~ В, А В) и читается «А тогда и только тогда, когда В» или «А эквивалентно В» или «для того, чтобы А необходимо и достаточно, чтобы В».
Пример.
Высказывание А: четырехугольник – параллелограмм.
Высказывание В: в четырехугольнике противолежащие стороны попарно параллельны.
Высказывание А эквивалентно высказыванию В (А В) и читается так:
Для того, чтобы четырехугольник был параллелограммом, необходимо и достаточно, чтобы в четырехугольнике противолежащие стороны были попарно параллельны.

С помощью алгебры логики над высказываниями можно выполнять следующие операции:
из заданной совокупности элементарных высказываний строить различные сложные высказывания;
2) сложные высказывания представлять в виде цепочки элементарных высказываний;
3) упрощать ложные высказывания с помощью равносильных формул;
4) проверять (доказывать) истинность или ложность цепочек сложных высказываний.

Порядок выполнения операций указывается скобками, которые можно опускать, придерживаясь следующего порядка действий: конъюнкция выполняется раньше, чем все остальные операции;
дизъюнкция – раньше, чем импликация и эквивалентность;
если над формулой стоит знак отрицания, то скобки тоже опускаются.

СПАСИБО ЗА ВНИМАНИЕ!

Пример. Записать логической цепочкой следующее сложное высказывание:
«Если спортсмен интенсивно тренируется и
при этом принимает запрещенные стимуляторы, то
он достигает высоких спортивных результатов либо
попадается на допинге».
Решение. Данное сложное высказывание состоит из следующих простых:
А – спортсмен интенсивно тренируется;
В – спортсмен принимает запрещенные стимуляторы;
С – спортсмен достигает высоких спортивных результатов;
D – спортсмен попадается на допинге.
(А /\ В)
(С D).

Переведем на язык алгебры логики следующее высказывание:
1. «Я поеду в Москву, и если встречу там друзей, то мы интересно проведем время».
Введем следующие простые высказывания:
М – «я поеду в Москву»;
В – «встречу там друзей»;
И – интересно проведем время».
2. «Если я поеду в Москву и встречу там друзей, то мы интересно проведем время».

3. «Если будет солнечная погода, то ребята пойдут в лес, а если будет пасмурная погода, то ребята пойдут в кино».
Введем следующие простые высказывания:
С – «солнечная погода»;
Р – «ребята пойдут в лес»;
К – «ребята пойдут в кино».

4. Если у меня будет свободное время и я сдам экзамены по педагогике и психологии, то я поеду отдыхать в Крым или на Кавказ.

Интегральное исчисление функций одной переменной
Первообразная и неопределенный интеграл

Свойства интеграла
Производная неопределенного интеграла равна подынтегральной функции, а его дифференциал- подынтегральному выражению. Действительно:

Свойства интеграла
3. Неопределенный интеграл от дифференциала непрерывно дифференцируемой функции равен самой этой функции с точностью до постоянной:
так как является первообразной для

Свойства интеграла

Таблица неопределенных интегралов

Таблица неопределенных интегралов

Свойства дифференциалов
При интегрировании удобно пользоваться свойствами:

Примеры

Примеры

Независимость от вида переменной

Пример
Вычислим

Методы интегрирования
Интегрирование по частям

Примеры

Примеры

Метод замены переменной

Интегрирование функций, содержащих квадратный трехчлен

Пример

Пример
Найти

Определенный интеграл, его основные свойства. Формула Ньютона- Лейбница. Приложения определенного интеграла.
К понятию определенного интеграла приводит задача нахождения площади криволинейной трапеции.
Пусть на некотором интервале [a,b] задана непрерывная функция
Задача:
Построить ее график и найти F площадь фигуры, ограниченной этой кривой, двумя прямыми x = a и x = b, а снизу – отрезком оси абсцисс между точками x = a и x = b.

Фигура aABb называется криволинейной трапецией

Определение
Под определенным интегралом
от данной непрерывной функции f(x) на данном отрезке [a;b] понимается соответствующее приращение ее первообразной, то есть
Числа a и b – пределы интегрирования, [a;b] – промежуток интегрирования.

Правило:
Определенный интеграл равен разности значений первообразной подынтегральной функции для верхнего и нижнего пределов интегрирования.
Введя обозначения для разности
Формула Ньютона – Лейбница.

Основные свойства определенного интеграла.
1)Величина определенного интеграла не зависит от обозначения переменной интегрирования, т.е.
где x и t – любые буквы.
2)Определенный интеграл с одинаковыми пределами интегрирования равен нулю

3) При перестановке пределов интегрирования определенный интеграл меняет свой знак на обратный
(свойство аддитивности)
4) Если промежуток [a;b] разбит на конечное число частичных промежутков, то определенный интеграл, взятый по промежутку [a;b], равен сумме определенных интегралов, взятых по всем его частичным промежуткам.

5)Постоянный множитель можно выносить за знак определенного интеграла.
6)Определенный интеграл от алгебраической суммы конечного числа непрерывных функций равен такой же алгебраической сумме определенных интегралов от этих функций.

3. Замена переменной в определенном интеграле.
где
для , функции и непрерывны на
Пример: =
=

Несобственные интегралы.
Определение. Пусть функция f(x) определена на бесконечном интервале [a; + ∞) и интегрируется на любом интервале [a;b], где b < + ∞. Если существует
,
то этот предел называется несобственным интегралом функции f(x) на интервале
[a; + ∞) и обозначается .

Таким образом, по определению,
Если этот предел - некоторое число, то
интеграл
называется сходящимся, если предела не существует, или он равен ∞, то говорят, что интеграл расходится.

Пример. Интеграл Пуассона:
если а = 1, то
Интеграл сходится, и его значение .

5. Приложения определенного интеграла
1) Площадь плоских фигур.
а) если
б) если
в)

г)
2) Многие физические величины можно определить и задать через понятие интеграла. Например, работа для любой силы вычисляется как интеграл от величины силы по длине пути.

1. Основные определения
Числовые и функциональные ряды

Основные определения

2. Числовые ряды с неотрицательными членами

Числовые ряды с неотрицательными членами

Числовые ряды с неотрицательными членами

Числовые ряды с неотрицательными членами

Числовые ряды с неотрицательными членами

3. Знакопеременные ряды,
абсолютная сходимость

Знакопеременные ряды,
абсолютная сходимость

Знакопеременные ряды,
абсолютная сходимость

1. Степенные ряды, радиус сходимости
Степенные ряды

Степенные ряды, радиус сходимости

2. Ряд Тейлора

Ряд Тейлора

Ряд Тейлора. Разложение в степенной ряд элементарных функций

Ряд Тейлора.
Разложение в степенной ряд элементарных функций

Ряд Тейлора. Разложение решения дифференциального уравнения в степенной ряд

Ряд Тейлора. Разложение решения дифференциального уравнения в степенной ряд