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

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

Чему вы научитесь

• Переводить высказывания с естественного языка на формальный математический язык
• Предлагать ясные, однозначные и простые интерпретации высказываний, которые будут близки к формальным математическим понятиям
• Оперировать базовыми правилами логики

Описание

На этом курсе вы изучите язык математики и узнаете его базовые правила — они помогут яснее рассуждать и доносить свои мысли. Формальная логика пригодится, если вы станете инженером-программистом, займетесь аналитикой данных или решите изучать программирование на продвинутом уровне. Математика и логика помогают программистам быстрее учиться, смотреть на код под другим углом и мыслить по-новому.

Программа курса

• 1

  Введение

  Знакомимся с темой и задачами курса

  теория
• 2

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

  Обсуждаем математическую логику, ее историю и задачи

  теория
• 3

  Нотации

  Изучим пропозиции и операторы (конъюнкция, дизъюнкция, отрицание и импликация)

  теория
• 4

  Парадоксы

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

  теория
• 5

  Софизмы

  Разберемся, как работают логические софизмы

  теория

  тесты

• 6

  Эквивалентность

  Познакомимся с эквивалентными высказываниями и научимся определять их

  теория

  тесты

• 7

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

  Рассмотрим операции над предикатами и квантификаторами

  теория
• 8

  Правила математической логики

  Изучим два базовых правила логики высказываний

  теория
• 9

  Правила вывода

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

  теория
• 10

  ПДНФ и ПКНФ

  Рассмотреть полную дизъюнктивную нормальную форму (ПДНФ) и полную конъюктивную нормальную форму (ПКНФ).

  теория
• 11

  Введение в теорию множеств

  Раскрыть основные понятия теории множеств.

  теория
• 12

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

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

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

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

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

Отзывы

Ivan Tokarev 30 октября 2019

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

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

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

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

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

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

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

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

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