Tłumaczenia dla hasła „axiomatisch“ w niemiecko » łaciński słowniku

aromatisch ADJ

aromatisch

odoratus

aromatisch

odorus

automatisch ADJ

automatisch

automatus

asiatisch ADJ

asiatisch

Asianus

asiatisch

Asiaticus

diplomatisch ADJ übtr (berechnend, taktisch geschickt)

diplomatisch

callidus

mathematisch ADJ

mathematisch

mathematicus

Przykłady jednojęzyczne (niezredagowane i niesprawdzone przez PONS)

niemiecki

Kooperative Spieltheorie ist als axiomatische Theorie von Koalitionsfunktionen (charakteristischen Funktionen) aufzufassen und ist auszahlungsorientiert.

de.wikipedia.org

Aber auch in den axiomatischen Mengenlehren sind Definitionen von Ordinalzahlen zu finden, die auf der Bildung von Äquivalenzklassen beruhen.

de.wikipedia.org

Sie lässt sich aber auch aus grundlegenden Prozesseigenschaften axiomatisch herleiten.

de.wikipedia.org

Der zweite Unvollständigkeitssatz sagt aus, dass sich insbesondere die Widerspruchsfreiheit der Arithmetik nicht im axiomatischen System der Arithmetik beweisen lässt.

de.wikipedia.org

Neben der denotationellen Semantik gibt es auch die operationelle Semantik und die axiomatische Semantik, um die Semantik von formalen Sprachen zu beschreiben.

de.wikipedia.org

Moderne axiomatische Theorien der Geometrie nehmen darauf jedoch keinen Bezug (Synthetische Geometrie).

de.wikipedia.org

Das Konzept von Vor- und Nachbedingungen wird vor allem in der formalen Semantik benutzt: es stellt die Basis der axiomatischen Semantik dar.

de.wikipedia.org

Damit ist zunächst die Vorstellung aufgegeben, „Grundbegriffe“ als terminologische nicht weiter analysierbare Begriffe axiomatisch einzuführen und sie an den Anfang von Theorien/Systemen zu stellen.

de.wikipedia.org

Für die elementare Aussagenlogik, die Prädikatenlogik erster Stufe und verschiedene Modallogiken gibt es axiomatische Systeme, die die genannten Anforderungen erfüllen.

de.wikipedia.org

Entwickelt wurden die nichteuklidischen Geometrien nicht mit dem Anspruch, unsere Raumerfahrung zu präzisieren, sondern als axiomatische Theorien in der Auseinandersetzung mit dem Parallelenproblem.

de.wikipedia.org