German » English

Translations for „Mengenlehre“ in the German » English Dictionary (Go to English » German)

Men·gen·leh·re N f MATH

Examples from the Internet (not verified by PONS Editors)

In Laras S.S.O.R. ist eine fortlaufende Reihe kleiner schwarzer Rechtecke zu sehen, die sich über 68 gleichförmig aufgespannte weisse Leinwände fortsetzt, und auf den so genannten „ Domino Effekt “ Bezug nimmt.

In der Mathematik wird der Domino Effekt dazu verwendet, das Prinzip der Ordinalzahlen aus der Mengenlehre des deutschen Mathematikers Georg Ferdinand Ludwig Philipp Cantor ( 1845-1918 ) zu illustrieren, einem Prinzip ähnlich dem der mathematischen Induktion.

Dabei geht man davon aus, dass eine Aussage für eine Zahl n wahr ist und beweist, dass die Aussage ebenfalls für jede Zahl n + 1 wahr ist.

www.kunsthallebasel.ch

In the main exhibition space we can see a continuous line of dominos captured in the process of falling printed on 68 uniform white canvases hung around the four walls of the room, an installation related to the so-called “ domino effect ”.

In mathematics, the term “ domino effect ” is used, to illustrate the concept of ordinal numbers as part of set theory, a theory developed by the German mathematician Georg Ferdinand Ludwig Philipp Cantor ( 1845-1918 ).

The concept is akin to mathematical induction, a method in which one assumes a statement to be true for the n-th number and proves that the statement also holds true for the n + 1 number.

www.kunsthallebasel.ch

Den Start bildete ein elektronisches Fußgängerleitsystem in Biel ( Bienne ), der größten zweisprachigen Stadt in der Schweiz.

Interview mit Regula Turtschi, Geschäftsführerin Hof3 - Suchmaschine plus Landkarte und Mengenlehre für Kioskterminals

Interview mit Hannes Rambold, CEO MobiMedia Group

www.eurocis.com

The kickoff was an electronic pedestrian navigation system in Biel ( Bienne ), the largest bilingual town in Switzerland.

Interview with Regula Turtschi, Managing Director Hof3 - Search engine plus map and set theory for kiosk terminals

Interview with Hannes Rambold, CEO MobiMedia Group

www.eurocis.com

In der Rekursionstheorie wird die prinzipielle Berechenbarkeit von Funktionen untersucht.

Die Arbeitsgruppe Mathematische Logik an der Universität Bonn arbeitet vor allem im Bereich der Mengenlehre.

Die Mengenlehre ist die mathematische Theorie des Unendlichen.

www.math.uni-bonn.de

Recursion theory, or computability theory, study the abstract computability of functions.

The Mathematical Logic Group at the university of Bonn specialises in set theory.

Set theory is the mathematical theory of the infinite.

www.math.uni-bonn.de

Diese Hintergrundtheorie lässt sich am einfachsten als Mengentheorie formalisieren und axiomatisieren.

Die Axiome der Zermelo-Fraenkelschen Mengenlehre werden allgemein als geeignete Grundlagentheorie angesehen und benutzt.

Die Frage Was ist Mathematik? kann so minimal, aber zugleich umfassend beantwortet werden: die Gesamtheit aller Formeln, die sich im Kalkül

www.math.uni-bonn.de

This background theory can most easily be formalised as set theory.

The Zermelo-Fraenkel axioms of set theory are generally accepted and used as an adequate foundational theory.

The question “ What is mathematics ” can thus be answered in a minimal but comprehensive way: it is the collection of all formulas which can be deduced from the Zermelo-Fraenkel axioms in the calculus

www.math.uni-bonn.de

Inhalt

Der Stoff dieses Kurses - dem ersten Semester einer zwei-semestrigen Vorlesung - umfasst Mengenlehre, Ordnungsrelationen, Algebra ( Gruppen, Verbände ) sowie Aussagen- und Prädikatenlogik erster Stufe.

www.coli.uni-saarland.de

Content of course

This course - the first of a 2-semester sequence - introduces set theory, ordering relations, some algebra ( groups, lattices ) as well as propositional logic and first order predicate logic with identity.

www.coli.uni-saarland.de

Die Beweistheorie untersucht formale Sprachen und Beweiskalküle.

Die Mengenlehre studiert das Zermelo-Fraenkelsche Axiomensystem und seine Erweiterungen.

Die Modelltheorie betrachtet allgemein Modelle gegebener Axiomensysteme.

www.math.uni-bonn.de

Proof theory studies formal languages and deduction calculi.

Set theory examines the Zermelo-Fraenkelsche axiom system and its extensions.

Model theory considers the class of models of axiom systems.

www.math.uni-bonn.de

Would you like to add some words, phrases or translations?

Submit a new entry.

"Mengenlehre" in the monolingual German dictionaries


Choose your language Deutsch | български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文