Математическая логика и теория алгоритмов

Курс «Математическая логика и теория алгоритмов» от платформы Stepik поможет изучить базовые знания.

Вы сможете использовать полученную информацию не только в программировании, но и для разного рода жизненных ситуациях.

Вам подойдет этот курс, если вы:

  • студент инженерной специальности;
  • учитесь в старших классах и хотите узнать побольше о математической логике;
  • знакомы с основами математического анализа;
  • знаете базу императивного программирования.

Ключевые навыки, которые вы освоите на этом курсе:

  • операции над множествами;
  • язык логики высказываний;
  • перевод с естественного языка на логический и наоборот;
  • построение математических теорий;
  • индуктивное рассуждение;
  • оценка сложности алгоритмов.

Учебная программа:

  • введение в математическую логику;
  • основные концепции теории множеств;
  • логика высказываний;
  • языки первого порядка;
  • аксиоматический метод;
  • математика и доказательства;
  • сложность алгоритмов, теория алгоритмов;
  • финальный тест.

В материалах курса есть конспекты со ссылками на источники. Усвоение знаний проверяется тестами, а информация подкреплена примерами и пояснениями.

В конце обучения выдается сертификат.

Вступительное видео к курсу «Математическая логика и теория алгоритмов»:

Оцените курс
ОтвратительноПлохоУдовлетворительноХорошоОтлично! (0)
Загрузка...

Добавить комментарий