Бесплатный
курс
Введение в математическую логику
21847 студентов
221 сообщение
Последнее обновление:
24 июня 2022
Включено в курс
Описание
Введение в математическую логику. Курс основан на первой главе Учебника по математике Романа Добровенского.
Уроки курса
-
5
Представление функций
Познакомиться с идеей представления функций с помощью базовых операций. -
6
Самая сложная логическая задача
Рассмотреть условия и решение так называемой "самой сложной логической задачи". -
7
Предикаты и кванторы
Познакомиться с важными инструментами математической логики, а также базовыми понятиями из теории множеств. -
9
Самостоятельная работа
Дополнительные задания, которые позволяют закрепить полученную теорию -
10
Дополнительные материалы
Статьи и видео, подобранные командой Хекслета. Помогут глубже погрузиться в тему курса
Формат обучения
Впечатления

Ivan Tokarev
30 октября 2019
Великолепный материал, всегда был трояк по математике. Но воспользовавшись советами Hexlet решил все-таки погрузиться в логику. А тут проанализировав по шагам пришел к выводам автора и все стало ясно как белый день. думаю надо вернуться к второй лекции чтобы получше запомнить теоремы и их применение. У автора талант оратора, браво!

Йоси Адлер
19 января 2017
В целом, конечно все описанные законы заставляют немного пошевелить извилинами, но импликация - это, блин, полный вынос мозга!) Спасибо за курс, это как раз то, что надо!