Математика и логика

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

Программа об основах логики как науки и ее историческом развитии. Рассматриваются дедуктивный и индуктивный методы вывода, теория множеств, отношения и их применение в повседневной практике.
Студентов 4977 Выпускников 304 Для всех
690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
Объем
36 час.
Длительность
30 дней
Нагрузка в неделю
9 час.
Формат обучения
Дистанционно (самостоятельно)
Описание Учебный курс посвящен логике и ее математическим основам. В материалах рассматриваются базисные математические понятия, такие как множества, отношения и функции. Особое внимание уделяется логике высказываний, построению таблиц истинности, законам логики и нормальным формам записи логических формул, а также дедуктивному и индуктивному методам вывода. Изложение теории сопровождается разбором конкретных логических задач. Курс будет полезен всем, кто хочет развить навыки логического мышления, познакомиться с математической логикой и научиться применять логические методы в повседневной жизни и профессиональной деятельности.
Цели
  • Сформировать понимание базовых принципов логики и методов логического вывода.
  • Развить умение применять математические понятия для решения логических задач.
  • Помочь систематизировать знания о логике высказываний и логических функциях.
Чему я научусь?
  • Анализировать логические высказывания и строить таблицы истинности.
  • Применять дедуктивный и индуктивный методы вывода на практике.
  • Использовать нормальные формы записи логических формул.
  • Оперировать базовыми математическими понятиями при решении задач.

Авторы

Биллиг Владимир Арнольдович
Биллиг Владимир Арнольдович
Кандидат технических наук, cтарший научный сотрудник, доцент, профессор кафедры информатики.
Чему я научусь?
  • Анализировать логические высказывания и строить таблицы истинности.
  • Применять дедуктивный и индуктивный методы вывода на практике.
  • Использовать нормальные формы записи логических формул.
  • Оперировать базовыми математическими понятиями при решении задач.

Учебный план

№ Занятия
Экзамен экстерном Внимание! Экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите подтвердить свои знания по данному курсу без его изучения или поверить свои знания по нему. Экзамен экстерном можно сдать только один раз. 90 мин
1 Исторический обзор
Исторический обзор тест для курса Введение в логику 30 мин
2 Логический вывод – индукция
Логический вывод – индукция тест для курса Введение в логику 35 мин
3 Логический вывод – дедукция
4 Дедуктивный метод Шерлока Холмса
Дедуктивный метод Шерлока Холмса тест для курса Введение в логику 35 мин
5 Множества
6 Операции над множествами
Операции над множествами тест для курса Введение в логику 35 мин
7 Отношения
8 Свойства отношений
Свойства отношений тест для курса Введение в логику 35 мин
9 Отношения и базы данных
Отношения и базы данных тест для курса Введение в логику 30 мин
10 Функции
Функции тест для курса Введение в логику 30 мин
11 Математическая логика
12 Об импликации
13 Логика предикатов
Логика предикатов тест для курса Введение в логику 30 мин
14 Логические функции Будем рассматривать логические функции, аргументы которых принимают два значения – 0 или 1. Здесь и далее... Будем рассматривать логические функции, аргументы которых принимают два значения – 0 или 1. Здесь и далее будем использовать значение 0, интерпретируемое как ложь, и значение 1, интерпретируемое как истина. Сама функция также имеет только два значения – 0 или 1. ещё
15 Функции и таблицы истинности
16 Бинарные логические функции
Бинарные логические функции тест для курса Введение в логику 30 мин
17 Функции многих переменных
Функции многих переменных тест для курса Введение в логику 30 мин
18 Эквивалентность формул
19 Нормальная форма записи
Нормальная форма записи тест для курса Введение в логику 30 мин
20 О базисе
О базисе тест для курса Введение в логику 25 мин
21 Законы логики
Законы логики тест для курса Введение в логику 30 мин
22 Чьи это части? В этом уроке по фрагменту таблицы истинности будем определять, какой функции он может принадлежать.
Чьи это части? тест для курса Введение в логику 30 мин
23 Какие у Вас корни? Часть 1 В этом уроке будем заниматься решением логических уравнений. Нас будет интересовать, сколько решений имеет уравнение, какие... В этом уроке будем заниматься решением логических уравнений. Нас будет интересовать, сколько решений имеет уравнение, какие у него корни. ещё
Какие у Вас корни? Часть 1 тест для курса Введение в логику 30 мин
24 Какие у Вас корни? Часть 2 В этом уроке продолжим поиск решения логических уравнений. Нас в первую очередь будет интересовать решение системы... В этом уроке продолжим поиск решения логических уравнений. Нас в первую очередь будет интересовать решение системы уравнений. ещё
Какие у Вас корни? Часть 2 тест для курса Введение в логику 30 мин
25 Формально или неформально? Часть 1 В этом уроке будем заниматься решением логических задач, имеющих содержательную формулировку. Рассмотрим простые задачи, поддающиеся относительно... В этом уроке будем заниматься решением логических задач, имеющих содержательную формулировку. Рассмотрим простые задачи, поддающиеся относительно простой формализации в рамках логики высказываний. ещё
26 Формально или неформально? Часть 2 В этом уроке продолжим рассмотрение логических задач, имеющих содержательную формулировку. Рассмотрим задачи, не поддающиеся простой формализации... В этом уроке продолжим рассмотрение логических задач, имеющих содержательную формулировку. Рассмотрим задачи, не поддающиеся простой формализации в рамках логики высказываний, но допускающие построение логического вывода в рамках обычной логики. ещё
Контрольная работа тест для курса Введение в логику 50 мин
Тренировочный экзамен Внимание! Тренировочный экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите проверить свои знания курса перед сдачей экзамена. Тренировочный экзамен можно сдавать сколько угодно один раз. 90 мин
Экзамен 60 мин

Какой документ я получу?

Сертификат

Выдаётся автоматически после успешного завершения программы.

Удостоверение о повышении квалификации

Выдается при наличии среднего специального или высшего образования (необходимые документы).

Стоимость программы

690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
^