Вхід
|
Ukrainian
|
Угода користувача
Словники
Форум
Контакти
Російська
⇄
Італійська
Англійська
Данська
Китайська
Норвезька
Нідерландська
Німецька
Польська
Французька
Чеська
Японська
Терміни
за тематикою
Програмування
що містять
общее решение
|
усі форми
Російська
Англійська
для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение
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
)
некоторые общие модели решений
several general solution paradigms
(
ssn
)
общая концепция решения
general solution concept
(
ssn
)
общая схема решения
general solution pattern
(
ssn
)
общие модели решений
general solution paradigms
(
ssn
)
общий процесс решения проблем
generic problem-solving process
(
ssn
)
постановка задачи и общая схема решения
problem definition and general solution pattern
(
ssn
)
Коротке посилання