Логика

Введение в математическую логику. Курс основан на первой главе Учебника по математике Романа Добровенского.

Уроки курса

• 1

  Базовые понятия логики

  Познакомиться с фундаментальными понятиями математической логики.

  теория
• 2

  Представление функций

  Познакомиться с идеей представления функций с помощью базовых операций.

  теория
• 3

  Самая сложная логическая задача

  Рассмотреть условия и решение так называемой "самой сложной логической задачи".

  теория
• 4

  Предикаты и кванторы

  Познакомиться с важными инструментами математической логики, а также базовыми понятиями из теории множеств.

  теория
• 5

  Теории: интуиции

  Рассмотреть систему математических доказательств.

  теория
• 6

  Парадоксы

  Рассмотреть несколько интересных парадоксов классической логики.

  теория

Автор

Рахим Давлеткалиев

Программист, ранее — преподаватель в международном ИТ-университете (г. Алматы), разработчик (Ericsson Canada, Macadamian). Со-основатель Хекслета.

Впечатления

Ivan Tokarev

Самая сложная логическая задача

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

Даша

Парадоксы

Большое спасибо за курс, он помогает настроить мозг в нужном направлении.