Difference between r1.9 and the current
@@ -1,3 +1,4 @@
#noindex
<<tableofcontents>>WtEn:enumeration
WtEn:enumerable
@@ -11,7 +12,56 @@
정수 integer ℤ
counting 세기/카운팅/셈/...
successor 다음수함수 ?
그래서 적용 가능한 대상은
{
counting 세기/카운팅/셈/...
successor 다음수함수 ?
}
numbering ... =,numbering [[numbering]]
{
KmsE:numbering
Ndict:numbering
넘버링
번호매기기?
수할당?
수매김?
... 죄다 이상한데 translit.말고 번역은 없을지?
also on : [[경우의_수,number_of_cases?action=highlight&value=numbering]]
[[complete_numbering]] =,complete_numbering =,complete_numbering . complete_numbering
{
'''complete numbering'''
[[WpEn:Complete_numbering]] = https://en.wikipedia.org/wiki/Complete_numbering
"complete numbering"
Ggl:"complete numbering"
} // complete numbering
[[Goedel_numbering]] =,Goedel_numbering =,Goedel_numbering . Goedel_numbering
{
'''Gödel numbering'''
mkl [[diagonal_argument]] [[Kurt_Goedel]]
[[WpEn:Gödel_numbering]] = https://en.wikipedia.org/wiki/Gödel_numbering
"Gödel numbering"
Ggl:"Gödel numbering"
} // Gödel numbering
[[admissible_numbering]] =,admissible_numbering =,admissible_numbering . admissible_numbering
{
admissible numbering
WtEn:admissible_numbering ?
[[WpEn:Admissible_numbering]] = https://en.wikipedia.org/wiki/Admissible_numbering
"admissible numbering"
Ggl:"admissible numbering"
} // admissible numbering
[[WpEn:Numbering_(computability_theory)]] = https://en.wikipedia.org/wiki/Numbering_(computability_theory)
첫문장([[Date(2023-12-17T15:12:58)]])
"In computability theory
// [[계산가능성이론,computability_theory]]에서
a '''numbering''' is the assignment of natural numbers to a set of objects such as functions, rational numbers, graphs, or words in some formal language."
// '''numbering''이란, [[자연수,natural_number]]s들을 객체/대상(objects)들의 집합에 [[할당,assignment]]하는 것.
[[WpJa:ナンバリング_(計算可能性理論)]] = https://ja.wikipedia.org/wiki/ナンバリング_(計算可能性理論)
여기선 translit.
} //numbering
} // enumeration과 밀접한것들
그래서 적용 가능한 대상은
{
@@ -24,6 +74,12 @@
[[계산가능성,computability]]
[[계산가능성이론,computability_theory]]
= enumeration operator =
[[enumeration_operator]] =,enumeration_operator . enumeration_operator
enumeration operator
[[계산가능성이론,computability_theory]]
= enumerator =
WtEn:enumerator
Ggl:enumerator
mkl 바로아래 enumeration_operator 와.
[[enumeration_operator]] =,enumeration_operator . enumeration_operator
enumeration operator
@@ -89,7 +145,7 @@
재귀 열거 언어 / 재귀적 열거 가능 언어 (wk)
[[촘스키_위계,Chomsky_hierarchy]](vg)에서 type-0 [[언어,language]].
[[촘스키_위계,Chomsky_hierarchy]]에서 type-0 [[언어,language]].
https://ko.wikipedia.org/wiki/재귀_열거_언어
@@ -102,6 +158,22 @@
enumerations
enumerated|enumeration (data) type
== C# ==
enumeration_type
https://learn.microsoft.com/en-us/dotnet/csharp/language-reference/builtin-types/enum
enumerated|enumeration (data) type
..
enumeration_type
enumeration type
WtEn:enumeration_type x 2024-1
enumerated_type
enumerated type
WtEn:enumerated_type x 2024-1
Ggl:"enumeration.type enumerated.type" 중에 pagename tbd
we는 이거.
[[WpEn:Enumerated_type]] = https://en.wikipedia.org/wiki/Enumerated_type
enumeration_type
https://learn.microsoft.com/en-us/dotnet/csharp/language-reference/builtin-types/enum
@@ -150,5 +222,22 @@
enumerative+geometry
}
= Interw =
https://encyclopediaofmath.org/wiki/Enumeration
}
== enumerative combinatorics ==
enumerative combinatorics
열거조합론 ?
[[enumerative_combinatorics]]
WtEn:enumerative_combinatorics ?
[[WpEn:Enumerative_combinatorics]] = https://en.wikipedia.org/wiki/Enumerative_combinatorics
...
"enumerative combinatorics"
Ggl:"enumerative combinatorics"
Naver:"enumerative combinatorics"
enumerative+combinatorics
Up: [[열거,enumeration]] [[조합론,combinatorics]]
https://encyclopediaofmath.org/wiki/Enumeration
Contents
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
개념상 당연히 다음과 매우 밀접
{
이산성 discreteness
자연수 natural_number ℕ
정수 integer ℤ
counting 세기/카운팅/셈/...
successor 다음수함수 ?
numbering ... =,numbering numbering
{
numbering
numbering
넘버링
번호매기기?
수할당?
수매김?
... 죄다 이상한데 translit.말고 번역은 없을지?
also on : 경우의_수,number_of_cases?action=highlight&value=numbering
complete_numbering =,complete_numbering =,complete_numbering . complete_numbering
Numbering_(computability_theory) = https://en.wikipedia.org/wiki/Numbering_(computability_theory)
ナンバリング_(計算可能性理論) = https://ja.wikipedia.org/wiki/ナンバリング_(計算可能性理論)
여기선 translit.
} //numbering
} // enumeration과 밀접한것들![KmsE: KmsE:](/wiki/imgs/interwiki/kmse-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
넘버링
번호매기기?
수할당?
수매김?
... 죄다 이상한데 translit.말고 번역은 없을지?
also on : 경우의_수,number_of_cases?action=highlight&value=numbering
complete_numbering =,complete_numbering =,complete_numbering . complete_numbering
{
complete numbering
Complete_numbering = https://en.wikipedia.org/wiki/Complete_numbering
"complete numbering"
complete numbering
} // complete numbering
Goedel_numbering =,Goedel_numbering =,Goedel_numbering . Goedel_numberingcomplete numbering
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
"complete numbering"
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
} // complete numbering
{
Gödel numbering
mkl diagonal_argument Kurt_Goedel
Gödel_numbering = https://en.wikipedia.org/wiki/Gödel_numbering
"Gödel numbering"
Gödel numbering
} // Gödel numbering
admissible_numbering =,admissible_numbering =,admissible_numbering . admissible_numberingGödel numbering
mkl diagonal_argument Kurt_Goedel
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
"Gödel numbering"
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
} // Gödel numbering
{
admissible numbering
admissible_numbering ?
Admissible_numbering = https://en.wikipedia.org/wiki/Admissible_numbering
"admissible numbering"
admissible numbering
} // admissible numbering
admissible numbering
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
"admissible numbering"
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
} // admissible numbering
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
첫문장(2023-12-18)
"In computability theory
// 계산가능성이론,computability_theory에서
a numbering is the assignment of natural numbers to a set of objects such as functions, rational numbers, graphs, or words in some formal language."
// '''numbering''이란, 자연수,natural_numbers들을 객체/대상(objects)들의 집합에 할당,assignment하는 것.
"In computability theory
// 계산가능성이론,computability_theory에서
a numbering is the assignment of natural numbers to a set of objects such as functions, rational numbers, graphs, or words in some formal language."
// '''numbering''이란, 자연수,natural_numbers들을 객체/대상(objects)들의 집합에 할당,assignment하는 것.
![WpJa: WpJa:](/wiki/imgs/interwiki/wpja-16.png)
여기선 translit.
} //numbering
2. enumeration operator ¶
https://encyclopediaofmath.org/wiki/Enumeration_operator
enumeration operator
mentions
recursively-enumerable_set = recursively-enumerable set ...
recursively-enumerable set
recursively-enumerable set
보통 그냥 띄어쓰는듯
recursively_enumerable_set = recursively enumerable set ...
recursively enumerable set
아무튼
=,recursively-enumerable_set =,recursively_enumerable_set
https://mathworld.wolfram.com/RecursivelyEnumerableSet.html
https://ko.wikipedia.org/wiki/재귀_열거_집합
https://en.wikipedia.org/wiki/Computably_enumerable_set
재귀 열거가능 집합 ?
재귀 열거 집합 ? (wk)
재귀 열거가능 집합
재귀 열거 집합
재귀 열거가능 집합
재귀 열거 집합
집합,set
....recursively-enumerable_set = recursively-enumerable set ...
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
보통 그냥 띄어쓰는듯
recursively_enumerable_set = recursively enumerable set ...
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
아무튼
=,recursively-enumerable_set =,recursively_enumerable_set
https://mathworld.wolfram.com/RecursivelyEnumerableSet.html
https://ko.wikipedia.org/wiki/재귀_열거_집합
https://en.wikipedia.org/wiki/Computably_enumerable_set
재귀 열거가능 집합 ?
재귀 열거 집합 ? (wk)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
집합,set
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
via partial recursive operator partial_recursive_operator https://encyclopediaofmath.org/wiki/Partial_recursive_operator
via partial recursive function / recursive function / computable function 셋중에하나
via partial recursive function / recursive function / computable function 셋중에하나
3. enumeration reducibility ¶
enumeration_reducibility =,enumeration_reducibility . enumeration_reducibility
{
enumeration reducibility
https://en.wikipedia.org/wiki/Enumeration_reducibility
enumeration reducibility
}
{
enumeration reducibility
https://en.wikipedia.org/wiki/Enumeration_reducibility
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
}
5.4. recursively enumerable language ¶
recursively_enumerable_language =,recursively_enumerable_language . recursively_enumerable_language
재귀 열거 언어 / 재귀적 열거 가능 언어 (wk)
6. PL ¶
이때는 보통 그 '열거형'과 관련 신택스,syntax.
표현이 많은데 별 언급할필요는 없으나 주의점같은거 있음 write..
enumerations
enumerated|enumeration (data) type
enumerations
enumerated|enumeration (data) type
..
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
we는 이거.
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
6.1. C# ¶
enumeration_type
https://learn.microsoft.com/en-us/dotnet/csharp/language-reference/builtin-types/enum
은 모든 enumeration types의 abstract_base_class
System.Enum
type => https://learn.microsoft.com/en-us/dotnet/api/system.enum은 모든 enumeration types의 abstract_base_class
8.1. enumerative geometry ¶
(geometry)
enumerative_geometry =,enumerative_geometry .
{
enumerative geometry
열거기하
열거기하학
(we) "enumerative geometry is the branch of algebraic_geometry concerned with counting numbers of solutions to geometric questions, mainly by means of intersection_theory."
열거_기하학 = https://ko.wikipedia.org/wiki/열거_기하학
Enumerative_geometry
https://ncatlab.org/nlab/show/enumerative geometry
Up: algebraic_geometry
enumerative+geometry
}
enumerative_geometry =,enumerative_geometry .
{
enumerative geometry
열거기하
열거기하학
(we) "enumerative geometry is the branch of algebraic_geometry concerned with counting numbers of solutions to geometric questions, mainly by means of intersection_theory."
![WpKo: WpKo:](/wiki/imgs/interwiki/wpko-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
https://ncatlab.org/nlab/show/enumerative geometry
Up: algebraic_geometry
enumerative+geometry
}
8.2. enumerative combinatorics ¶
enumerative combinatorics
열거조합론 ?
열거조합론 ?
...
"enumerative combinatorics"
enumerative combinatorics
enumerative combinatorics
enumerative+combinatorics
"enumerative combinatorics"
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
enumerative+combinatorics