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