Difference between r1.16 and the current

@@ -1,49 +1,98 @@

<<tableofcontents>>

= Subfields 분야들 =

== additive combinatorics ==

[[additive_combinatorics]] - writing
{

additive combinatorics

[[WtEn:additive_combinatorics]] = https://en.wiktionary.org/wiki/additive_combinatorics
https://en.wikipedia.org/wiki/Additive_combinatorics

"additive combinatorics"

}

== enumerative combinatorics ==

[[enumerative_combinatorics]] =,enumerative_combinatorics . enumerative_combinatorics

{

enumerative combinatorics

[[열거,enumeration]]

rel [[열거,enumeration]]

https://en.wikipedia.org/wiki/Twelvefold_way
https://en.wikipedia.org/wiki/Enumerative_combinatorics

"enumerative combinatorics"

}

== analytic combinatorics ==

analytic combinatorics

[[analysis]]

[[analytic_combinatorics]] =,analytic_combinatorics . analytic_combinatorics

{

analytic combinatorics

[[analysis]] [[어낼러시스,analysis]] [[조합론,combinatorics]]

WtEn:arithmetic_combinatorics

WtEn:analytic_combinatorics

WpSp:analytic_combinatorics ?

WpEn:analytic_combinatorics ?

분석적조합론 보단 해석적조합론 이겠지 아마...

...

Bing:"analytic combinatorics"

"analytic combinatorics"

}

== arithmetic combinatorics ==

산술적 조합론?

[[arithmetic_combinatorics]] =,arithmetic_combinatorics . arithmetic_combinatorics

{

arithmetic combinatorics

WtEn:arithmetic_combinatorics

[[산술,arithmetic]]

... (see ~~wpen)~~

"arithmetic combinatorics"

}

== ADDHERE (subfield of combinatorics) ==

ADDHERE

... (더 많은 subtopics/branches - see

WtEn:combinatorics

[[WpEn:Combinatorics]] = https://en.wikipedia.org/wiki/Combinatorics

= ~~Topics~~ =

and [[WpEn:Category:Combinatorics]] = https://en.wikipedia.org/wiki/Category:Combinatorics

)

= Topics =

== 생성함수 generating function ==

[[생성함수,generating_function]] - [[VG:생성함수,generating_function]]

[[생성,generation]]

[[함수,function]]

== combinatorial explosion ==

[[combinatorial_explosion]] =,combinatorial_explosion =,combinatorial_explosion . combinatorial_explosion
{

combinatorial explosion

'''combinatorial explosion'''

조합폭발
조합적 폭발 ?

https://en.wikipedia.org/wiki/Combinatorial_explosion

~~WtEn:combinatorial_explosion x [[Date(2023-08-24T05:26:55)]]~~

~~[[Ackermann~~_~~function]]~~

WtEn:combinatorial_explosion x [[Date(2023-08-24T05:26:55)]]

see also: [[exponential_growth]] { WpEn:Exponential_growth Up: [[growth]] }

mkl [[아커만_함수,Ackermann_function]]

see also: [[exponential_growth]] Srch:exponential_growth { WpEn:Exponential_growth Up: [[growth]] }

rel? [[무한,infinity]] or [[무한대,infinity]]? [[large_number]]

Naver:"combinatorial explosion"
Bing:"combinatorial explosion"
Ggl:"combinatorial explosion"
}

= ''이하 예전내용 TOMERGE'' =
[[곱의_법칙,rule_of_product]] ...rename to:
--[[곱법칙,product_rule]] product_rule-- ...보다는

@@ -61,6 +110,9 @@

포함-배제 원리
inclusion-exclusion principle
inclusion-exclusion_principle

WtEn:inclusion-exclusion_principle ?

WpSp:inclusion-exclusion_principle ?

WpEn:inclusion-exclusion_principle ?

