Основные возможности платформы Hexlet не доступны в вашем браузере. Пожалуйста, обновитесь.

Логика

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

Содержание курса

  • 1

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

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

    теория (28:17)  
  • 2

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

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

    теория (22:14)  
  • 3

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

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

    теория (17:21)  
  • 4

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

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

    теория (18:30)  
  • 5

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

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

    теория (35:26)  
  • 6

    Парадоксы

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

    теория (15:32)  
  • Course completed

  • Практика после курса

    В некоторых курсах есть практические задания, которые мы советуем выполнить после завершения курса. Задания помогут вам получить дополнительный опыт в программировании и закрепить полученные навыки. В этом курсе таких заданий нет, но вы можете посмотреть задания из других курсов.

Подробнее о курсе

Учащихся
8622
Сообщений
119
Упражнений
0
Часов
3

Практика после курса

В некоторых курсах есть практические задания, которые мы советуем выполнить после завершения курса. Задания помогут вам получить дополнительный опыт в программировании и закрепить полученные навыки. В этом курсе таких заданий нет, но вы можете посмотреть задания из других курсов.

Автор

Image

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

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