클로저,closure

Difference between r1.11 and the current

@@ -1,6 +1,7 @@
#noindex
##==클로저,closure =,closure 클로저 closure
번역들
[[닫힘,closure]] or [[폐포,closure]] - KMS KmsE:closure
논리학에서
''(번역어를 대체하는 얘기 도중)'' '닫힌 식(closure)'을 '폐쇄식'으로 바꾸었다 ... (기호논리학 p10)
MKPAGE [[닫힌식,closure]]? ... aka [[닫힌식,closed_expression]] ??
@@ -21,10 +22,33 @@
* '''Positive closure'''
$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]]
@@ -55,14 +79,16 @@
[[닫힘,closure]] =닫힘,closure =,closure 닫힘 closure
{
KmsE:closure
MKL [[폐포,pyepo]]
}
[[폐포,closure]] =폐포,closure =,closure 폐포 closure
{
MKL [[폐포,pyepo]]
[[WpKo:폐포_(수학)]] = https://ko.wikipedia.org/wiki/폐포_(수학)

Sub:
[[폐포연산자,closure_operator]] w rr
[[폐포연산자,closure_operator]] w rr { MKL [[폐포,pyepo]] }
}
[[닫힘성,closedness]] =닫힘성,closedness =,closedness 닫힘성 closedness
{
@@ -74,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]].

MKL [[폐포,pyepo]]
}
아님 [[닫힘성,closure]]가 적당한 pagename인지?

@@ -101,6 +129,25 @@

Transitive Closure -- from Wolfram MathWorld
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
 
 
 
[[MW:TransitiveClosure]]
 
[[WtEn:transitive_closure]] = https://en.wiktionary.org/wiki/transitive_closure
 
[[WpEn:Transitive_closure]] = https://en.wikipedia.org/wiki/Transitive_closure
 
MKL
[[관계,relation]] > [[이항관계,binary_relation]]
}

Reflexive Closure -- from Wolfram MathWorld
https://mathworld.wolfram.com/ReflexiveClosure.html
@@ -111,3 +158,12 @@
= tmp bmks ko =
2!=2 :: 해석학, 그 열 번째 이야기 | 거리공간에서의 Interior와 Closure ( Interior and Closure for Metric Space )
https://chocobear.tistory.com/172
 
----
이게 아마 Clojure 발음과 동일하던가? chk Ggl:clojure - then page name [[클로저,Clojure]] ? - right.
 
----
WIKIADMIN
[[Date(2024-07-25T23:52:12)]] via kn closure:
인클로저 enclosure
디스클로저 disclosure


번역들
닫힘,closure or 폐포,closure - KMS KmsE:closure
논리학에서
(번역어를 대체하는 얘기 도중) '닫힌 식(closure)'을 '폐쇄식'으로 바꾸었다 ... (기호논리학 p10)
MKPAGE 닫힌식,closure? ... aka 닫힌식,closed_expression ??
is_a 식,expression > 논리식,logical_expression?
or is_a 포뮬러,formula > 논리식,logical_formula?
토큰,token을 다루는, 언어,language에 대한 연산,operations들 중에서 (language operations)
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
{
Kleene closure
MKL
concatenation
free_monoid
Kleene_star
Kleene_operator
reflexive_transitive_closure
{
reflexive transitive closure
https://proofwiki.org/wiki/Definition:Reflexive_Transitive_Closure




positive_closure =,positive_closure . positive_closure
{
positive closure
}// positive closure .... Ggl:Positive closure Bing:positive closure Naver:positive closure
수학(algebra?)의 것은 폐포,closure로 번역됨, 이것에 대해
일단은 goto 폐포,pyepo



[edit]

관련표현


WtEn:closedness = https://en.wiktionary.org/wiki/closedness
(2023-11-23 간단, "The property of being closed.")

opp. openness ? 열림성,openness? WtEn:openness = https://en.wiktionary.org/wiki/openness (unimportant)

opp. open_ ?


pagename 후보:
닫힘,closure =닫힘,closure =,closure 닫힘 closure
{
KmsE:closure
MKL 폐포,pyepo
}
폐포,closure =폐포,closure =,closure 폐포 closure
{
MKL 폐포,pyepo


Sub:
폐포연산자,closure_operator w rr { MKL 폐포,pyepo }
}
닫힘성,closedness =닫힘성,closedness =,closedness 닫힘성 closedness
{
KmsE:closedness ? 없으면
KmsE:closed

표현
Ggl:closed under
Natural numbers are closed under addition and multiplication but not subtraction.
자연수,natural_numbers들은, closed under 덧셈,addition and 곱셈,multiplication but not 뺄셈,subtraction.


}
아님 닫힘성,closure가 적당한 pagename인지?



TODO 추가/삭제(정리)

[edit]

정리

[edit]

tmp bmks ko

2!=2 :: 해석학, 그 열 번째 이야기 | 거리공간에서의 Interior와 Closure ( Interior and Closure for Metric Space )
https://chocobear.tistory.com/172

이게 아마 Clojure 발음과 동일하던가? chk Ggl:clojure - then page name 클로저,Clojure ? - right.

WIKIADMIN
2024-07-26 via kn closure:
인클로저 enclosure
디스클로저 disclosure
클로저,closure Modified on 3:26 am, September 6, 2024.
🎲 Random