slovodefinícia
deductive
(encz)
deductive,deduktivní adj: Zdeněk Brož
Deductive
(gcide)
Deductive \De*duct"ive\, a. [Cf. L. deductivus derivative.]
Of or pertaining to deduction; capable of being deduced from
premises; deducible.
[1913 Webster]

All knowledge of causes is deductive. --Glanvill.
[1913 Webster]

Notions and ideas . . . used in a deductive process.
--Whewell.
[1913 Webster]
deductive
(wn)
deductive
adj 1: relating to logical deduction; "deductive reasoning"
2: involving inferences from general principles [ant:
inductive]
podobné slovodefinícia
deductive
(encz)
deductive,deduktivní adj: Zdeněk Brož
deductive reasoning
(encz)
deductive reasoning, n:
deductively
(encz)
deductively,deduktivně adv: Zdeněk Brož
Deductively
(gcide)
Deductively \De*duct"ive*ly\, adv.
By deduction; by way of inference; by consequence. --Sir T.
Browne.
[1913 Webster]
deductive
(wn)
deductive
adj 1: relating to logical deduction; "deductive reasoning"
2: involving inferences from general principles [ant:
inductive]
deductive reasoning
(wn)
deductive reasoning
n 1: reasoning from the general to the particular (or from cause
to effect) [syn: deduction, deductive reasoning,
synthesis]
deductive database
(foldoc)
deductive database

A combination of a conventional database
containing facts, a knowledge base containing rules, and
an inference engine which allows the derivation of
information implied by the facts and rules.

Commonly, the knowledge base is expressed in a subset of
first-order logic and either a SLDNF or Datalog
inference engine is used.

(1995-04-27)
deductive tableau
(foldoc)
deductive tableau

A theorem proof system consisting of a table whose rows
contain assertions or goals. Variables in assertions are
implicitly universally quantified and variables in goals are
implicitly existentially quantified. The declarative meaning
of a tableau is that if every instance of every assertion is
true then some instance of at least one of the goals is true.

(1994-12-07)

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