Subject | Russian | English |
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) |
gen. | закон гласит | the law reads |
Makarov. | закон гласит | the law says |
law | закон гласит: | the law states that (Alex_Odeychuk) |
gen. | закон гласит | the law says |
gen. | закон гласит : | the law says |
notar. | закон гласит, что | law states that (Yeldar Azanbayev) |
Makarov. | закон гласит, что необходимо соблюдать ограничения скорости | the law sets down that speed limits must be obeyed |
Makarov. | как гласит закон | as by law enacted |
Makarov. | нравственный закон гласит: не нападай! | the moral law says – do not |
Makarov. | первая поправка к Конституции США гласит, что "Конгресс не должен издавать ни одного закона, ... ограничивающего свободу слова или печати" | the First Amendment to die Constitution of the USA declares that "Congress shall make no law... abridging the freedom of speech or of the press" |
progr. | Усовершенствования программного обеспечения характеризуются Законом Корбато, который гласит, что число строк кода остаётся неизменным независимо от используемого языка | the improvements in software are characterized by Corbato's law, which states that the number of lines of code is the same, independent of the language used (Bob Frankston) |