розділ математики, що вивчає математичні моделі алгоритмів. Поняття «алгоритм» – одне з центральних в сучасній математиці – впродовж тривалого часу мало інтуїтивний характер. Необхідні математичні уточнення цього поняття сформувалися лише в 20-х рр. ХХ ст. у математичній логіці .