скуп симбола и општи поступак за системско решавање одређене класе математичких проблема.