પ્રોગ્રામની પધ્ધતિઓ દ્વારા સમસ્યાનું નિરૂપણ અને તેના ઉકેલની જરૂરિયાતનું પુરાવા;