folgerung
91Leibnizformel — In der Linearen Algebra ist die Determinante eine spezielle Funktion, die einer quadratischen Matrix oder einem linearen Endomorphismus eine Zahl zuordnet. Zum Beispiel hat die Matrix die Determinante …
92Leibnizsche Formel — In der Linearen Algebra ist die Determinante eine spezielle Funktion, die einer quadratischen Matrix oder einem linearen Endomorphismus eine Zahl zuordnet. Zum Beispiel hat die Matrix die Determinante …
93Mariae Himmelfahrt — Mateo Cerezo d. J.: Himmelfahrt Mariens, um 1650 Die Leibliche Aufnahme Mariens in den Himmel ist ein am 1. November 1950 durch Papst Pius XII. verkündetes und definiertes Dogma der römisch katholischen Kirche und ist in Munificentissimus Deus… …
94Sesquilinear — Als Sesquilinearform (lat. sesqui = anderthalb) bezeichnet man in der linearen Algebra eine Funktion, die zwei Vektoren einen Skalarwert zuordnet, und die linear in einem, semilinear im anderen ihrer beiden Argumente ist. Die beiden Argumente… …
95True Wert — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… …
96Urteilslogik — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… …
97Vollständigkeitsproblem — Der Gödelsche Vollständigkeitssatz (benannt nach Kurt Gödel) ist der Hauptsatz der mathematischen Logik. Er zeigt für ein formales System der Prädikatenlogik erster Stufe die Korrektheit und Vollständigkeit: Jeder Satz, der semantisch aus einer… …
98Vollständigkeitssatz — Der Gödelsche Vollständigkeitssatz (benannt nach Kurt Gödel) ist der Hauptsatz der mathematischen Logik. Er zeigt für ein formales System der Prädikatenlogik erster Stufe die Korrektheit und Vollständigkeit: Jeder Satz, der semantisch aus einer… …
99hervorgehen — herrühren (von); entspringen; entsprießen; abstammen; herstammen; zurückgehen; austreten; (sich) entwickeln (aus); entspringen (aus); (sich) profilieren …
100Schluss — 1. Abschluss, Ausgang, Beendigung, Ende, letztes Stadium, Schlusspunkt; (geh.): Ausklang, Neige; (bildungsspr.): Finale. 2. Ableitung, Fazit, Gedankenschluss, Rückschluss, [Schluss]folgerung; (bildungsspr.): Resümee; (Logik): Schlusssatz; (bes.… …