Contents
enumeration
enumerable
개념상 당연히 다음과 매우 밀접
{
이산성 discreteness
자연수 natural_number ℕ
정수 integer ℤ
counting 세기/카운팅/셈/...
successor 다음수함수 ?
}
1. 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 셋중에하나
2. 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
}
4.4. recursively enumerable language ¶
recursively_enumerable_language =,recursively_enumerable_language . recursively_enumerable_language
재귀 열거 언어 / 재귀적 열거 가능 언어 (wk)
5. PL ¶
이때는 보통 그 '열거형'과 관련 신택스,syntax.
표현이 많은데 별 언급할필요는 없으나 주의점같은거 있음 write..
enumerations
enumerated|enumeration (data) type
enumerations
enumerated|enumeration (data) type
5.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
7.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
}
7.2. enumerative combinatorics ¶
enumerative combinatorics
열거조합론 ?
열거조합론 ?
...
"enumerative combinatorics"
enumerative combinatorics
enumerative combinatorics
enumerative+combinatorics
"enumerative combinatorics"
enumerative combinatorics
enumerative combinatorics
enumerative+combinatorics