클로저,closure

번역들
닫힘,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