| http://dbpedia.org/ontology/abstract
|
En mathématiques, une fonction de couplage … En mathématiques, une fonction de couplage, est une méthode permettant d’attribuer de manière unique un entier naturel à un couple d'entiers naturels. En théorie des ensembles, on peut utiliser n'importe quelle fonction de couplage pour prouver que l'ensemble des entiers relatifs et celui des nombres rationnels ont la même cardinalité que l'ensemble des entiers naturels. En théorie de la calculabilité, la fonction de couplage de Cantor est utilisée pour coder k-uplets, ainsi une fonction de Nk → N peut être représentée par une fonction de N → N.tre représentée par une fonction de N → N.
, In de verzamelingenleer, een deelgebied va … In de verzamelingenleer, een deelgebied van de wiskunde, is een paringsfunctie een proces om twee natuurlijke getallen in een enkel natuurlijk getal te coderen. Een paringskoppeling kan in de verzamelingenleer worden gebruikt om te bewijzen dat gehele getallen en rationale getallen dezelfde kardinaliteit hebben als de natuurlijke getallen. In de theoretische informatica worden paringsfuncties gebruikt voor het coderen van een functie gedefinieerd op een -tal natuurlijke getallen in een nieuwe functie .tuurlijke getallen in een nieuwe functie .
, Нумерація — це бієкція між певною множиною … Нумерація — це бієкція між певною множиною об'єктів, та множиною натуральних чисел.Ге́орг Фердина́нд Лю́двіг Пили́п Ка́нтор (*3 березня 1845, Санкт-Петербург — †6 січня 1918, Галле (Заале)) — німецький математик. Введемо однозначні ефективні нумерації пар та n-ок натуральних чисел, які називаються канторовими нумераціями. Всі пари натуральних чисел розташуємо в послідовність так: пара (x, y) передує парі (u, v) ⇔ x+y Номер пари (x, y) в такій послідовності позначають C(x, y) та називають канторовим номером пари (x, y). Неважко переконатись, що C(x, y) = [(x+y+1)⋅(x+y)/2]+x. Ось її табулювання: 0 1 3 6 10 15 21 28 36 45 2 4 7 11 16 22 29 37 46 56 5 8 12 17 23 30 38 47 57 68 9 13 18 24 31 39 48 58 69 8114 19 25 32 40 49 59 70 82 9520 26 33 41 50 60 71 83 96 11027 34 42 51 61 72 84 97 111 12635 43 52 62 73 85 98 112 127 14344 53 63 74 86 99 113 128 144 16154 64 75 87 100 114 129 145 162 180144 16154 64 75 87 100 114 129 145 162 180
, 対関数（ついかんすう、英: Pairing function）とは、2つの自然数を一 … 対関数（ついかんすう、英: Pairing function）とは、2つの自然数を一意に符号化して1つの自然数を返す関数である。 集合論では、任意の対関数を用いて、有理数全体の集合 Q が可算濃度であることを証明できる。理論計算機科学では、自然数の多変数関数 f : Nk → N を一変数関数 g : N → N に変換するために使われる。 対関数は非可算無限個存在する。したがってその中にはでないものが非可算無限個存在する。計算可能性理論や計算複雑性理論の文脈では、ある複雑性クラスの中で対をコード化して扱いたいことがあることから、対関数とその逆関数がともに目的の関数クラスに属するような符号化を見つけることが重要となる。とその逆関数がともに目的の関数クラスに属するような符号化を見つけることが重要となる。
, Funkcja pary – przyporządkowanie służące d … Funkcja pary – przyporządkowanie służące do jednoznacznego zakodowania pary liczb naturalnych za pomocą pojedynczej liczby naturalnej. Każda funkcja pary może zostać użyta w teorii mnogości do dowodu, że zbiory liczb całkowitych oraz wymiernych maję tę samą moc co zbiór liczb naturalnych. W teorii rekursji służą one do kodowania funkcji więcej niż jednego argumentu naturalnego za pomocą funkcji jednej zmiennejuralnego za pomocą funkcji jednej zmiennej
, Die Cantorsche Paarungsfunktion, manchmal … Die Cantorsche Paarungsfunktion, manchmal auch Nummerierungsfunktion genannt, ist eine unter anderem in der theoretischen Informatik verwendete Abbildung, die auf dem Diagonalargument von Cantor basiert. Mit ihr kann man ein beliebiges Paar natürlicher Zahlen durch eine einzige natürliche Zahl darstellen. Man nummeriert damit alle Zahlenpaare. Diese Nummerierung ist sogar eindeutig umkehrbar. Das heißt, man kann aus der Zahl das ursprüngliche Zahlenpaar wieder ermitteln. Mathematisch gesprochen heißt das: Die Cantorsche Paarungsfunktion ist eine bijektive totale Funktion . Die Idee der diagonalen Abzählung der Menge aller Paare natürlicher Zahlen geht auf Georg Cantor zurück.Die Verallgemeinerung der Cantorschen Paarungsfunktion von Paaren auf Tupel wird als Cantorsche Tupelfunktion bezeichnet.d als Cantorsche Tupelfunktion bezeichnet.
, 在数学中，配对函数是一种将两个自然数唯一地编码成一个自然数的过程。 在集合论中可以用任何配对函数来证明整数和有理数有同自然数相同的基数。在理论计算机科学中用它们把定义在自然数的向量上的函数编码成一个新函数。
, In mathematics, a pairing function is a process to uniquely encode two natural numbers into a single natural number. Any pairing function can be used in set theory to prove that integers and rational numbers have the same cardinality as natural numbers.
, In matematica si definisce funzione coppia una funzione che associa ad ogni coppia ordinata di numeri naturali un numero naturale con corrispondenza uno a uno; è quindi un'applicazione biiettiva fra l'insieme prodotto e l'insieme dei numeri naturali :
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Cantor%27s_Pairing_Function.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageID
|
1145848
|
| http://dbpedia.org/ontology/wikiPageLength
|
13569
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1119513444
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/File:Cantor%27s_Pairing_Function.svg +
, http://dbpedia.org/resource/Talk:Tarski%27s_theorem_about_choice +
, http://dbpedia.org/resource/Countability +
, http://dbpedia.org/resource/Bijection +
, http://dbpedia.org/resource/Least_Significant_Bit +
, http://dbpedia.org/resource/Zermelo%E2%80%93Fraenkel_set_theory +
, http://dbpedia.org/resource/Category:Georg_Cantor +
, http://dbpedia.org/resource/Method_of_induction +
, http://dbpedia.org/resource/Injective_function +
, http://dbpedia.org/resource/Natural_number +
, http://dbpedia.org/resource/Logarithmic_space +
, http://dbpedia.org/resource/Infinite_sequence +
, http://dbpedia.org/resource/File:Diagonal_argument.svg +
, http://dbpedia.org/resource/Quadratic_equation +
, http://dbpedia.org/resource/Rational_number +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Surjective_function +
, http://dbpedia.org/resource/Triangular_number +
, http://dbpedia.org/resource/Cardinality +
, http://dbpedia.org/resource/Primitive_recursive_function +
, http://dbpedia.org/resource/Floor_function +
, http://dbpedia.org/resource/Bit-interleaving +
, http://dbpedia.org/resource/Fueter%E2%80%93P%C3%B3lya_theorem +
, http://dbpedia.org/resource/Linear_time +
, http://dbpedia.org/resource/SK_combinator_calculus +
, http://dbpedia.org/resource/Category:Functions_and_mappings +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Category:Set_theory +
, http://dbpedia.org/resource/Fast_multiplication +
, http://dbpedia.org/resource/Cantor%27s_diagonal_argument +
, http://dbpedia.org/resource/Online_algorithm +
, http://dbpedia.org/resource/Integer +
|
| http://dbpedia.org/property/date
|
August 2021
|
| http://dbpedia.org/property/reason
|
What is "zero space"?
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Sfrac +
, http://dbpedia.org/resource/Template:Efn +
, http://dbpedia.org/resource/Template:Citation_needed_span +
, http://dbpedia.org/resource/Template:Clarify +
, http://dbpedia.org/resource/Template:Radic +
, http://dbpedia.org/resource/Template:Multiple_issues +
, http://dbpedia.org/resource/Template:= +
, http://dbpedia.org/resource/Template:Additional_citation_needed +
, http://dbpedia.org/resource/Template:Verify_source +
, http://dbpedia.org/resource/Template:Confusing +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:Notelist +
, http://dbpedia.org/resource/Template:More_citations_needed +
, http://dbpedia.org/resource/Template:Math +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Functions_and_mappings +
, http://dbpedia.org/resource/Category:Set_theory +
, http://dbpedia.org/resource/Category:Georg_Cantor +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Process +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Pairing_function?oldid=1119513444&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Cantor%27s_Pairing_Function.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Diagonal_argument.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Pairing_function +
|
| owl:sameAs |
http://ja.dbpedia.org/resource/%E5%AF%BE%E9%96%A2%E6%95%B0 +
, http://de.dbpedia.org/resource/Cantorsche_Paarungsfunktion +
, http://it.dbpedia.org/resource/Funzione_coppia +
, http://rdf.freebase.com/ns/m.04b7nl +
, http://uk.dbpedia.org/resource/%D0%9D%D1%83%D0%BC%D0%B5%D1%80%D0%B0%D1%86%D1%96%D1%8F_%D0%9A%D0%B0%D0%BD%D1%82%D0%BE%D1%80%D0%B0 +
, http://he.dbpedia.org/resource/%D7%A4%D7%95%D7%A0%D7%A7%D7%A6%D7%99%D7%99%D7%AA_%D7%96%D7%99%D7%95%D7%95%D7%92 +
, http://pl.dbpedia.org/resource/Funkcja_pary +
, http://www.wikidata.org/entity/Q1033906 +
, http://fr.dbpedia.org/resource/Fonction_de_couplage +
, http://dbpedia.org/resource/Pairing_function +
, http://zh.dbpedia.org/resource/%E9%85%8D%E5%AF%B9%E5%87%BD%E6%95%B0 +
, https://global.dbpedia.org/id/7sDk +
, http://nl.dbpedia.org/resource/Paringsfunctie +
|
| rdf:type |
http://dbpedia.org/ontology/Election +
|
| rdfs:comment |
In de verzamelingenleer, een deelgebied va … In de verzamelingenleer, een deelgebied van de wiskunde, is een paringsfunctie een proces om twee natuurlijke getallen in een enkel natuurlijk getal te coderen. Een paringskoppeling kan in de verzamelingenleer worden gebruikt om te bewijzen dat gehele getallen en rationale getallen dezelfde kardinaliteit hebben als de natuurlijke getallen. In de theoretische informatica worden paringsfuncties gebruikt voor het coderen van een functie gedefinieerd op een -tal natuurlijke getallen in een nieuwe functie .tuurlijke getallen in een nieuwe functie .
, Funkcja pary – przyporządkowanie służące d … Funkcja pary – przyporządkowanie służące do jednoznacznego zakodowania pary liczb naturalnych za pomocą pojedynczej liczby naturalnej. Każda funkcja pary może zostać użyta w teorii mnogości do dowodu, że zbiory liczb całkowitych oraz wymiernych maję tę samą moc co zbiór liczb naturalnych. W teorii rekursji służą one do kodowania funkcji więcej niż jednego argumentu naturalnego za pomocą funkcji jednej zmiennejuralnego za pomocą funkcji jednej zmiennej
, 在数学中，配对函数是一种将两个自然数唯一地编码成一个自然数的过程。 在集合论中可以用任何配对函数来证明整数和有理数有同自然数相同的基数。在理论计算机科学中用它们把定义在自然数的向量上的函数编码成一个新函数。
, In mathematics, a pairing function is a process to uniquely encode two natural numbers into a single natural number. Any pairing function can be used in set theory to prove that integers and rational numbers have the same cardinality as natural numbers.
, Нумерація — це бієкція між певною множиною … Нумерація — це бієкція між певною множиною об'єктів, та множиною натуральних чисел.Ге́орг Фердина́нд Лю́двіг Пили́п Ка́нтор (*3 березня 1845, Санкт-Петербург — †6 січня 1918, Галле (Заале)) — німецький математик. Введемо однозначні ефективні нумерації пар та n-ок натуральних чисел, які називаються канторовими нумераціями. Всі пари натуральних чисел розташуємо в послідовність так: пара (x, y) передує парі (u, v) ⇔ x+y Номер пари (x, y) в такій послідовності позначають C(x, y) та називають канторовим номером пари (x, y). Неважко переконатись, що C(x, y) = [(x+y+1)⋅(x+y)/2]+x. Ось її табулювання:= [(x+y+1)⋅(x+y)/2]+x. Ось її табулювання:
, En mathématiques, une fonction de couplage … En mathématiques, une fonction de couplage, est une méthode permettant d’attribuer de manière unique un entier naturel à un couple d'entiers naturels. En théorie des ensembles, on peut utiliser n'importe quelle fonction de couplage pour prouver que l'ensemble des entiers relatifs et celui des nombres rationnels ont la même cardinalité que l'ensemble des entiers naturels. En théorie de la calculabilité, la fonction de couplage de Cantor est utilisée pour coder k-uplets, ainsi une fonction de Nk → N peut être représentée par une fonction de N → N.tre représentée par une fonction de N → N.
, In matematica si definisce funzione coppia una funzione che associa ad ogni coppia ordinata di numeri naturali un numero naturale con corrispondenza uno a uno; è quindi un'applicazione biiettiva fra l'insieme prodotto e l'insieme dei numeri naturali :
, 対関数（ついかんすう、英: Pairing function）とは、2つの自然数を一 … 対関数（ついかんすう、英: Pairing function）とは、2つの自然数を一意に符号化して1つの自然数を返す関数である。 集合論では、任意の対関数を用いて、有理数全体の集合 Q が可算濃度であることを証明できる。理論計算機科学では、自然数の多変数関数 f : Nk → N を一変数関数 g : N → N に変換するために使われる。 対関数は非可算無限個存在する。したがってその中にはでないものが非可算無限個存在する。計算可能性理論や計算複雑性理論の文脈では、ある複雑性クラスの中で対をコード化して扱いたいことがあることから、対関数とその逆関数がともに目的の関数クラスに属するような符号化を見つけることが重要となる。とその逆関数がともに目的の関数クラスに属するような符号化を見つけることが重要となる。
, Die Cantorsche Paarungsfunktion, manchmal … Die Cantorsche Paarungsfunktion, manchmal auch Nummerierungsfunktion genannt, ist eine unter anderem in der theoretischen Informatik verwendete Abbildung, die auf dem Diagonalargument von Cantor basiert. Mit ihr kann man ein beliebiges Paar natürlicher Zahlen durch eine einzige natürliche Zahl darstellen. Man nummeriert damit alle Zahlenpaare. Diese Nummerierung ist sogar eindeutig umkehrbar. Das heißt, man kann aus der Zahl das ursprüngliche Zahlenpaar wieder ermitteln. Mathematisch gesprochen heißt das: Die Cantorsche Paarungsfunktion ist eine bijektive totale Funktion .ktion ist eine bijektive totale Funktion .
|
| rdfs:label |
Cantorsche Paarungsfunktion
, Fonction de couplage
, 配对函数
, Нумерація Кантора
, 対関数
, Funkcja pary
, Funzione coppia
, Paringsfunctie
, Pairing function
|
