Difference between r1.17 and the current
@@ -22,10 +22,33 @@
* '''Positive closure'''
$L^+ = \bigcup_{i=1,\ldots,\infty} L^i$
수학(algebra?)의 것은 [[폐포,closure]]로 번역됨, 이것에 대해
일단은 goto [[폐포,pyepo]]
$L^+ = \bigcup_{i=1,\ldots,\infty} L^i$
Kleene_closure
Ggl:"Kleene closure"
positive_closure
Ggl:"Positive closure"
[[Kleene_closure]]
{
'''Kleene closure'''
MKL
[concatenation]
[free_monoid]
[Kleene_star]
[Kleene_operator]
[reflexive_transitive_closure]
{
'''reflexive transitive closure'''
https://proofwiki.org/wiki/Definition:Reflexive_Transitive_Closure
MKL
[reflexive_closure]
[transitive_closure]
}// reflexive transitive closure ... Ggl:"reflexive transitive closure" NN:"reflexive transitive closure" Bing:"reflexive transitive closure"
WtEn:Kleene_closure
WpEn:Kleene_closure
}// Kleene closure .... Ggl:"Kleene closure" Bing:"Kleene closure" Naver:"Kleene closure"
[positive_closure] =,positive_closure . positive_closure
{
'''positive closure'''
}// positive closure .... Ggl:"Positive closure" Bing:"positive closure" Naver:"positive closure"
----수학(algebra?)의 것은 [[폐포,closure]]로 번역됨, 이것에 대해
일단은 goto [[폐포,pyepo]]
@@ -56,14 +79,16 @@
[[닫힘,closure]] =닫힘,closure =,closure 닫힘 closure
{
KmsE:closure
[[폐포,closure]] =폐포,closure =,closure 폐포 closure
{
[[WpKo:폐포_(수학)]] = https://ko.wikipedia.org/wiki/폐포_(수학)
Sub:
[[닫힘성,closedness]] =닫힘성,closedness =,closedness 닫힘성 closedness
{
{
KmsE:closure
MKL [[폐포,pyepo]]
}[[폐포,closure]] =폐포,closure =,closure 폐포 closure
{
MKL [[폐포,pyepo]]
Sub:
[[폐포연산자,closure_operator]] w rr
[[폐포연산자,closure_operator]] w rr { MKL [[폐포,pyepo]] }
}[[닫힘성,closedness]] =닫힘성,closedness =,closedness 닫힘성 closedness
{
@@ -75,6 +100,8 @@
Natural numbers are closed under addition and multiplication but not subtraction.
[[자연수,natural_number]]s들은, '''closed''' under [[덧셈,addition]] and [[곱셈,multiplication]] but not [[뺄셈,subtraction]].
}
아님 [[닫힘성,closure]]가 적당한 pagename인지?
[[자연수,natural_number]]s들은, '''closed''' under [[덧셈,addition]] and [[곱셈,multiplication]] but not [[뺄셈,subtraction]].
MKL [[폐포,pyepo]]
아님 [[닫힘성,closure]]가 적당한 pagename인지?
번역들
닫힘,closure or 폐포,closure - KMS 
closure
논리학에서
closure논리학에서
(번역어를 대체하는 얘기 도중) '닫힌 식(closure)'을 '폐쇄식'으로 바꾸었다 ... (기호논리학 p10)
MKPAGE 닫힌식,closure? ... aka 닫힌식,closed_expression ??
MKPAGE 닫힌식,closure? ... aka 닫힌식,closed_expression ??
토큰,token을 다루는, 언어,language에 대한 연산,operations들 중에서 (language operations)
via https://www.cs.fsu.edu/~engelen/courses/COP562105/
{
Kleene closure
MKL
concatenation
free_monoid
Kleene_star
Kleene_operator
reflexive_transitive_closure
{
reflexive transitive closure
https://proofwiki.org/wiki/Definition:Reflexive_Transitive_Closure
via https://www.cs.fsu.edu/~engelen/courses/COP562105/
- Union
$\displaystyle L\cup M=\left\lbrace s \middle| s\in L \text{ or } s\in M \right\rbrace$
- concatenation
$\displaystyle LM=\lbrace xy | x\in L \text{ and } y \in M \rbrace$
- exponentiation
$\displaystyle L^0=\lbrace \varepsilon \rbrace$
$\displaystyle L^i = L^{i-1}L$
- Kleene closure
$\displaystyle L^* = \bigcup_{i=0,\ldots,\infty} L^i$
- Positive closure
$\displaystyle L^+ = \bigcup_{i=1,\ldots,\infty} L^i$
{
Kleene closure
MKL
concatenation
free_monoid
Kleene_star
Kleene_operator
reflexive_transitive_closure
{
reflexive transitive closure
https://proofwiki.org/wiki/Definition:Reflexive_Transitive_Closure
}// reflexive transitive closure ... 
reflexive transitive closure 
reflexive transitive closure 
reflexive transitive closure
reflexive transitive closure reflexive transitive closure reflexive transitive closure
positive_closure =,positive_closure . positive_closure
{
positive closure
}// positive closure ....Positive closure positive closure 
positive closure
{
positive closure
}// positive closure ....
Positive closure positive closure positive closure
관련표현 ¶
closedness = https://en.wiktionary.org/wiki/closedness(2023-11-23 간단, "The property of being closed.")
opp. openness ? 열림성,openness? openness = https://en.wiktionary.org/wiki/openness (unimportant)opp. open_ ?
pagename 후보:
닫힘,closure =닫힘,closure =,closure 닫힘 closure
{
closure
MKL 폐포,pyepo
}
폐포,closure =폐포,closure =,closure 폐포 closure
{
MKL 폐포,pyepo
닫힘,closure =닫힘,closure =,closure 닫힘 closure
{
closureMKL 폐포,pyepo
}
폐포,closure =폐포,closure =,closure 폐포 closure
{
MKL 폐포,pyepo
Sub:
폐포연산자,closure_operator w rr { MKL 폐포,pyepo }
}
닫힘성,closedness =닫힘성,closedness =,closedness 닫힘성 closedness
{
closedness ? 없으면
closed
폐포연산자,closure_operator w rr { MKL 폐포,pyepo }
}
닫힘성,closedness =닫힘성,closedness =,closedness 닫힘성 closedness
{
closedness ? 없으면closed표현
closed under
Natural numbers are closed under addition and multiplication but not subtraction.
자연수,natural_numbers들은, closed under 덧셈,addition and 곱셈,multiplication but not 뺄셈,subtraction.
closed underNatural numbers are closed under addition and multiplication but not subtraction.
자연수,natural_numbers들은, closed under 덧셈,addition and 곱셈,multiplication but not 뺄셈,subtraction.
MKL 폐포,pyepo
TODO 추가/삭제(정리)
정리 ¶
2023-09-09 그냥 mw에서 closure 검색해서 보이는 항목들임 (del ok) // TMI: Micorosft_Edge의 컬렉션 기능 처음써봄
{
Set Closure -- from Wolfram MathWorld
https://mathworld.wolfram.com/SetClosure.html
{
Set Closure -- from Wolfram MathWorld
https://mathworld.wolfram.com/SetClosure.html
Transitive Closure -- from Wolfram MathWorld
https://mathworld.wolfram.com/TransitiveClosure.html
transitive_closure - transitivity - 추이성,transitivity or 전이성,transitivity
{
https://mathworld.wolfram.com/TransitiveClosure.html
transitive_closure - transitivity - 추이성,transitivity or 전이성,transitivity
{
of directed_graph:
Transitive closure of a directed graph - Algowiki
https://algowiki-project.org/en/Transitive_closure_of_a_directed_graph
Transitive closure of a directed graph - Algowiki
https://algowiki-project.org/en/Transitive_closure_of_a_directed_graph
tmp bmks ko ¶
2!=2 :: 해석학, 그 열 번째 이야기 | 거리공간에서의 Interior와 Closure ( Interior and Closure for Metric Space )
https://chocobear.tistory.com/172
https://chocobear.tistory.com/172
WIKIADMIN
2024-07-26 via kn closure:
인클로저 enclosure
디스클로저 disclosure
2024-07-26 via kn closure:
인클로저 enclosure
디스클로저 disclosure