Come desideri usare PONS.com?

Hai già un abbonamento a PONS Pur o PONS Translate Pro?

PONS con annunci

Visita come di consueto PONS.com con tracking e annunci pubblicitari

Puoi trovare informazioni più dettagliate sul tracking nelle Informazioni sulla privacy e nelle Impostazioni sulla privacy.

PONS Pur

Senza pubblicità di fornitori terzi

Senza tracking pubblicitario

Abbonati ora

Se hai già un account utente gratuito per PONS.com puoi abbonarti a PONS Pur .

We process your data to deliver content or advertisements and measure the delivery of such content or advertisements to extract insights about our website. We share this information with our partners on the basis of consent and legitimate interest. You may exercise your right to consent or object to a legitimate interest, based on a specific purpose below or at a partner level in the link under each purpose. These choices will be signaled to our vendors participating in the Transparency and Consent Framework.

Cookies, device or similar online identifiers (e.g. login-based identifiers, randomly assigned identifiers, network based identifiers) together with other information (e.g. browser type and information, language, screen size, supported technologies etc.) can be stored or read on your device to recognise it each time it connects to an app or to a website, for one or several of the purposes presented here.

Advertising and content can be personalised based on your profile. Your activity on this service can be used to build or improve a profile about you for personalised advertising and content. Advertising and content performance can be measured. Reports can be generated based on your activity and those of others. Your activity on this service can help develop and improve products and services.

Note legaliProtezione dei datiImpostazioni sulla privacy
两国关系解冻
Axiome
inglese
inglese
tedesco
tedesco

New·ton's axi·oms [ˌnju:tənz ˈ-, ingl am ˌnu:-, ˌnju:-] SOST pl FIS

Newton's axioms
Newtonsche Axiome pl [o. Gesetze] (der klassischen Mechanik)

axi·om [ˈæksiəm] SOST

axiom
Axiom nt <-s, -e> ricerc
axiom
Grundsatz m
a widely held axiom
ein allgemein anerkannter Grundsatz
Voce OpenDict

axiom of choice SOST

axiom of choice MAT
Auswahlaxiom nt
Voce OpenDict

axiom of countability SOST

axiom of countability MAT
Abzählbarkeitsaxiom nt
tedesco
tedesco
inglese
inglese
Bilanzierungsgrundsätze
accounting axioms
Axiom
axiom
Aussonderungsaxiom nt MAT
axiom schema of specification
Extensionalitätsaxiom nt MAT
axiom of extensionality
Unendlichkeitsaxiom nt MAT
axiom of infinity
Fundierungsaxiom nt MAT
axiom of regularity

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.

Aggiungi voce

Esempi dal dizionario PONS (verificati dalla Redazione)

science of axioms MAT
Axiomatik f <-, -en>
a widely held axiom
ein allgemein anerkannter Grundsatz

Esempi monolingue (non verificati dalla Redazione di PONS)

He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary.
en.wikipedia.org
His proofs often invoke axiomatic notions which were not originally presented in his list of axioms.
en.wikipedia.org
Thus, what the axiom is really saying is that two sets are equal if and only if they have precisely the same members.
en.wikipedia.org
In logic programming, a program consists of a set of axioms and rules.
en.wikipedia.org
Axioms 2, 3 and 4 can be summarized by saying that positive properties form a principal ultrafilter.
en.wikipedia.org

Esempi dal web (non verificati dalla Redazione di PONS)

[...]
[ 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
[...]
[ 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.
[...]
www-madlener.informatik.uni-kl.de
[...]
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-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.
[...]
www-madlener.informatik.uni-kl.de
[...]
The emphasis of this project is put on the analysis of interactions between different sets of axioms from a mathematical point of view.
[...]
www.informatik.uni-hamburg.de
[...]
Der Schwerpunkt dieses Projekts liegt auf der Analyse der Wechselwirkungen zwischen verschiedenen Mengen von Axiomen aus mathematischer Sicht.
[...]
www.informatik.uni-hamburg.de
[...]
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-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.
[...]
www-madlener.informatik.uni-kl.de
[...]
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.
[...]
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.
[...]
www.math.uni-bonn.de

Cerca nel dizionario

Cerca "axioms" in altre lingue

inglese
arabo