predicate logic oor Nederlands
predicate logic
en
(logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
Vertalings in die woordeboek Engels - Nederlands
predicatenlogica
en
generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
They are typically based on predicate logic but can also be based on any system of formal logic.
Hij hield veel van haarWikiMatrix WikiMatrix
Relational model is a database model based on first-order predicate logic.
o voor de verkiezing van de Senaat, de lijsten die minstens # % van het algemeen totaal van de geldig uitgebrachte stemmen ten gunste van de lijsten die voorgedragen zijn voor het Nederlandsekiescollege of het Franse kiescollege, naargelang van het geval, behaald hebben. »WikiMatrix WikiMatrix
Symbolic logic is usually divided into two subfields, propositional logic and predicate logic.
En iets kleurigs aan de muurWikiMatrix WikiMatrix
In the specific cases of propositional logic and predicate logic, the formal languages considered have alphabets that are divided into two sets: the logical symbols (logical constants) and the non-logical symbols.
Kijk het is heel eenvoudigWikiMatrix WikiMatrix
The logic of basho is a non-dualistic 'concrete' logic, meant to overcome the inadequacy of the subject-object distinction essential to the subject logic of Aristotle and the predicate logic of Kant, through the affirmation of what he calls the 'absolutely contradictory self-identity' — a dynamic tension of opposites that, unlike the dialectical logic of Hegel, does not resolve in a synthesis.
De operatie werkt afschermend ten aanzien van de gasvraag van Portgás, de enige lokale distributieonderneming die niet onder de zeggenschap van GDP staatWikiMatrix WikiMatrix
Well, given that missing you is predicated on you leaving logic dictates you must leave.
Sunset Strip, een half jaar laterOpenSubtitles2018.v3 OpenSubtitles2018.v3
In each case, the predicate may be the identifier of a profile feature, or a boolean combination of predicates ("¬" is the symbol for logical negation).
van buitenlandse atleten, buitenlandse scheidsrechters en buitenlandse juryleden van het station of de luchthaven naar de plaats van overnachting en terug en van de plaats van overnachting naar de plaats waar de sportmanifestatie plaatsvindt en terug, van juryleden, van scheidsrechters en seingevers, vervoerskosten van sportmateriaal, aankoop van brandstof voor huurwagens en ter beschikking gestelde wagens en andere kosten voor het vervoer en de verplaatsingenEurLex-2 EurLex-2
So, why doesn't predicate logic (algebra) support past tense reasoning – nor possessive reasoning – in a natural way?
Eerst slaat u me en nu moet ik helpenParaCrawl Corpus ParaCrawl Corpus
Why doesn't predicate logic (algebra) support possessive reasoning in a natural way?
Niets, maar dit is m' n laatste kans om erachter te komen wat de waarheid isParaCrawl Corpus ParaCrawl Corpus
We’ll cover modal logic and, if the classes have advanced far enough, the first part of predicate logic.
Je hebt heel goed gehandeldParaCrawl Corpus ParaCrawl Corpus
Two basic systems are dealt with, namely propositional and predicate logic (of first order.
Ik ben me van geen signalen bewustParaCrawl Corpus ParaCrawl Corpus
The two basic systems are dealt with in extenso, namely propositional and predicate logic (of first order.
Verzoeker voert tot staving van zijn beroep aan dat de stelling van de Commissie dat elke wijziging ter zake van de deelnemers aan het project nadat de financieringsovereenkomst is gesloten, het voorwerp moet uitmaken van een herzieningsovereenkomst, onjuist is, daar dit vereiste niet uit de financieringsovereenkomst kan worden afgeleidParaCrawl Corpus ParaCrawl Corpus
Knowing and understanding the system of natural deduction for proposition logic as well as for predicate logic.
Ze is vermoord door haar moeder.Voor dood achtergelaten in een waterputParaCrawl Corpus ParaCrawl Corpus
Also possessive reasoning – reasoning using possessive verb “has/have” – is not supported by predicate logic (algebra):
Wellicht kan in de toekomst het wrak nader onderzocht wordenParaCrawl Corpus ParaCrawl Corpus
Syntactic categories were identified with logical ones, and all sentences were analyzed in terms of "subject – copula – predicate".
Geneesmiddelen dienen niet weggegooid te worden via het afvalwater of met huishoudelijke afvalWikiMatrix WikiMatrix
First-order logic is a philosophical system of reasoning... using " if-then " statements as quantifiers and predicates.
Hij kwam uit een andere wereld, onmiskenbaar geleid door SatanOpenSubtitles2018.v3 OpenSubtitles2018.v3
The last model, which is based on predicate logic and set theory (Codd 1970), contains multiple tables, each consisting of a ‘flat’ database of rows and columns.
De steun zou zijn gebruikt voor de herstructurering van de scheepswerf- en dus overeenkomstig zijn doelstellingenParaCrawl Corpus ParaCrawl Corpus
The written exam is a closed book exam and includes for each part (propositional logic, predicate logic and lambda calculus) at least a theoretical question and an exercise.
Maar ze is een lawaaiige buurvrouwParaCrawl Corpus ParaCrawl Corpus
However, the same conclusion – but in the past tense form – is not described in any scientific paper, because scientists "forgot" to define predicate logic (algebra) for past tense:
Tien secondenParaCrawl Corpus ParaCrawl Corpus
The content of the database at any given time is a finite (logical) model of the database, i.e. a set of relations, one per predicate variable, such that all predicates are satisfied.
Ik heb het geld dus wat is het probleem?WikiMatrix WikiMatrix
After all, everything exists in comparison to everything else, as can be seen in the “equal” sign in the formal predicative structure of logical knowing and the functional normative structure of acting practically, as well as in the socially axiological structure of ethical judgement.
Daar ben ik blij om, heel blijParaCrawl Corpus ParaCrawl Corpus
In his endeavour to tell images from language, In passing: Boehm declares, in another context, that the difference between both is to be found in the opposition between propositional and non-propositional 'The logic of images is non-predicative' (2007,34).
Negen ondernemingen verzochten om een behandeling als nieuwe producent/exporteurParaCrawl Corpus ParaCrawl Corpus
Logical and rational, with the provision that we prefer to give the predicate ‘green’ to the final products, and receive the connected premium.
Opstaan, jongens en meisjesParaCrawl Corpus ParaCrawl Corpus
In first-order logic, this is a schema, since we can't quantify over expressions like F (which would be a functional predicate).
slaperigheidParaCrawl Corpus ParaCrawl Corpus
Metaphysics, but more certainly revelation, affords a common meeting ground for the discoveries of both science and religion and makes possible the human attempt logically to correlate these separate but interdependent domains of thought into a well-balanced philosophy of scientific stability and religious certainty. In the mortal state, nothing can be absolutely proved; both science and religion are predicated on assumptions.
Het is van wezenlijk belang te voorzien in de mededeling van de belangrijkste feiten en overwegingen aan de partijen die voor een dergelijke behandeling in aanmerking komen en dat deze mededeling, met inachtneming van het in de Gemeenschap geldende besluitvormingsproces, tijdig dient plaats te vinden, zodat de belanghebbendenhun belangen kunnen verdedigenParaCrawl Corpus ParaCrawl Corpus
25 sinne gevind in 11 ms. Hulle kom uit baie bronne en word nie nagegaan nie.