問題を解くための手順を定式化した形で表現したもので、正しくその解を得るための具体的手順及び根拠を与えること。