английский
немецкий
I. predi·cate СУЩ. [ˈpredɪkət, америк. -kɪt]
- predicate ЛИНГВ., ИНФОРМ.
-
- predicate ЛИНГВ. also
-
predicate logic СУЩ.
- predicate logic МАТЕМ.
-
немецкий
английский
-
- 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
Вы хотите добавить слова, фразы или переводы?
Пожалуйста, отправьте нам новый словарный запись для PONS OpenDict. Внесенные предложения проверяются редакцией PONS и соответствующим образом включаются в результаты.
Примеры предложений недоступны
Попробуй ввести другую запись.
Одноязычные примеры (не проверены редакцией 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 Примеры из интернета (не проверены редакцией 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:
[...]