slovodefinícia
computable
(encz)
computable,vypočitatelný adj: Zdeněk Brož
Computable
(gcide)
Computable \Com*put"a*ble\, a. [L. computabilis.]
Capable of being computed, numbered, or reckoned.
[1913 Webster]

Not easily computable by arithmetic. --Sir M. Hale.
[1913 Webster]
computable
(wn)
computable
adj 1: may be computed or estimated; "a calculable risk";
"computable odds"; "estimable assets" [syn: computable,
estimable]
computable
(foldoc)
computability theory
computable

The area of theoretical computer science
concerning what problems can be solved by any computer.

A function is computable if an algorithm can be implemented
which will give the correct output for any valid input.

Since computer programs are countable but real numbers are
not, it follows that there must exist real numbers that
cannot be calculated by any program. Unfortunately, by
definition, there isn't an easy way of describing any of them!

In fact, there are many tasks (not just calculating real
numbers) that computers cannot perform. The most well-known
is the halting problem, the busy beaver problem is less
famous but just as fascinating.

["Computability", N.J. Cutland. (A well written
undergraduate-level introduction to the subject)].

["The Turing Omnibus", A.K. Dewdeney].

(1995-01-13)
podobné slovodefinícia
incomputable
(encz)
incomputable,nevypočitatelný adj: Zdeněk Brož
recomputable
(encz)
recomputable,nevypočitatelný adj: Zdeněk Brož
uncomputable
(encz)
uncomputable,
Computable
(gcide)
Computable \Com*put"a*ble\, a. [L. computabilis.]
Capable of being computed, numbered, or reckoned.
[1913 Webster]

Not easily computable by arithmetic. --Sir M. Hale.
[1913 Webster]
Incomputable
(gcide)
Incomputable \In`com*put"a*ble\, a.
Not computable.
[1913 Webster]
incomputable
(wn)
incomputable
adj 1: beyond calculation or measure; "of incalculable value";
"an incomputable amount"; "jewels of inestimable value";
"immeasurable wealth" [syn: incomputable,
inestimable, immeasurable]
effective computable
(foldoc)
effective computable

A term describing a function for which there is an
effective algorithm that correctly calculates the function.
The algorithm must consist of a finite sequence of
instructions.

(1996-05-03)
logic for computable functions
(foldoc)
Logic for Computable Functions
LCF

(LCF) Part of the Edinburgh proof assistant.

[What is it? Address?]

(1995-01-06)

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4