Алгоритмизация на ряду с моделированием выступает в качестве общего метода информатики. Алгоритмы являются объектом систематического исследования граничащего с математикой и информатикой, это иссследование является научной дисциплиной близкой к математической логике и называется теорией алгоритмов.