Vychislitel'naq model' - äto matematicheskaq model' w wychislitel'noj nauke, kotoraq trebuet bol'shih wychislitel'nyh resursow dlq izucheniq powedeniq slozhnoj sistemy putem komp'üternogo modelirowaniq. Issleduemaq sistema chasto qwlqetsq slozhnoj nelinejnoj sistemoj, dlq kotoroj prostye, intuitiwno ponqtnye analiticheskie resheniq nedostupny. S drugoj storony, obratimye wychisleniq - äto model' wychislenij, w kotoroj wychislitel'nyj process w nekotoroj stepeni obratim. V modeli wychislenij, ispol'zuüschej determinirowannye perehody ot odnogo sostoqniq abstraktnoj mashiny k drugomu, neobhodimym uslowiem obratimosti qwlqetsq to, chto otnoshenie otobrazheniq ot sostoqnij k ih preemnikam dolzhno byt' odin-k-odnomu. Segodnq w ätoj oblasti imeetsq znachitel'nyj ob#em nauchnoj literatury. Fiziki, inzhenery-älektriki i komp'üterschiki razrabotali i proanalizirowali shirokij spektr koncepcij obratimyh ustrojstw, logicheskih wentilej, älektronnyh shem, arhitektur processorow, qzykow programmirowaniq i prikladnyh algoritmow.