- recursively realizable
- мат. рекурсивно реализуемый
Большой англо-русский и русско-английский словарь. 2001.
recursively realizable
Смотреть что такое "recursively realizable" в других словарях:
Hardware description language — In electronics, a hardware description language or HDL is any language from a class of computer languages and/or programming languages for formal description of electronic circuits. It can describe the circuit s operation, its design and… … Wikipedia
Realizability — is a part of proof theory which can be used to handle information about formulas instead of about the proofs of formulas. [Oosten, pp. 3 5] A natural number n is said to realize a statement in the language of arithmetic of natural numbers. Other… … Wikipedia
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
