Käännös "predicate logic" suomalainen

Predicate logic

• predikaattilogiikalla
• predikaattilogiikka

Käännösesimerkit

predikaattilogiikalla

Within academic contexts, the syllogism was superseded by first-order predicate logic following the work of Gottlob Frege, in particular his Begriffsschrift (Concept Script) (1879), but syllogisms remain useful in some circums
Akateemisissa yhteyksissä syllogismin syrjäytti ensimmäisen asteen predikaattilogiikka, jonka kehitti Gottlob Frege varsinkin teoksessaan Begriffsschrift (1879), mutta syllogismit ovat yhä hyödyllisiä joissakin yhteyksissä, ja niitä käytetään edelleen myös yleistajuisissa johdatuksissa logiikkaan.

Its semantics is based on first order predicate logic.
Semanttisten verkkojen ilmaisuvoima vastaa ensimmäisen kertaluvun predikaattilogiikkaa.

Relational model is a database model based on first-order predicate logic.
Relaatiomalli on ensimmäisen kertaluvun predikaattilogiikkaan perustuva tietokantamalli.

Symbolic logic is usually divided into two subfields, propositional logic and predicate logic.
Symbolinen logiikka jaetaan tavallisesti kahteen alaosaan, propositiologiikkaan ja predikaattilogiikkaan.

Predicate logic, originally called predicate calculus, expands on propositional logic by the introduction of variables and by sentences containing variables, called predicates.
Pääartikkeli: Predikaattilogiikka Predikaattilogiikka on propositiologiikan laajennus, joka tuo mukaan muuttujat, lauseet eli predikaatit.

Pure Prolog is restricted to Horn clauses, a Turing-complete subset of first-order predicate logic.
Pelkistettynä Prolog rajoittuu Hornin klausuuleihin, mikä on Turing-vahva ensimmäisen kertaluvun predikaattilogiikan osajoukko.