Translation for "predikaattilogiikalla" to english

Predikaattilogiikalla

• predicate logic
• with predicate logic

Translation examples

predicate logic

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.
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

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

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

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

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

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