Сложность
Сложность
Начинающий
Тип обучения
Тип обучения
Курс
Формат обучения
Формат обучения
Записанные лекции
Трудоустройство
Трудоустройство
Отсутствует

Стоимость курса

3 900 ₽
нет рассрочки

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

  • 10 уроков (видео и/или текст)
  • 6 проверочных тестов
  • Самостоятельная работа
  • Дополнительные материалы
  • Помощь в «Обсуждениях»
  • Доступ к остальным курсам платформы

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

  • Переводить высказывания с естественного языка на формальный математический язык
  • Предлагать ясные, однозначные и простые интерпретации высказываний, которые будут близки к формальным математическим понятиям
  • Оперировать базовыми правилами логики
 
Формальная логика пригодится, если вы станете инженером-программистом, займетесь аналитикой данных или решите изучать программирование на продвинутом уровне. Математика и логика помогают программистам быстрее учиться, смотреть на код под другим углом и мыслить по-новому. Это базовый курс, поэтому он подходит для начинающих. Чтобы пройти его, достаточно знаний по математике из школьной программы.

Что вы получите после обучения

Приобретаемые навыки
2
Логические высказывания
3
Таблица истинности
4
Нормальная форма
5
Предикаты
6
Множества
7
Аксиомы
8
Математическая логика

Образовательная организация

Онлайн-школа программирования, за выпускниками которой охотятся компании

Первого студента мы трудоустроили в 2013 году. Тогда требования к знаниям джуниоров были выше, а трава зеленее

Это отразилось на программах обучения, на их проработке и глубине. Собеседования для студентов Хекслета проходят под девизом: «Хм, на Хекслете задачки были сложнее»

Иногда наши студенты попадают на работу без проведения технического интервью, только на основе анализа кода проектов

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

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

1 Введение

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

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

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

3 Нотации

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

4 Парадоксы

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

5 Софизмы

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

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

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

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

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

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

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

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

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

10 ПДНФ и ПКНФ

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

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

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

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

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

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

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

Рейтинг курса

3.4
рейтинг
0
0
0
0
0

Может быть интересно

обновлено 08.11.2024 18:07
Введение в математическую логику

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

Оставить отзыв
Поделиться курсом с друзьями