{
어떤 문제선, sum_rule 을 적용할 때 중복되어 계산(counting)된 경우의 수를 고려해야 한다. 이 때는 중복된 [[경우의_수,number_of_cases]]를 제외해야 한다.

@@ -79,23 +131,73 @@

----
복원 추출 (추출 with replacement)
비복원 추출 (" without replacement)

(추출이 뭐였더라 ... sampling? 표집? )

[[경우의_수,number_of_cases]]

counting

[[counting]]

[[조합,combination]]

[[순열,permutation]] / [[치환,permutation]]

combinatory_algebra

combinatory algebra

[[combinatory_algebra]] =,combinatory_algebra . combinatory_algebra

{

combinatory algebra

WtEn:combinatory_algebra ?

WpSp:combinatory_algebra ?

WpEn:combinatory_algebra ?

https://www.pls-lab.org/en/Combinatory_algebras

... Google:combinatory.algebra

...

Google:"combinatory algebra"

Bing:"combinatory algebra"

"combinatory algebra"

}

~~combinatory_logic~~

{

combinatory logic

[[combinatory_logic]] combinatory_logic =,combinatory_logic . combinatory_logic

{

'''combinatory logic'''

조합논리? 로 하면 [[조합논리,combinational_logic]] WtEn:combinational_logic 의 대세번역과 겹친다는 문제점... 그냥 조합논리? 아님 조합적논리 등등?

combinator 번역을 [[조합자,combinator]]로 하고 조합자논리 로 하면 어떨지?

Books

https://i.imgur.com/akh2T1h.png Combinatory Logic, Volume 1

[[Haskell_Curry]] { WpEn:Haskell_Curry } [[Robert_Feys]] { WpEn:Robert_Feys }

https://www.abebooks.com/first-edition/Combinatory-Logic-Volume-1-Haskell-Curry/31624854073/bd

Papers

1924, On the building blocks of mathematical logic, Moses_Schonfinkel // Moses_Schoenfinkel ? https://en.wikipedia.org/wiki/Moses_Schönfinkel

Ggl:"1924, On the building blocks of mathematical logic, Moses_Schonfinkel"

1929, An Analysis of Logical Substitution, Haskell Curry // Haskell_Curry

Ggl:"1929, An Analysis of Logical Substitution, Haskell Curry"

1989, Phrasal Forms, Ken Iverson // Ken_Iverson or Kenneth_Iverson ?

Ggl:"1989, Phrasal Forms, Ken Iverson"

2018, Combinatory Logic: From Philosophy and Mathematics to Computer Science, Alexander Farrugia

Ggl:"2018, Combinatory Logic: From Philosophy and Mathematics to Computer Science, Alexander Farrugia"

Twin

WtEn:combinatory_logic ?

WpSp:combinatory_logic ?

WpEn:combinatory_logic ?

MKL

[[조합론,combinatorics]]

[[논리학,logic]] [[논리,logic]] [[로직,logic]]

[[combinatory_algebra]]

Twin:

https://wiki.haskell.org/Combinatory_logic
https://www.pls-lab.org/systems/Combinatory_Logic
https://en.wikipedia.org/wiki/Combinatory_logic

@@ -115,4 +217,9 @@

https://simple.wikipedia.org/wiki/Combinatorics
https://en.wikipedia.org/wiki/Combinatorics

MV TO [[VG:조합론,combinatorics]]

https://www.britannica.com/science/combinatorics

''Also known as: combinatorial mathematics''

https://brilliant.org/wiki/combinatorics/

[[VG:조합론,combinatorics]]

1. Subfields 분야들

1.1. additive combinatorics
1.2. enumerative combinatorics
1.3. analytic combinatorics
1.4. arithmetic combinatorics
1.5. ADDHERE (subfield of combinatorics)
1.6. ADDHERE (subfield of combinatorics)
1.7. ADDHERE (subfield of combinatorics)

2. Topics

2.1. 생성함수 generating function
2.2. combinatorial explosion

3. 이하 예전내용 TOMERGE

4. MKL

[edit]

1. Subfields 분야들 ¶

[edit]

1.1. additive combinatorics ¶

additive_combinatorics - writing
{
additive combinatorics

additive_combinatorics = https://en.wiktionary.org/wiki/additive_combinatorics
https://en.wikipedia.org/wiki/Additive_combinatorics
"additive combinatorics"
}

[edit]

1.2. enumerative combinatorics ¶

enumerative_combinatorics =,enumerative_combinatorics . enumerative_combinatorics
{
enumerative combinatorics
rel 열거,enumeration
https://en.wikipedia.org/wiki/Twelvefold_way
https://en.wikipedia.org/wiki/Enumerative_combinatorics
"enumerative combinatorics"
}

[edit]

1.3. analytic combinatorics ¶

analytic combinatorics
analytic_combinatorics =,analytic_combinatorics . analytic_combinatorics
{
analytic combinatorics
analysis 어낼러시스,analysis 조합론,combinatorics

analytic_combinatorics

analytic_combinatorics ?

analytic_combinatorics ?
분석적조합론 보단 해석적조합론 이겠지 아마...
...

analytic combinatorics
"analytic combinatorics"
"analytic combinatorics"
}

[edit]

1.4. arithmetic combinatorics ¶

산술적 조합론?
arithmetic_combinatorics =,arithmetic_combinatorics . arithmetic_combinatorics
{
arithmetic combinatorics

arithmetic_combinatorics
산술,arithmetic

"arithmetic combinatorics"
"arithmetic combinatorics"
"arithmetic combinatorics"
}

[edit]

1.5. ADDHERE (subfield of combinatorics) ¶

[edit]

1.6. ADDHERE (subfield of combinatorics) ¶

[edit]

1.7. ADDHERE (subfield of combinatorics) ¶

ADDHERE

... (더 많은 subtopics/branches - see

combinatorics

Combinatorics = https://en.wikipedia.org/wiki/Combinatorics

and

Category:Combinatorics = https://en.wikipedia.org/wiki/Category:Combinatorics
)

[edit]

2. Topics ¶

[edit]

2.1. 생성함수 generating function ¶

생성함수,generating_function -

생성함수,generating_function

생성,generation
함수,function

[edit]

2.2. combinatorial explosion ¶

combinatorial_explosion =,combinatorial_explosion =,combinatorial_explosion . combinatorial_explosion
{
combinatorial explosion

조합폭발
조합적 폭발 ?

https://en.wikipedia.org/wiki/Combinatorial_explosion

combinatorial_explosion x 2023-08-24

mkl 아커만_함수,Ackermann_function

3. 이하 예전내용 TOMERGE ¶

곱의_법칙,rule_of_product ...rename to:
~~곱법칙,product_rule product_rule~~ ...보다는
곱규칙,product_rule

합의 법칙,rule_of_sum 보다는
합법칙,sum_rule 보다는
합규칙,sum_rule =합규칙,sum_rule =,sum_rule . 합규칙 sum_rule
{
rule of sum summation ?
AKA addition principle
}

포함배제원리
포함-배제 원리
inclusion-exclusion principle
inclusion-exclusion_principle

inclusion-exclusion_principle ?

inclusion-exclusion_principle ?
{
어떤 문제선, sum_rule 을 적용할 때 중복되어 계산(counting)된 경우의 수를 고려해야 한다. 이 때는 중복된 경우의_수,number_of_cases를 제외해야 한다.

두 사건
E₁
E₂
에 대해
...(wiki syntax: 줄이 |로 시작할 수 없음) | E₁ ∪ E₂ | = | E₁ | + | E₂ | − | E₁ ∩ E₂ |
where
E : 사건,event E가 발생하는 경우,case의 집합 ? 경우의 수의 집합 ? (??)
... | E | : 집합 E의 원소의 수
chk; via https://youtu.be/J5NCJBkw1ak?t=619

}

복원 추출 (추출 with replacement)
비복원 추출 (" without replacement)

(추출이 뭐였더라 ... sampling? 표집? )

경우의_수,number_of_cases

counting

조합,combination

순열,permutation / 치환,permutation

combinatory algebra
combinatory_algebra =,combinatory_algebra . combinatory_algebra
{
combinatory algebra

combinatory_algebra ?

https://www.pls-lab.org/en/Combinatory_algebras

...

combinatory algebra

combinatory algebra
"combinatory algebra"
"combinatory algebra"
}

combinatory logic
combinatory_logic combinatory_logic =,combinatory_logic . combinatory_logic
{
combinatory logic
조합논리? 로 하면 조합논리,combinational_logic

combinational_logic의 대세번역과 겹친다는 문제점... 그냥 조합논리? 아님 조합적논리 등등?

combinator 번역을 조합자,combinator로 하고 조합자논리 로 하면 어떨지?

Books