Schneller Zugriff als Browser!
36 Beziehungen: Arithmetischer Überlauf, Berechenbarkeit, Beweis (Mathematik), Bijektive Funktion, Bustrophedon, Cantor-Diagonalisierung, Dimension (Mathematik), DIN-Norm, Entfernungstabelle, Funktion (Mathematik), Galileis Paradoxon, Geordnetes Paar, Georg Cantor, Kartesisches Produkt, Mächtigkeit (Mathematik), Mengenlehre, Natürliche Zahl, Nummerierung (Informatik), Parameter (Informatik), Pascal (Programmiersprache), Primfaktorzerlegung, Primitiv-rekursive Funktion, Projektion (Mengenlehre), Rationale Zahl, Reduktion (theoretische Informatik), Registermaschine, Relation (Mathematik), Stelligkeit, Theoretische Informatik, Tupel, Umkehrfunktion, Uwe Schöning, Verfeinerung (Informatik), Vollständige Induktion, WHILE-Programm, Zahlenfunktion.
Arithmetischer Überlauf
Der Arithmetische Überlauf oder Zählerüberlauf (engl. counter overflow) tritt beim Rechnen in einem begrenzten Zahlenbereich immer dann auf, wenn das Ergebnis den Zahlenbereich nach oben oder unten überschreitet.
Neu!!: Cantorsche Paarungsfunktion und Arithmetischer Überlauf · Mehr sehen »
Berechenbarkeit
Eine mathematische Funktion ist berechenbar (auch effektiv berechenbar oder rekursiv), wenn für sie eine Berechnungsanweisung (Algorithmus) formuliert werden kann (Berechenbarkeitstheorie).
Neu!!: Cantorsche Paarungsfunktion und Berechenbarkeit · Mehr sehen »
Beweis (Mathematik)
Beispielhafter, schematischer Aufbau eines Beweises Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit bzw.
Neu!!: Cantorsche Paarungsfunktion und Beweis (Mathematik) · Mehr sehen »
Bijektive Funktion
Funktion Bijektivität (zum Adjektiv bijektiv, welches etwa ‚umkehrbar eindeutig auf‘ bedeutet – daher auch der Begriff eineindeutig bzw. substantivisch entsprechend Eineindeutigkeit) ist ein mathematischer Begriff aus dem Bereich der Mengenlehre.
Neu!!: Cantorsche Paarungsfunktion und Bijektive Funktion · Mehr sehen »
Bustrophedon
Bustrophedon auf Kreta Bustrophedon (auch Boustrophedon) bezeichnet die Schreibweise mit zeilenweise abwechselnder Schreibrichtung, meist auf eine horizontale Schreibrichtung bezogen.
Neu!!: Cantorsche Paarungsfunktion und Bustrophedon · Mehr sehen »
Cantor-Diagonalisierung
Als Cantor-Diagonalisierung werden zwei von Georg Cantor entwickelte Diagonalisierungsbeweisverfahren bezeichnet.
Neu!!: Cantorsche Paarungsfunktion und Cantor-Diagonalisierung · Mehr sehen »
Dimension (Mathematik)
Die Dimension ist ein Konzept in der Mathematik, das im Wesentlichen die Anzahl der Freiheitsgrade einer Bewegung in einem bestimmten Raum bezeichnet.
Neu!!: Cantorsche Paarungsfunktion und Dimension (Mathematik) · Mehr sehen »
DIN-Norm
DIN (Deutsches Institut für Normung) Eine DIN-Norm ist ein unter Leitung des Deutschen Instituts für Normung (DIN) erarbeiteter freiwilliger Standard, in dem materielle und immaterielle Gegenstände vereinheitlicht sind.
Neu!!: Cantorsche Paarungsfunktion und DIN-Norm · Mehr sehen »
Entfernungstabelle
Eine Entfernungstabelle gibt die Entfernung zwischen zwei geographischen Orten an, wobei es sich häufig um Großstädte handelt.
Neu!!: Cantorsche Paarungsfunktion und Entfernungstabelle · Mehr sehen »
Funktion (Mathematik)
In der Mathematik ist eine Funktion oder Abbildung eine Beziehung (Relation) zwischen zwei Mengen, die jedem Element der einen Menge (Funktionsargument, unabhängige Variable, x-Wert) genau ein Element der anderen Menge (Funktionswert, abhängige Variable, y-Wert) zuordnet.
Neu!!: Cantorsche Paarungsfunktion und Funktion (Mathematik) · Mehr sehen »
Galileis Paradoxon
Titelblatt, Galileo Galilei: ''Discorsi e Dimostrazioni Matematiche Intorno a Due Nuove Scienze'', Elzevier, Leiden 1638 Galileis Paradoxon auch Paradoxon des Galileo oder Galileos Paradoxon ist ein Paradoxon über unendliche Mengen.
Neu!!: Cantorsche Paarungsfunktion und Galileis Paradoxon · Mehr sehen »
Geordnetes Paar
Ein geordnetes Paar, auch 2-Tupel oder Dupel genannt, ist in der Mathematik eine wichtige Art und Weise, zwei mathematische Objekte zu einer Einheit zusammenzufassen.
Neu!!: Cantorsche Paarungsfunktion und Geordnetes Paar · Mehr sehen »
Georg Cantor
Georg Cantor (etwa 1910) Georg Ferdinand Ludwig Philipp Cantor (* in Sankt Petersburg; † 6. Januar 1918 in Halle an der Saale) war ein deutscher Mathematiker.
Neu!!: Cantorsche Paarungsfunktion und Georg Cantor · Mehr sehen »
Kartesisches Produkt
Das kartesische Produkt A \times B der beiden Mengen A.
Neu!!: Cantorsche Paarungsfunktion und Kartesisches Produkt · Mehr sehen »
Mächtigkeit (Mathematik)
28). In der Mathematik verwendet man den aus der Mengenlehre von Georg Cantor stammenden Begriff der Mächtigkeit oder Kardinalität, um den für endliche Mengen verwendeten Begriff der „Anzahl der Elemente einer Menge“ auf unendliche Mengen zu verallgemeinern.
Neu!!: Cantorsche Paarungsfunktion und Mächtigkeit (Mathematik) · Mehr sehen »
Mengenlehre
Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik, das sich mit der Untersuchung von Mengen, also von Zusammenfassungen von Objekten, beschäftigt.
Neu!!: Cantorsche Paarungsfunktion und Mengenlehre · Mehr sehen »
Natürliche Zahl
reellen Zahlen (ℝ) sind. Die natürlichen Zahlen sind die beim Zählen verwendeten Zahlen 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 usw.
Neu!!: Cantorsche Paarungsfunktion und Natürliche Zahl · Mehr sehen »
Nummerierung (Informatik)
Eine Nummerierung einer Menge M, im Sinne der Berechenbarkeitstheorie, ist eine möglicherweise partielle surjektive Funktion \nu:\mathbb N\to_p M. Nummerierungen und die verwandten Notationen sind z. B.
Neu!!: Cantorsche Paarungsfunktion und Nummerierung (Informatik) · Mehr sehen »
Parameter (Informatik)
Parameter – (deutsch) auch Übergabewerte genannt – sind in der Informatik Variablen, durch die ein Computerprogramm (oft ein Unterprogramm) auf die Verarbeitung bestimmter Werte „eingestellt“ werden kann.
Neu!!: Cantorsche Paarungsfunktion und Parameter (Informatik) · Mehr sehen »
Pascal (Programmiersprache)
Niklaus Wirth (2009), der Entwickler von Pascal Pascal ist eine Anfang der 1970er Jahre entwickelte imperative Programmiersprache.
Neu!!: Cantorsche Paarungsfunktion und Pascal (Programmiersprache) · Mehr sehen »
Primfaktorzerlegung
Die Primfaktorzerlegung ist die Darstellung einer positiven natürlichen Zahl n\in\N als Produkt aus Primzahlen p\in\mathbb P, die dann als Primfaktoren von n bezeichnet werden.
Neu!!: Cantorsche Paarungsfunktion und Primfaktorzerlegung · Mehr sehen »
Primitiv-rekursive Funktion
Primitiv-rekursive Funktionen sind totale Funktionen, die aus einfachen Grundfunktionen (konstante 0-Funktion, Projektionen auf ein Argument und Nachfolgefunktion) durch Komposition und (primitive) Rekursion gebildet werden können.
Neu!!: Cantorsche Paarungsfunktion und Primitiv-rekursive Funktion · Mehr sehen »
Projektion (Mengenlehre)
Die (kanonische) Projektion, Projektionsabbildung, Koordinatenabbildung oder Auswertungsabbildung ist in der Mathematik eine Abbildung, die ein Tupel auf eine der Komponenten des Tupels abbildet.
Neu!!: Cantorsche Paarungsfunktion und Projektion (Mengenlehre) · Mehr sehen »
Rationale Zahl
natürlichen Zahlen (ℕ) gehören. Eine rationale Zahl ist eine reelle Zahl, die als Verhältnis zweier ganzer Zahlen dargestellt werden kann.
Neu!!: Cantorsche Paarungsfunktion und Rationale Zahl · Mehr sehen »
Reduktion (theoretische Informatik)
Die Reduktion ist eine Methode der theoretischen Informatik, bei der ein Problem auf ein anderes zurückgeführt wird.
Neu!!: Cantorsche Paarungsfunktion und Reduktion (theoretische Informatik) · Mehr sehen »
Registermaschine
Die Registermaschine (RM) ist eine abstrakte Maschine der theoretischen Informatik.
Neu!!: Cantorsche Paarungsfunktion und Registermaschine · Mehr sehen »
Relation (Mathematik)
Eine Relation („Beziehung“, „Verhältnis“) ist allgemein eine Beziehung, die zwischen Dingen bestehen kann.
Neu!!: Cantorsche Paarungsfunktion und Relation (Mathematik) · Mehr sehen »
Stelligkeit
Der Begriff Stelligkeit (auch Arität) steht für die Anzahl der Argumente einer Verknüpfung, einer Abbildung bzw.
Neu!!: Cantorsche Paarungsfunktion und Stelligkeit · Mehr sehen »
Theoretische Informatik
Mind-Map zu einem Teilbereich der theoretischen Informatik Die theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen.
Neu!!: Cantorsche Paarungsfunktion und Theoretische Informatik · Mehr sehen »
Tupel
Tupel (abgeleitet von mittellateinisch quintuplus ‚fünffach‘, septuplus ‚siebenfach‘, centuplus ‚hundertfach‘ etc.) sind in der Mathematik neben Mengen eine wichtige Art und Weise, mathematische Objekte zusammenzufassen.
Neu!!: Cantorsche Paarungsfunktion und Tupel · Mehr sehen »
Umkehrfunktion
Die Umkehrfunktion In der Mathematik bezeichnet die Umkehrfunktion oder inverse Funktion einer bijektiven Funktion die Funktion, die jedem Element der Zielmenge sein eindeutig bestimmtes Urbildelement zuweist.
Neu!!: Cantorsche Paarungsfunktion und Umkehrfunktion · Mehr sehen »
Uwe Schöning
Uwe Schöning (* 28. Dezember 1955 in Ulm) ist ein deutscher Informatiker.
Neu!!: Cantorsche Paarungsfunktion und Uwe Schöning · Mehr sehen »
Verfeinerung (Informatik)
Unter Verfeinerung versteht man in der Informatik ein Verfahren, bei dem aus einer abstrakten Beschreibung (z. B. Registermaschine, formale Spezifikation mittels Z-Notation) eine konkretere Beschreibung abgeleitet wird.
Neu!!: Cantorsche Paarungsfunktion und Verfeinerung (Informatik) · Mehr sehen »
Vollständige Induktion
Die vollständige Induktion ist eine mathematische Beweismethode, nach der eine Aussage für alle natürlichen Zahlen bewiesen wird, die größer oder gleich einem bestimmten Startwert sind.
Neu!!: Cantorsche Paarungsfunktion und Vollständige Induktion · Mehr sehen »
WHILE-Programm
WHILE-Programme spielen in der Theoretischen Informatik eine Rolle, insbesondere in Zusammenhang mit Berechenbarkeit.
Neu!!: Cantorsche Paarungsfunktion und WHILE-Programm · Mehr sehen »
Zahlenfunktion
Eine Zahlenfunktion ist eine Funktion, die Tupel von natürlichen Zahlen auf natürliche Zahlen abbildet.
Neu!!: Cantorsche Paarungsfunktion und Zahlenfunktion · Mehr sehen »
Leitet hier um:
Cantor'sche Paarungsfunktion, Cantor-Nummer, Cantornummer, Cantorsche Tupelfunktion, Die cantorsche Paarungsfunktion, Nummerierungsfunktion, Standard-Tupelfunktion.
