Курс «Введение в теоретическую информатику» от платформы Stepik включает в себя первостепенные понятия и математические результаты, которые могут пригодиться и теоретикам, и практикам программирования.
Здесь нет сложной математики, так что усвоить учебную программу не должно составить вам труда.
Вам подойдет этот курс, если вы:
- хотите узнать основы теоретической информатики;
- практик программирования и желаете узнать, как теория может помочь вам в работе.
- имеете представление о программировании и знаете основы высшей математики;
- студент младших курсов технической специальности.
Ключевые навыки, которые вы освоите на этом курсе:
- применение теоретической информатики для решения задач программирования;
- оценка сложности произвольных функций;
- построение контрпримера;
- машины Тьюринга — оценка времени работы;
- решение переборных задач;
- использование контекстно-свободных языков;
- основы криптографии.
Учебная программа:
- разрешающие деревья;
- функциональные элементы, схемы из них;
- пропозициональная логика;
- вычислимость;
- универсальные функции и их программы;
- машины Тьюринга;
- ассоциативные исчисления;
- сложность переборных задач;
- ускорение перебора;
- конечные автоматы;
- контекстно-свободные языки;
- игры: теорема Цермело;
- коды: исправление ошибок, код Хемминга;
- коммуникационная сложность;
- арифметика: алгоритм Евклида, остатки, числа;
- криптография;
- интерактивные доказательства;
- правила Хоара.
В конце обучения выдается сертификат. Начать курс можно в любое время, зарегистрировавшись на платформе.
Вступительное видео к курсу «Введение в теоретическую информатику»: