Логика

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

Уроки курса

• 1

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

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

  теория
• 2

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

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

  теория
• 3

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

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

  теория
• 4

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

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

  теория
• 5

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

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

  теория
• 6

  Парадоксы

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

  теория

Автор

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

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

Впечатления

Даша

Парадоксы

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