Translation for "predikaattilogiikka" to english

Predikaattilogiikka

• predicate logic

Translation examples

predicate logic

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.