Переводы „axiomatisieren“ в словаре испанско » немецкий

(Перейти к немецко » испанский)

axiomatizar

axiomatisieren

Одноязычные примеры (не проверены редакцией PONS)

немецкий

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

In siebzehn Paragrafen (Wirtschaft und Gesellschaft) werden weitere soziologische Begriffe entwickelt und axiomatisiert.

de.wikipedia.org

Man sagt, eine -elementare Klasse, die durch eine Aussagenmenge gegeben ist, sei durch axiomatisiert, und die einzelnen Sätze in heißen die Axiome der Klasse.

de.wikipedia.org

Die seither bei weitem verbreitetste Lösung besteht darin, in axiomatisierten Mengenlehren eine beschränkte Variante eines Komprehensions- bzw. Aussonderungsaxioms (engl.

de.wikipedia.org

Er beschäftigte sich mit der Kontinuumshypothese und der Frage, ob sich die Arithmetik (die Theorie der natürlichen Zahlen) vollständig und widerspruchsfrei axiomatisieren lasse.

de.wikipedia.org

Fragestellung: Wie kann die Physik axiomatisiert werden?

de.wikipedia.org

Dieser metatheoretische Untersuchungsansatz will durch eine logische Analyse und axiomatisierte Beschreibung eine Theorie durch einen Nachvollzug transparent machen.

de.wikipedia.org

Es gibt verschiedene Ansätze, die traditionelle Syllogistik zu axiomatisieren bzw. auf eindeutigen Regeln aufzubauen.

de.wikipedia.org

Dieser Begriff axiomatisiert und verallgemeinert Räume negativer Krümmung und hat sich in vielen Bereichen der Mathematik als nützlich erwiesen.

de.wikipedia.org

Mathematische Theorien werden in der Regel als Elementare Sprache (auch: Sprache erster Stufe mit Symbolmenge) im Rahmen der Prädikatenlogik erster Stufe axiomatisiert.

de.wikipedia.org