Логика
Введение в математическую логику. Курс основан на первой главе Учебника по математике Романа Добровенского.
Содержание курса
-
1
Базовые понятия логики
Цель: Познакомиться с фундаментальными понятиями математической логики.
теория (28:17) -
2
Представление функций
Цель: Познакомиться с идеей представления функций с помощью базовых операций.
теория (22:14) -
3
Самая сложная логическая задача
Цель: Рассмотреть условия и решение так называемой "самой сложной логической задачи".
теория (17:21) -
4
Предикаты и кванторы
Цель: Познакомиться с важными инструментами математической логики, а также базовыми понятиями из теории множеств.
теория (18:30) -
5
Теории: интуиции
Цель: Рассмотреть систему математических доказательств.
теория (35:26) -
6
Парадоксы
Цель: Рассмотреть несколько интересных парадоксов классической логики.
теория (15:32) -
-
Практика после курса
В некоторых курсах есть практические задания, которые мы советуем выполнить после завершения курса. Задания помогут вам получить дополнительный опыт в программировании и закрепить полученные навыки. В этом курсе таких заданий нет, но вы можете посмотреть задания из других курсов.
Подробнее о курсе
Практика после курса
В некоторых курсах есть практические задания, которые мы советуем выполнить после завершения курса. Задания помогут вам получить дополнительный опыт в программировании и закрепить полученные навыки. В этом курсе таких заданий нет, но вы можете посмотреть задания из других курсов.
Автор
Рахим Давлеткалиев
Программист, ранее — преподаватель в международном ИТ-университете (г. Алматы), разработчик (Ericsson Canada, Macadamian). Со-основатель и CEO Хекслета.