folgerung
71Determinante (Mathematik) — In der Linearen Algebra ist die Determinante eine spezielle Funktion, die einer quadratischen Matrix oder einem linearen Endomorphismus einen Skalar zuordnet. Zum Beispiel hat die Matrix die Determinante Formeln für größere Matrizen werden weiter …
72Endlichkeitssatz — Der Endlichkeitssatz, auch Kompaktheitssatz genannt, ist einer der wichtigsten Sätze der Aussagenlogik und der Prädikatenlogik erster Stufe. Er besagt: Eine (möglicherweise unendliche) Formelmenge X ist genau dann erfüllbar (d.h. hat ein Modell) …
73Eulersche Pseudoprimzahl — Eine ungerade natürliche Zahl n wird eulersche Pseudoprimzahl genannt, wenn sie eine zusammengesetzte Zahl ist, die sich in Bezug auf eine zu ihr teilerfremde Basis a wie eine Primzahl verhält: wenn nämlich die Kongruenz erfüllt ist. Anders… …
74Ex falso quodlibet — Ex falso quodlibet, eigentlich ex falso sequitur quodlibet (lat., aus Falschem folgt Beliebiges), abgekürzt zu „e.f.q.“, eindeutiger ex contradictione sequitur quodlibet (lat., aus einem Widerspruch folgt Beliebiges), bezeichnet im engeren Sinn… …
75Gödel'scher Vollstä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… …
76Gödelscher Vollstä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… …
77Holomorphe Funktion — Ein rechteckiges Gitter wird mit der holomorphen Funktion f in sein Abbild überführt Holomorphie (von gr. holos, „ganz“ und morphe , „Form“) ist eine Eigenschaft von bestimmten komplexwertigen Funktionen, die in der Funktionentheorie (einem… …
78Kalkül — Als Kalkül (der, das, fr. calcul „Rechnung“; von lat. calculus „Rechenstein, Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen …
79Kalküle — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… …
80Kleiner Fermat — Dieser Artikel oder Abschnitt ist nicht hinreichend mit Belegen (Literatur, Webseiten oder Einzelnachweisen) versehen. Die fraglichen Angaben werden daher möglicherweise demnächst gelöscht. Hilf Wikipedia, indem du die Angaben recherchierst und… …
