Difference between r1.8 and the current
@@ -1,14 +1,118 @@
[[곱의_법칙,rule_of_product]] rename to: [[곱법칙,product_rule]] product_rule
<<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"
}
[[합의 법칙,rule_of_sum]] -> [[합법칙,sum_rule]]
== 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"
}
== 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"
}== arithmetic combinatorics ==
산술적 조합론?
[[arithmetic_combinatorics]] =,arithmetic_combinatorics . arithmetic_combinatorics
{
arithmetic combinatorics
WtEn:arithmetic_combinatorics
[[산술,arithmetic]]
"arithmetic combinatorics"
"arithmetic combinatorics"
"arithmetic combinatorics"
}
== ADDHERE (subfield of combinatorics) ==
== ADDHERE (subfield of combinatorics) ==
== ADDHERE (subfield of combinatorics) ==
ADDHERE
... (더 많은 subtopics/branches - see
WtEn:combinatorics
[[WpEn:Combinatorics]] = https://en.wikipedia.org/wiki/Combinatorics
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'''
조합폭발
조합적 폭발 ?
https://en.wikipedia.org/wiki/Combinatorial_explosion
WtEn:combinatorial_explosion x [[Date(2023-08-24T05:26:55)]]
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-- ...보다는
[[곱규칙,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
WtEn:inclusion-exclusion_principle ?
WpSp:inclusion-exclusion_principle ?
WpEn:inclusion-exclusion_principle ?
{어떤 문제선, sum_rule 을 적용할 때 중복되어 계산(counting)된 경우의 수를 고려해야 한다. 이 때는 중복된 [[경우의_수,number_of_cases]]를 제외해야 한다.
@@ -27,27 +131,95 @@
----
복원 추출 (추출 with replacement)
비복원 추출 (" without replacement)
[[경우의_수,number_of_cases]]
[[조합,combination]]
[[순열,permutation]] / [[치환,permutation]]
https://www.pls-lab.org/en/Combinatory_algebras
----
MV TO [[VG:조합론,combinatorics]]
복원 추출 (추출 with replacement)
비복원 추출 (" without replacement)
(추출이 뭐였더라 ... sampling? 표집? )
[[경우의_수,number_of_cases]]
counting
[[counting]]
[[조합,combination]]
combinatory_algebra
combinatory algebra
[[combinatory_algebra]] =,combinatory_algebra . combinatory_algebra
{combinatory algebra
WtEn:combinatory_algebra ?
WpSp:combinatory_algebra ?
WpEn:combinatory_algebra ?
... Google:combinatory.algebra
...
Google:"combinatory algebra"
Bing:"combinatory algebra"
"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... Google:combinatory.logic
https://en.wikipedia.org/wiki/Combinatory_logic
...
Ndict:"combinatory logic" x ([[Date(2023-08-20T12:43:06)]])
Naver:"combinatory logic"
Bing:"combinatory logic"
Ggl:"combinatory logic"
}= MKL =
[[콤비네이터,combinator]]
https://ko.wikipedia.org/wiki/조합론
"또는 '''조합수학'''"
https://simple.wikipedia.org/wiki/Combinatorics
https://en.wikipedia.org/wiki/Combinatoricshttps://www.britannica.com/science/combinatorics
''Also known as: combinatorial mathematics''
https://brilliant.org/wiki/combinatorics/
[[VG:조합론,combinatorics]]
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"
}
{
additive combinatorics
additive_combinatorics = https://en.wiktionary.org/wiki/additive_combinatorics
https://en.wikipedia.org/wiki/Additive_combinatorics
"additive combinatorics"
}
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"
}
{
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
analytic_combinatorics =,analytic_combinatorics . analytic_combinatorics
{
analytic combinatorics
analysis 어낼러시스,analysis 조합론,combinatorics
analytic_combinatorics
analytic_combinatorics ?
analytic_combinatorics ?
분석적조합론 보단 해석적조합론 이겠지 아마...
...
analytic combinatorics
"analytic combinatorics"
"analytic combinatorics"
}
analytic_combinatorics ?
analytic_combinatorics ?
분석적조합론 보단 해석적조합론 이겠지 아마...
...
analytic combinatorics
"analytic combinatorics"
"analytic combinatorics"
}
1.4. arithmetic combinatorics ¶
산술적 조합론?
arithmetic_combinatorics =,arithmetic_combinatorics . arithmetic_combinatorics
{
arithmetic combinatorics
arithmetic_combinatorics =,arithmetic_combinatorics . arithmetic_combinatorics
{
arithmetic combinatorics
"arithmetic combinatorics"
"arithmetic combinatorics"
"arithmetic combinatorics"
}
"arithmetic combinatorics"
"arithmetic combinatorics"
}
2.2. combinatorial explosion ¶
combinatorial_explosion =,combinatorial_explosion =,combinatorial_explosion . combinatorial_explosion
{
combinatorial explosion
{
combinatorial explosion
조합폭발
조합적 폭발 ?
조합적 폭발 ?
3. 이하 예전내용 TOMERGE ¶
합의 법칙,rule_of_sum 보다는
합법칙,sum_rule 보다는
합규칙,sum_rule =합규칙,sum_rule =,sum_rule . 합규칙 sum_rule
{
rule of sum summation ?
AKA addition principle
}
합법칙,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 ?
inclusion-exclusion_principle ?
{
어떤 문제선, sum_rule 을 적용할 때 중복되어 계산(counting)된 경우의 수를 고려해야 한다. 이 때는 중복된 경우의_수,number_of_cases를 제외해야 한다.
포함-배제 원리
inclusion-exclusion principle
inclusion-exclusion_principle
inclusion-exclusion_principle ?
inclusion-exclusion_principle ?
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
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)
비복원 추출 (" without replacement)
(추출이 뭐였더라 ... sampling? 표집? )
경우의_수,number_of_casescombinatory algebra
combinatory_algebra =,combinatory_algebra . combinatory_algebra
{
combinatory algebra
combinatory_algebra =,combinatory_algebra . combinatory_algebra
{
combinatory algebra
combinatory logic
combinatory_logic combinatory_logic =,combinatory_logic . combinatory_logic
{
combinatory logic
조합논리? 로 하면 조합논리,combinational_logic combinational_logic의 대세번역과 겹친다는 문제점... 그냥 조합논리? 아님 조합적논리 등등?
Books
Haskell_Curry { Haskell_Curry } Robert_Feys { Robert_Feys }
https://www.abebooks.com/first-edition/Combinatory-Logic-Volume-1-Haskell-Curry/31624854073/bd
combinatory_logic combinatory_logic =,combinatory_logic . combinatory_logic
{
combinatory logic
조합논리? 로 하면 조합논리,combinational_logic combinational_logic의 대세번역과 겹친다는 문제점... 그냥 조합논리? 아님 조합적논리 등등?
Books
Combinatory Logic, Volume 1
Haskell_Curry { Haskell_Curry } Robert_Feys { 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
1924, On the building blocks of mathematical logic, Moses_Schonfinkel
1924, On the building blocks of mathematical logic, Moses_Schonfinkel
1929, An Analysis of Logical Substitution, Haskell Curry // Haskell_Curry
1929, An Analysis of Logical Substitution, Haskell Curry
1929, An Analysis of Logical Substitution, Haskell Curry
1989, Phrasal Forms, Ken Iverson // Ken_Iverson or Kenneth_Iverson ?
1989, Phrasal Forms, Ken Iverson
1989, Phrasal Forms, Ken Iverson
2018, Combinatory Logic: From Philosophy and Mathematics to Computer Science, Alexander Farrugia
2018, Combinatory Logic: From Philosophy and Mathematics to Computer Science, Alexander Farrugia
2018, Combinatory Logic: From Philosophy and Mathematics to Computer Science, Alexander Farrugia
Twin
Twin:
https://wiki.haskell.org/Combinatory_logic
https://www.pls-lab.org/systems/Combinatory_Logic
https://en.wikipedia.org/wiki/Combinatory_logic
...
combinatory logic x (2023-08-20)
combinatory logic
combinatory logic
combinatory logic
}
https://wiki.haskell.org/Combinatory_logic
https://www.pls-lab.org/systems/Combinatory_Logic
https://en.wikipedia.org/wiki/Combinatory_logic
...
combinatory logic x (2023-08-20)
combinatory logic
combinatory logic
combinatory logic
}
4. MKL ¶
https://ko.wikipedia.org/wiki/조합론
https://en.wikipedia.org/wiki/Combinatorics
"또는 조합수학"
https://simple.wikipedia.org/wiki/Combinatoricshttps://en.wikipedia.org/wiki/Combinatorics
https://www.britannica.com/science/combinatorics
Also known as: combinatorial mathematics
https://brilliant.org/wiki/combinatorics/