inglese
tedesco
I. predi·cate SOST [ˈpredɪkət, ingl am -kɪt]
- predicate LING, INFORM
-
- predicate LING also
-
predicate logic SOST
- predicate logic MAT
-
tedesco
inglese
-
- predicate
| I | predicate |
|---|---|
| you | predicate |
| he/she/it | predicates |
| we | predicate |
| you | predicate |
| they | predicate |
| I | predicated |
|---|---|
| you | predicated |
| he/she/it | predicated |
| we | predicated |
| you | predicated |
| they | predicated |
| I | have | predicated |
|---|---|---|
| you | have | predicated |
| he/she/it | has | predicated |
| we | have | predicated |
| you | have | predicated |
| they | have | predicated |
| I | had | predicated |
|---|---|---|
| you | had | predicated |
| he/she/it | had | predicated |
| we | had | predicated |
| you | had | predicated |
| they | had | predicated |
PONS OpenDict
Vuoi aggiungere una parola, una frase o una traduzione?
Inviaci un nuovo contributo per il PONS OpenDict. I suggerimenti inviati vengono esaminati dalla redazione di PONS e inseriti di conseguenza nei risultati.
Nessuna frase d'esempio disponibile
Prova con un'altra voce.
Esempi monolingue (non verificati dalla Redazione di PONS)
They are typically based on predicate logic but can be based on any system of formal logic.
en.wikipedia.org Some authors refer to predicate logic with identity to emphasize this extension.
en.wikipedia.org In informal usage, the term predicate logic occasionally refers to first-order logic.
en.wikipedia.org The main difference between truth-value semantics and the standard semantics for predicate logic is that there are no domains for truth-value semantics.
en.wikipedia.org It is also known as first-order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic.
en.wikipedia.org Esempi dal web (non verificati dalla Redazione di PONS)
[...]
www.is.inf.uni-due.de This paper defines a formal model of data types with vaguge predicates, linear schemas and uncertain mappings between attributes of heterogeneous schemas.
[...][...]
Dieses Paper definiert ein formales Modell von Datentypen mit vaguen Prädikaten, linearen Schemata und unsicheren Mappings zwischen Attributen aus verschiedenen Schemata.
[...][...]
www.uni-duesseldorf.de Therefore HHU has been carrying the predicate of “ Family-friendly University ” since 2008.
[...][...]
Seit 2008 trägt die HHU daher nicht ohne Grund das Prädikat „ Familienfreundliche Hochschule “.
[...][...]
www.austrogast.at As an island is the village surrounded by huge trees in the middle of an area by UNESCO, the predicate, "World Cultural and Natural Heritage".
[...]
Wie eine Insel liegt der Ort umzingelt von gewaltigen Bäumen in mitten einem Gebiet, das von der UNESCO das Prädikat, „Weltkultur- und Naturerbe“ erhielt.
[...]
manual.altova.com In order for the first Region element to be selected using the [1] predicate, the Include Indices check box must be checked and the Update Columns button clicked.
[...]
Damit mit Hilfe des Prädikats [1] das erste Region Element ausgewählt wird, muss das Kontrollkästchen "Indizes....inkludieren" aktiviert werden und Sie müssen auf die Schaltfläche Spalten aktualisieren klicken.
[...]
manual.altova.com In this example, * is used with two predicates:
[...][...]
In diesem Beispiel wird bei zwei Prädikaten * verwendet:
[...]