- explicitly calculable
- мат. вычислимый в явном виде
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Postmodernist theory — Lyotard, Baudrillard and others Thomas Docherty INTRODUCTION Philosophy has been touched by postmodernism. Philosophy, in the modern academy, is supposed to be the discipline of disciplines: it is philosophy which will be able to gather together … History of philosophy
KIPPER — (Heb. כִּפֵּר). Etymology The customary rendering of kipper is to atone for, or expiate but in most cases this is, at best, imprecise. In poetry its parallel synonym is maḥah ( to wipe away ; Jer. 18:23), or hesir ( to remove ; Isa. 27:9, cf. the … Encyclopedia of Judaism
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Bible prophecy — Part of a series on The Bible … Wikipedia
Criticism of the Bible — This article is about criticisms made against the Bible as a source of reliable information or ethical guidance. For the academic treatment of the bible as a historical document, see Biblical criticism. The Gutenberg Bible, the first printed… … Wikipedia
Lazy evaluation — In computer programming, lazy evaluation (or delayed evaluation) is the technique of delaying a computation until such time as the result of the computation is known to be needed.The actions of lazy evaluation include: performance increases due… … Wikipedia
Digital physics — In physics and cosmology, digital physics is a collection of theoretical perspectives based on the premise that the universe is, at heart, describable by information, and is therefore computable. Therefore, the universe can be conceived as either … Wikipedia
International System of Units — SI redirects here. For other uses, see Si (disambiguation). Cover of brochure The International System of Units The International System of Units[1] (abbreviated SI from French: Système international d unités[2]) is the modern … Wikipedia