Курс раскрывает фундаментальные основы информатики, как науки и затрагивает такие базовые понятия информатики как алгоритм (основное понятие информатики), программа, бесконечность, формальный язык, задача, сводимость, алгоритмическая неразрешимость и сложность.