Contents
enumeration
enumerable
개념상 당연히 다음과 매우 밀접
{
이산성 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
여기선 translit.
} //numbering
} // enumeration과 밀접한것들numbering
numbering
넘버링
번호매기기?
수할당?
수매김?
... 죄다 이상한데 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
Complete_numbering = https://en.wikipedia.org/wiki/Complete_numbering
"complete numbering"
complete numbering
} // 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
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 = https://en.wikipedia.org/wiki/Admissible_numbering
"admissible numbering"
admissible numbering
} // admissible numbering
Numbering_(computability_theory) = https://en.wikipedia.org/wiki/Numbering_(computability_theory)admissible numbering
admissible_numbering ?
Admissible_numbering = https://en.wikipedia.org/wiki/Admissible_numbering
"admissible numbering"
admissible numbering
} // admissible numbering
첫문장(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하는 것.
ナンバリング_(計算可能性理論) = https://ja.wikipedia.org/wiki/ナンバリング_(計算可能性理論)"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하는 것.
여기선 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 ... 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
enumeration operator
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
enumeration reducibility
}
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
..
enumeration.type enumerated.type 중에 pagename tbd
we는 이거.
Enumerated_type = https://en.wikipedia.org/wiki/Enumerated_type
we는 이거.
Enumerated_type = https://en.wikipedia.org/wiki/Enumerated_type
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."
열거_기하학 = https://ko.wikipedia.org/wiki/열거_기하학
Enumerative_geometry
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"
enumerative combinatorics
enumerative combinatorics
enumerative+combinatorics