2-ой семестр изучения дисциплины посвящен частично-рекурсивным функциям, неразрешимым проблемам арифметики и сложности алгоритмов. Приобретенные знания необходимы в курсах, связанных с программированием, анализом данных и ИИ. .