In dieser Übersicht finden Sie eine Aufstellung von mathematischen Umgebungen und Symbolen, die in LaTeX 2ε verwendet werden können.
(mehr …)
Im dieser Betrachtung soll die Potenzsummenformel
in einzelnen Schritten ermittelt und hergeleitet werden. Hierbei wird beim einfachsten Zusammenhang mit k = 0 begonnen und die Formel und Beweisführung für höhere k-Ebenen weiter ausgeführt. Zum Einsatz kommt u. a. das Koeffizientenschema.
(mehr …)
Die Aussagenlogik ist sicherlich ein grundlegendes mathematisches Gerüst für weitere mathematische Überlegungen und damit wohl eine der wichtigen Voraussetzungen, um ein mathematisches Verständnis aufzubauen und mathematische Zusammenhänge kurz und prägnant zu definieren und beschreiben. In dieser Zusammenstellung werden die einzelnen logischen Verknüpfungstypen vorgestellt, Begriffe für die Aussagenlogik definiert und Regeln für die Arbeit mit der Aussagenlogik herausgearbeitet.
(mehr …)
Die Menge ist nach Georg Cantor, dem Begründer der Mengenlehre, eine Zusammenfassung von bestimmten, wohlunterschiedlichen Objekten unserer Anschauung oder unseres Denkens zu einem Ganzen. Für ein Objekt x und eine Menge M steht fest, ob das Objekt zu dieser gehört oder nicht, man sagt auch x ist ein Element bzw. kein Element von der Menge M.
(mehr …)
Quantoren sind Operatoren in der Prädikatenlogik und werden dazu verwendet, mathematische Aussagen noch kürzer und prägnanter zu formulieren. Für die Formulierungen »für alle. . .« und »es existiert. . .« werden zwei neue Symbole eingeführt, die Quantoren.
(mehr …)