Ma'lum bir masalani yechish uchun ketma-ket bajariladigan aniq, tugallanadigan va mantiqan bog'langan amallar to'plami. Xususiyatlari: aniqlik, tugallanish, samaradorlik, umumiylik, deterministiklik yoki noaniqlik, tekshiriluvchanlik, qayta ishlanuvchanlik