લોજિકલ મોડેલ, વિકલન અને બીજગણિતના સમીકરણો દ્વારા આપવામાં આવે છે (જોકે વાપરી શકાય અને તેમના ઉકેલો સમય એક કાર્ય તરીકે રજૂ).