Введение в математическую логику

Включено в курс

Описание

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

Уроки курса

• 1

  Что такое логика?

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

  теория
• 2

  Нотации

  Узнать, как работают пропозиции и основные логические операторы — конъюнкия, дизъюнкия, отрицание и импликация

  теория
• 3

  Парадоксы

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

  теория
• 4

  Софизмы

  Рассмотреть несколько логических софизмов.

  теория

  тесты
• 5

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

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

  теория
• 6

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

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

  теория
• 7

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

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

  теория
• 8

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

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

  теория
• 9

  Самостоятельная работа

  Дополнительные задания, которые позволяют закрепить полученную теорию
• 10

  Дополнительные материалы

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

Формат обучения

Впечатления

Ivan Tokarev 30 октября 2019

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

Денис XX 12 августа 2015

Спасибо за курс! Было очень интересно и познавательно.

Анатолий Р. 14 мая 2020

Взрыв мозга, но задача крутая конечно!

Даша 20 октября 2017

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

Йоси Адлер 19 января 2017

В целом, конечно все описанные законы заставляют немного пошевелить извилинами, но импликация - это, блин, полный вынос мозга!) Спасибо за курс, это как раз то, что надо!