Логика

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

• 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  Парадоксы

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

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

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

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