Matematikmodelni kurishni 4boskichda amalga oshiriladi.
1. Sistema(ob’ekt) faoliyatiniifodalovchimodelьyordamida javobi izlanayotgan asosiymasalalartuziladi. 2. Sistema(ob’ekt) faoliyatiniboshqaradiganqonunlar to‘plamidan muhimlari hisobga olinadi. 3. Buqonunlargaqo‘shimcha holda,zarurat bo‘lsa,sistema va uningsistema ostilariningishlashihaqida gipotezalar bayonqilinadi. 4. Qonunlar vagipotezalar matematikmunosabatlar shaklida ifodalanadivabu matematikmunosabatlar birlashtiriladi. Modelьyordamidao‘rganilayotgan sistemaning mohiyatigamonand
dinamik,statik,determinirlangan,stoxastik,ochiq,yopiqmodellarhaqidagapirish mumkin.SHumunosabatbilanmodellarni dinamikva statik modellarga,determinirlangan va stoxastikmodellarga,ochiqva yopiqmodellarga
ajratishmumkin.SHuningdek matematikmodellarningdeskriptiv,optimallash,ko‘p kriteriyli,ehtimoliy,o‘yinli,imitatsiondebnomlanuvchi sinflariniuchratishmumkin. Modellashtirishmaqsadlarigabog‘liqholda algoritmikjarayonlarningmodellari yuqoridasanabo‘tilganxossalarningixtiyoriysigaegabo‘lishimumkin. Algoritmlarni ishlabchiqishdaularningva algoritmikjarayonlarningstrukturabo‘yicha,aniqlik bo‘yicha , resurstalablik va vaqtbo‘yichako‘rsatkichlarini baholovchimodellardan foydalaniladi. Ayniqsa,algoritmikjarayonlarningstrukturali modellarsinfinialohida ajratib ko‘rsatish lozim. Odatda ular D →D munosabatningformallashtirilgan ifodasidaniborat bo‘ladi. Maxsusilmiy adabiyotlardaular algoritmlarningmantiqiy sxemalari (Lyapunov sxemalari), YAnovdasturlari sxemalari, Bloxe-Neverov algoritmlariningkanoniksxemalari, Markovalgoritmlari sxemalari va tipik algoritmik jarayonlarsxemalarinomlaribilanma’lum.SHuningdekbularga ko‘psonlichekli avtomatlar modellarinihamkiritishmumkin.