Курс «Введение в математическую логику»
Последнее обновление: 17 октября 2025 г.
3 900 рублей в месяц за все курсы
Включено в курс
Описание
На этом курсе вы изучите язык математики и узнаете его базовые правила — они помогут яснее рассуждать и доносить свои мысли. Формальная логика пригодится, если вы станете инженером-программистом, займетесь аналитикой данных или решите изучать программирование на продвинутом уровне. Математика и логика помогают программистам быстрее учиться, смотреть на код под другим углом и мыслить по-новому.
Чему вы научитесь
- Переводить высказывания с естественного языка на формальный математический язык
- Предлагать ясные, однозначные и простые интерпретации высказываний, которые будут близки к формальным математическим понятиям
- Оперировать базовыми правилами логики
Программа
1 | Введение Знакомимся с темой и задачами курса |
2 | Что такое логика Обсуждаем математическую логику, ее историю и задачи |
3 | Нотации Изучим пропозиции и операторы (конъюнкция, дизъюнкция, отрицание и импликация) |
4 | Парадоксы Рассмотрим несколько известных логических парадоксов |
5 | Софизмы Разберемся, как работают логические софизмы |
6 | Эквивалентность Познакомимся с эквивалентными высказываниями и научимся определять их |
7 | Предикаты и квантификаторы Рассмотрим операции над предикатами и квантификаторами |
8 | Правила математической логики Изучим два базовых правила логики высказываний |
9 | Правила вывода Рассмотрим базовые правила логики и изучим несколько новых правил вывода |
10 | ПДНФ и ПКНФ Рассмотреть полную дизъюнктивную нормальную форму (ПДНФ) и полную конъюктивную нормальную форму (ПКНФ). |
11 | Введение в теорию множеств Раскрыть основные понятия теории множеств. |
Формат обучения
- Тренажер с практикой
- Бессрочный доступ к теории
- Асинхронный формат
3 900 рублей в месяц за все курсы