SZ tarihını talil etsek, fikir yürsetüv modelleştirilmesi () kibi bir keñ yönelişni ayıra bilirmiz. Yıllar devamında SZ ilminiñ inkişafı, bu yolnen ileriledi ve şimdi bu zemaneviy SZ-nıñ eñ inkişaf etken saalarından biridir. Fikir yürsetüv modelleştirilmesi, kirişinde nasıldır bir vazife qoyulğan ve çıqışında onıñ çezilmesi beklenilgen işaret sistemalarnıñ yaratılmasını közde tuta. Çoqusı allarda, berilgen vazife atta formalleştirigen yani riyaziy şekline keçirilgen, amma çezme algoritmi yoq, ya da bu algoritm pek zor, vaqıt alğan ve ilâhre. Bu yöneliş, teoremanıñ isbatı, qarar qabul etme ve oyun nazariyesi, planlaştırma ve dispetçerlik etme, tahmin etmeden ibarettir.