- theoretical computation
- мат. теоретический расчет
Большой англо-русский и русско-английский словарь. 2001.
theoretical computation
Смотреть что такое "theoretical computation" в других словарях:
Theoretical computer science — is the collection of topics of computer science that focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms, and semantics of programming languages. Although not… … Wikipedia
Computation — is defined as any type of calculation.[1] Also defined as use of computer technology in Information processing.[2][3]Computation is a process following a well defined model understood and expressed in an algorithm, protocol, network topology, etc … Wikipedia
Computation tree logic — Computation tree logic (CTL) is a branching time logic, meaning that its model of time is a tree like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is… … Wikipedia
Theoretical Chemistry Accounts — Titre abrégé Theor. Chem. Acc. TCA Discipline Chim … Wikipédia en Français
Theoretical astronomy — Nucleosynthesis Stellar nucleosynthesis Big Bang nucleosynthesis Supernova nucleosynthesis Cosmic ray spallation … Wikipedia
Theoretical Chemistry Accounts — Infobox Journal discipline = Chemistry abbreviation = TCA or Theor. Chem. Acc. website = http://www.springerlink.com/content/1432 2234/?sortorder=asc p o=0 publisher = Springer country = flag|Germany history = 1962 to present ISSN = 1432… … Wikipedia
Computation of radiowave attenuation in the atmosphere — One of the causes of attenuation of radio propagation is the absorption by the atmosphere. There are many well known facts on the phenomenon and qualitative treatments in textbooks.[1] A document published by the International Telecommunication… … Wikipedia
Theory of computation — In theoretical computer science, the theory of computation is the branch that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm. The field is divided into three major branches: automata… … Wikipedia
Interdisciplinary Center for Neural Computation — Infobox University name =The Interdisciplinary Center for Neural Computation native name =המרכז הבינתחומי לחישוביות עצבית established =1992 type =Public endowment = staff = provost = principal = rector = chancellor = vice chancellor = dean =… … Wikipedia
Interval-valued computation — is a special kind of theoretical models for computation. It is capable of working on “interval valued bytes”: special subsets of the unit interval. If such computers were realized, their computation power would be much greater than that of… … Wikipedia
Interactive computation — involves communication with the external world during the computation. This is in contrast to the traditional understanding of computation which assumes a simple interface between a computing agent and its environment, consisting in asking a… … Wikipedia
