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

Вступительное видео к курсу "Математическая логика и теория алгоритмов" https://stepik.org/course/48679 от ТУСУР