Se connecter
|
French
|
Conditions d'utilisation
Dictionnaire
Le forum
Contacts
Russe
⇄
Allemand
Anglais
Bokmål norvégien
Danois
Français
Italien
Japonais
Langues chinoises
Néerlandais
Polonais
Tchèque
Termes
pour sujet
Programmation
contenant
общее решение
|
Toutes les formes
Russe
Anglais
для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение
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
)
Obtenir une URL courte