немецкий
английский
Axi·om <-s, -e> [aˈksi̯o:m] СУЩ. ср.
- Axiom
- axiom
английский
немецкий
- postulate МАТЕМ.
- Axiom ср.
- axiom
- Axiom ср. <-s, -e> высок.
PONS OpenDict
Вы хотите добавить слова, фразы или переводы?
Пожалуйста, отправьте нам новый словарный запись для PONS OpenDict. Внесенные предложения проверяются редакцией PONS и соответствующим образом включаются в результаты.
Примеры предложений недоступны
Попробуй ввести другую запись.
Одноязычные примеры (не проверены редакцией PONS)
Die Strukturkonstanten, deren Existenz in den Axiomen gefordert ist, sind die Punkte bzw., also Ursprung bzw. erster Einheitspunkt der Punktbasis.
de.wikipedia.org Außerdem gibt es die Möglichkeit, die Vollständigkeit durch stetige Funktionen zu beschreiben, indem man bestimmte Eigenschaften stetiger Funktionen zu Axiomen erhebt.
de.wikipedia.org Außerdem zeigt die Tabelle, welche Schließungssätze eine Ebene erfüllt, deren Koordinatenbereich die Axiome für einen bestimmten „verallgemeinerten Körper“ erfüllt.
de.wikipedia.org Im Falle des endlich axiomatisierten Systems genügt es sogar, zu überprüfen, ob die Zahl zur Gödelnummer einer der sieben Axiome gleich ist.
de.wikipedia.org Um relativistische Effekte zu erklären, sind die obigen Axiome also nicht ausreichend, und es müssten weitere Regeln eingeführt werden, um die Hohlwelttheorie zu stützen.
de.wikipedia.org Примеры из интернета (не проверены редакцией PONS)
[...]
www-madlener.informatik.uni-kl.de [ Zusätzliche Operatoren in F0, 8P ] Um Formeln aus ganz F im deduktiven System F0 betrachten zu können, kann man weitere Axiome einführen.
[...][...]
[ Additional Operators in F0, 8P ] To cope with formulas from the whole set F in the deductive system F0 we can introduce further axioms.
[...][...]
www-madlener.informatik.uni-kl.de Ist F = ( Ax, R ) ein deduktives System mit korrekten Axiomen ( d.h. Tautologien als Axiome ) und korrekten Regeln, so ist F korrekt.
[...][...]
If F = ( Ax, R ) is a deductive system with sound axioms ( i.e. the axioms are tautologies ) and sound rules, then F is sound.
[...][...]
www.informatik.uni-hamburg.de Der Schwerpunkt dieses Projekts liegt auf der Analyse der Wechselwirkungen zwischen verschiedenen Mengen von Axiomen aus mathematischer Sicht.
[...][...]
The emphasis of this project is put on the analysis of interactions between different sets of axioms from a mathematical point of view.
[...][...]
www-madlener.informatik.uni-kl.de D.h. sind zwei Terme t1 und t2 äquivalent im Sinne der Aussagenlogik und erfüllt eine Interpretation I Ihre Axiome, dann soll I ( t1 ) = I ( t2 ) gelten.
[...][...]
I.e. if two terms t1 and t2 are equivalent in propositional logic and if an interpretation I satisfies your axioms, then I ( t1 ) = I ( t2 ) must hold.
[...][...]
www.math.uni-bonn.de Weitere Untersuchungen haben gezeigt, dass auch einfache kombinatorische Eigenschaften unendlicher Mengen wie die Frage wieviele reelle Zahlen gibt es? von den Zermelo-Fraenkelschen Axiomen nicht entschieden werden.
[...][...]
Further research has shown that some simple properties of infinite sets like “ how many real numbers are there ” are not decided by the Zermelo-Fraenkel axioms.
[...]