- formal computation
- мат. формальное вычисление
Большой англо-русский и русско-английский словарь. 2001.
formal computation
Смотреть что такое "formal computation" в других словарях:
Formal epistemology — is a subdiscipline of epistemology that utilizes formal methods from logic, probability theory and computability theory to elucidate traditional epistemic problems. TopicsSome of the topics that come under the heading of formal epistemology… … 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
Computation history — In computer science, a computation history is a sequence of steps taken by an abstract machine in the process of computing its result. Computation histories are frequently used in proofs about the capabilities of certain machines, and… … Wikipedia
Formal semantics of programming languages — In theoretical computer science, formal semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages and models of computation. The formal semantics of a language is given by a mathematical model… … Wikipedia
Computation in the limit — In computability theory, a function is called limit computable if it is the limit of a uniformly computable sequence of functions. The terms computable in the limit and limit recursive are also used. One can think of limit computable functions as … Wikipedia
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia
computation — UK [ˌkɒmpjʊˈteɪʃ(ə)n] / US [ˌkɑmpjəˈteɪʃ(ə)n] noun Word forms computation : singular computation plural computations formal a) [countable/uncountable] the process of calculating a number or amount b) [countable] a number or amount that you have… … English dictionary
Computation Tree Logic — Die Computation Tree Logic (kurz CTL) ist eine Temporale Logik, die speziell zur Spezifikation und Verifikation von Computersystemen dient. Meist wird sie auch mit CTL* bezeichnet. CTL bezeichnet dann eine spezielle Teilmenge der CTL* Formeln.… … Deutsch Wikipedia
computation — compute UK US /kəmˈpjuːt/ verb FORMAL ► [T] to calculate something: »The government uses the household survey to compute the monthly unemployment rate. »The firm declined to discuss the deal or say how the $650,000 figure was computed. »Net asset … Financial and business terms
computation — com|pu|ta|tion [ˌkɔmpjuˈteıʃən US ˌka:m ] n [U and C] formal the process of calculating or the result of calculating ▪ the computation of the monthly statistics >computational adj ▪ computational linguistics … Dictionary of contemporary English
computation — com|pu|ta|tion [ ,kampjə teıʃn ] noun VERY FORMAL count or uncount the process of calculating a number or amount a. count a number that you have calculated … Usage of the words and phrases in modern English
