Введение в математическую логику
-
Бессрочный доступ к теории
-
Асинхронный формат обучения
Включено в курс
Чему вы научитесь
- Переводить высказывания с естественного языка на формальный математический язык
- Предлагать ясные, однозначные и простые интерпретации высказываний, которые будут близки к формальным математическим понятиям
Описание
На этом курсе вы изучите язык математики и узнаете его базовые правила — они помогут яснее рассуждать и доносить свои мысли. Формальная логика пригодится, если вы станете инженером-программистом, займетесь аналитикой данных или решите изучать программирование на продвинутом уровне. Математика и логика помогают программистам быстрее учиться, смотреть на код под другим углом и мыслить по-новому.
Программа курса
-
5
Эквивалентность
Познакомимся с эквивалентными высказываниями и научимся определять их -
9
ПДНФ и ПКНФ
Рассмотреть полную дизъюнктивную нормальную форму (ПДНФ) и полную конъюктивную нормальную форму (ПКНФ). -
11
Самостоятельная работа
Дополнительные задания, которые позволяют закрепить полученную теорию -
12
Дополнительные материалы
Статьи и видео, подобранные командой Хекслета. Помогут глубже погрузиться в тему курса
Формат обучения
Отзывы
Великолепный материал, всегда был трояк по математике. Но воспользовавшись советами Hexlet решил все-таки погрузиться в логику. А тут проанализировав по шагам пришел к выводам автора и все стало ясно как белый день. думаю надо вернуться к второй лекции чтобы получше запомнить теоремы и их применение. У автора талант оратора, браво!
В целом, конечно все описанные законы заставляют немного пошевелить извилинами, но импликация - это, блин, полный вынос мозга!) Спасибо за курс, это как раз то, что надо!