Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Russian
Terms
containing
which was to be proved
|
all forms
|
in specified order only
Subject
English
Russian
progr.
To
prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution
для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение
(см.
Communicating Sequential Processes by C.A.R. Hoare
1985
ssn
)
Makarov.
the increment of heat which proves fatal is from 11 deg. To 12 deg. Fahr. Above the natural temperature of the animal
Рост температуры относительно нормы на 11-12 градусов по Фаренгейту является для животного фатальным
math.
which was to be proved
что и требовалось доказать
Get short URL