<> = 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 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]]를 제외해야 한다. 두 사건 E,,1,, E,,2,, 에 대해 ...(wiki syntax: 줄이 |로 시작할 수 없음) | E,,1,, ∪ E,,2,, | = | E,,1,, | + | E,,2,, | − | E,,1,, ∩ E,,2,, | 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 WtEn:combinatory_algebra ? WpSp:combinatory_algebra ? WpEn:combinatory_algebra ? https://www.pls-lab.org/en/Combinatory_algebras ... 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 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 ... 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/Combinatorics https://www.britannica.com/science/combinatorics ''Also known as: combinatorial mathematics'' https://brilliant.org/wiki/combinatorics/ [[VG:조합론,combinatorics]]