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

Логика
free

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

1.

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

теория (видео 28:17)

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

2.

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

теория (видео 22:14)

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

3.

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

теория (видео 17:21)

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

4.

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

теория (видео 18:30)

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

5.

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

теория (видео 35:26)

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

6.

Парадоксы

теория (видео 15:32)

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

Испытания

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

Статистика
11947
учащихся
143
вопроса
и ответа
3
часа
Учитель