-
1 admissible conclusion
Большой англо-русский и русско-английский словарь > admissible conclusion
-
2 admissible conclusion
Программирование: допустимое умозаключение -
3 admissible conclusion
English-Russian dictionary of computer science and programming > admissible conclusion
-
4 conclusion
English-Russian dictionary of computer science and programming > conclusion
-
5 допустимое умозаключение
Большой англо-русский и русско-английский словарь > допустимое умозаключение
-
6 procedure
1) мероприятие2) метод; методика4) операция5) компьют. подпрограмма6) процедура, порядок выполнения7) процесс• -
7 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule
См. также в других словарях:
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia
Regle d'inference — Règle d inférence Dans un système logique, les règles d inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L application des règles sur les axiomes du système permet d en démontrer les théorèmes.… … Wikipédia en Français
Règle d'inférence — Dans un système logique, les règles d inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L application des règles sur les axiomes du système permet d en démontrer les théorèmes. Sommaire 1… … Wikipédia en Français
South African contract law — is essentially a modernised version of the Roman Dutch law of contract, [1] which is itself rooted in Roman law. In the broadest definition, a contract is an agreement entered into by two or more parties with the serious intention of creating a… … Wikipedia
Variable régionalisée — La VR comme phénomène physique : topographie de la ville de Binche … Wikipédia en Français
EVIDENCE — Non Evidentiary Proceedings in Biblical Law The revelation of divine law is found not only in legislation but also in adjudication in particular cases (cf. Lev. 24:12–13; Num. 15:32–34; 27:1–8; Deut. 1:17), whether through Moses or judges or… … Encyclopedia of Judaism
Hierarchy of the Early Church — • The word hierarchy is used here to denote the three grades of bishop, priest, and deacon (ministri) Catholic Encyclopedia. Kevin Knight. 2006. Hierarchy of the Early Church Hierarchy of the Early Church … Catholic encyclopedia
Miranda warning — The Miranda warning (also referred to as Miranda rights) is a warning that is required to be given by police in the United States to criminal suspects in police custody (or in a custodial interrogation) before they are interrogated to inform them … Wikipedia
Sharia — Not to be confused with Shahriyār. This article is part of the series … Wikipedia
evidence — ev·i·dence 1 / e və dəns, ˌdens/ n [Medieval Latin evidentia, from Latin, that which is obvious, from evident evidens clear, obvious, from e out of, from + videns, present participle of videre to see]: something that furnishes or tends to furnish … Law dictionary