В повседневной жизни мы привыкли использовать слово «логика» в неформальном смысле. Если человек обоснованно рассуждает на конкретную тему или приводит уместные аргументы в споре, мы называем такое поведение логичным.
Но на самом деле за этим понятием кроется гораздо большее. С точки зрения ученых, логика — это систематическое мышление, которое позволяет разбирать смысл высказываний и выводить новую информацию из уже известной. Это одна из основополагающих наук, потому что она стирает границы между математикой и философией. Именно правила логики придают математическим утверждениям точный смысл и помогают отличать достоверные аргументы от недостоверных. Кроме того, правила логики определяют смысл математических утверждений.
Правила логики не только применяются в математике, но и помогают решать практические задачи из компьютерных наук: проектировать цифровые схемы, конструировать программы и проверять правильность кода. Потому этот курс будет полезен программистам, ведь они работают с автоматизированными рассуждениями.
В этом курсе мы научимся применять логику для решения прикладных математических задач и познакомимся с основой анализа данных — теорией множеств. Мы рассмотрим такие темы:
- Логика и нотации
- Парадоксы и софизмы
- Эквивалентность
- Предикаты и квантификаторы
- Правила математической логики
- Полные дизъюнктивные и конъюнктивные нормальные формы
- Правила вывода
- Введение в теорию множеств

Остались вопросы? Задайте их в разделе «Обсуждение»
Вам ответят команда поддержки Хекслета или другие студенты
Для полного доступа к курсу нужен базовый план
Базовый план откроет полный доступ ко всем курсам, упражнениям и урокам Хекслета, проектам и пожизненный доступ к теории пройденных уроков. Подписку можно отменить в любой момент.