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