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

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

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

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

Описание

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

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

• 1

  Введение

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

  теория
• 2

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

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

  теория
• 3

  Нотации

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

  теория
• 4

  Парадоксы

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

  теория
• 5

  Софизмы

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

  теория

  тесты

• 6

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

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

  теория

  тесты

• 7

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

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

  теория
• 8

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

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

  теория
• 9

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

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

  теория
• 10

  ПДНФ и ПКНФ

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

  теория
• 11

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

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

  теория
• 12

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

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

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

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

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