조합론,combinatorics

Difference between r1.24 and the current

@@ -73,13 +73,14 @@
== 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)]]~~
 
WtEn:combinatorial_explosion x [[Date(2023-08-24T05:26:55)]]

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



1. Subfields 분야들

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"
}

1.3. analytic combinatorics

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

WtEn:analytic_combinatorics
WpSp:analytic_combinatorics ?
WpEn:analytic_combinatorics ?
분석적조합론 보단 해석적조합론 이겠지 아마...
...
Bing:analytic combinatorics
"analytic combinatorics"
"analytic combinatorics"
}

1.4. arithmetic combinatorics

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


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

1.5. ADDHERE (subfield of combinatorics)

1.6. ADDHERE (subfield of combinatorics)

1.7. ADDHERE (subfield of combinatorics)

2. Topics

2.2. combinatorial explosion

3. 이하 예전내용 TOMERGE


합의 법칙,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
WtEn:inclusion-exclusion_principle ?
WpSp:inclusion-exclusion_principle ?
WpEn:inclusion-exclusion_principle ?
{
어떤 문제선, sum_rule 을 적용할 때 중복되어 계산(counting)된 경우의 수를 고려해야 한다. 이 때는 중복된 경우의_수,number_of_cases를 제외해야 한다.

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

}


복원 추출 (추출 with replacement)
비복원 추출 (" without replacement)
(추출이 뭐였더라 ... sampling? 표집? )

경우의_수,number_of_cases




combinatory algebra
combinatory_algebra =,combinatory_algebra . combinatory_algebra
{
combinatory algebra



...
Google:combinatory algebra
Bing:combinatory algebra
"combinatory algebra"
"combinatory algebra"
}

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