Введение в логику

: Информация
Опубликована: 22.04.2015 | Уровень: для всех | Стоимость: 3000.00 руб. | Длительность: 14 дней
В курсе проводится краткий исторический обзор логики как науки, рассматривается дедуктивный и индуктивный методы вывода и их применение в повседневной жизни.
Достаточно подробно рассматриваются базисные математические понятия – множества, отношения, функции. Наряду с традиционными для школьного курса понятиями логики высказываний – бинарных логических функций, построения таблиц истинности, законов логики высказываний, рассматриваются и более сложные вопросы, такие как, например, конъюнктивные и дизъюнктивные нормальные формы записи логических формул. Изложение теоретического материала сопровождается рассмотрением конкретных логических задач.

План занятий

ЗанятиеЗаголовок <<Дата изучения
-
Лекция 1
32 минуты
-
Тест 1
18 минут
-
Лекция 2
25 минут
-
Тест 2
21 минута
-
Лекция 3
28 минут
-
Лекция 4
13 минут
-
Тест 3
21 минута
-
Лекция 5
29 минут
-
Лекция 6
17 минут
-
Тест 4
21 минута
-
Лекция 7
28 минут
-
Лекция 8
16 минут
-
Тест 5
21 минута
-
Лекция 9
17 минут
-
Тест 6
18 минут
-
Лекция 10
16 минут
-
Тест 7
18 минут
-
Лекция 11
24 минуты
-
Лекция 12
7 минут
-
Лекция 13
13 минут
-
Тест 8
18 минут
-
Контрольная работа 1
30 минут
-
Лекция 14
9 минут
Логические функции
Будем рассматривать логические функции, аргументы которых принимают два значения – 0 или 1. Здесь и далее будем использовать значение 0, интерпретируемое как ложь, и значение 1, интерпретируемое как истина. Сама функция также имеет только два значения – 0 или 1.
-
Лекция 15
8 минут
-
Лекция 16
15 минут
-
Тест 9
18 минут
-
Лекция 17
6 минут
-
Тест 10
18 минут
-
Лекция 18
14 минут
-
Лекция 19
21 минута
-
Лекция 20
6 минут
-
Тест 11
15 минут
-
Лекция 21
29 минут
-
Тест 12
18 минут
-
Лекция 22
35 минут
Чьи это части?
В этом уроке по фрагменту таблицы истинности будем определять, какой функции он может принадлежать.
-
Тест 13
18 минут
-
Лекция 23
29 минут
Какие у Вас корни? Часть 1
В этом уроке будем заниматься решением логических уравнений. Нас будет интересовать, сколько решений имеет уравнение, какие у него корни.
-
Тест 14
18 минут
-
Лекция 24
36 минут
Какие у Вас корни? Часть 2
В этом уроке продолжим поиск решения логических уравнений. Нас в первую очередь будет интересовать решение системы уравнений.
-
Тест 15
18 минут
-
Лекция 25
35 минут
Формально или неформально? Часть 1
В этом уроке будем заниматься решением логических задач, имеющих содержательную формулировку. Рассмотрим простые задачи, поддающиеся относительно простой формализации в рамках логики высказываний.
-
Лекция 26
31 минута
Формально или неформально? Часть 2
В этом уроке продолжим рассмотрение логических задач, имеющих содержательную формулировку. Рассмотрим задачи, не поддающиеся простой формализации в рамках логики высказываний, но допускающие построение логического вывода в рамках обычной логики.
-
Контрольная работа 2
30 минут
-
5 часов
-