[[해석학,analysis]]의 일종인 미적분학([[미적분학,calculus]] = [[미적분,calculus]] / [[VG:미적분,calculus]])으로 번역되기도 하고 (이게 가장 흔히 쓰이는 뜻) * 미분학 differential_calculus + 적분학 integral_calculus = 미적분학 * curr at [[미분,differential]] 변분법이 있으며 - [[variation]] { [[베리에이션,variation]] via kornorms. } * [[변분법,variational_calculus]] - [[VG:변분법,variational_calculus]] 그 외는 대체로 번역이 통일되지 않고 중구난방. 대체로: 계산법, 계산, 대수, 연산, 논리, ... 등으로 번역. 다만, 계산 - calculation 과 겹침 대수 - algebra 〃 연산 - opeation 〃 논리 - logic 〃 * predicate_calculus - [[술어논리,predicate_logic]] [[일차논리,first-order_logic]]와 동일? chk. https://encyclopediaofmath.org/wiki/Predicate_calculus * logical_calculus - [[논리학,logic]] https://encyclopediaofmath.org/wiki/Logical_calculus * logico-mathematical_calculus - https://encyclopediaofmath.org/wiki/Logico-mathematical_calculus - ''applied calculus'' * implication_calculus * strict_implication_calculus - https://encyclopediaofmath.org/wiki/Strict_implication_calculus * [[sequent_calculus]] - curr at [[시퀀트,sequent]] * lambda_calculus - [[람다대수,lambda_calculus]] - [[VG:람다대수,lambda_calculus]] * process_calculus - [[Wiki:ProcessCalculus]] [[WpEn:Process_calculus]] ... Google:process+calculus // MKLINK [[concurrency]] or [[concurrent_computing]] * CSP (communicating_sequential_processes) - Wiki:CommunicatingSequentialProcesses [[WpKo:커뮤니케이팅_시퀜셜_프로세스]] [[WpEn:Communicating_sequential_processes]] ... Google:communicating.sequential.processes - Tony_Hoare 1978 * CCS (calculus_of_communicating_systems) ... [[WpEn:Calculus_of_communicating_systems]] Google:calculus_of_communicating_systems * ACP (algebra_of_communicating_processes) ... [[WpEn:Algebra_of_communicating_processes]] Google:algebra_of_communicating_processes * LOTOS (Language_Of_Temporal_Ordering_Specification) ... [[WpEn:Language_Of_Temporal_Ordering_Specification]] * pi-calculus - '''π-calculus''' ... [[WpEn:Π-calculus]] https://www.pls-lab.org/Pi_Calculus ... Google:pi.calculus * join_calculus / join-calculus ... { '''join-calculus ''or'' join calculus''' [[WpEn:Join-calculus]] } Google:Join.calculus * ambient_calculus ... [[WpEn:Ambient_calculus]] ... Google:Ambient_calculus * PEPA ... [[WpEn:PEPA]] * situation_calculus - WpEn:Situation_calculus = https://en.wikipedia.org/wiki/Situation_calculus by John_McCarthy 1963 * event_calculus - WpEn:Event_calculus = https://en.wikipedia.org/wiki/Event_calculus ... Google:Event.calculus * fluent_calculus - WpEn:Fluent_calculus = https://en.wikipedia.org/wiki/Fluent_calculus ... Google:Fluent.calculus situation_calculus 의 variation. * nu-calculus nu_calculus - https://www.pls-lab.org/en/Nu_calculus ... Google:ν-calculus * tuple_calculus - https://foldoc.org/tuple+calculus ... Google:tuple+calculus // DB쪽? [[튜플,tuple]] [[칼큘러스,calculus]] * kappa_calculus - WpEn:Kappa_calculus = https://en.wikipedia.org/wiki/Kappa_calculus * arithmetical_calculus - = 형식산술 형식적산술 formal_arithmetic ? via https://encyclopediaofmath.org/wiki/Arithmetic,_formal ([[산술,arithmetic]]) * pattern_calculus - w ... { '''pattern calculus''' WtEn:pattern_calculus WpEn:pattern_calculus Up: [[패턴,pattern]] [[칼큘러스,calculus]] } // pattern calculus Ggl:"pattern calculus" * [[Schubert_calculus]] =,Schubert_calculus . Schubert_calculus Schubert calculus https://en.wiktionary.org/wiki/Schubert_calculus https://encyclopediaofmath.org/wiki/Schubert_calculus https://ncatlab.org/nlab/show/Schubert+calculus ... "Schubert calculus" Ggl:"Schubert calculus" ... see also [[VG:미적분,calculus#s-16]] 복수형 '''calculi''' ''Local에도 =,calculus 작성중. Twins: https://encyclopediaofmath.org/wiki/Calculus [[WpEn:Category:Logical_calculi]] - 분류에참조 rel. [[형식체계,formal_system]] - [[VG:형식체계,formal_system]] Cmp: [[로직,logic]] - [[논리,logic]] [[논리학,logic]] [[앨지브라,algebra]] - [[대수,algebra]] [[대수학,algebra]] Sub: [[operational_calculus]] =,operational_calculus =,operational_calculus . operational_calculus { '''operational calculus''' aka [[operational_analysis]] (we) ??? WtEn:operational_analysis 에서는 WtEn:operations_research 라 함. WtEn:operational_calculus "[[연산자,operator]]관점의 calculus" WpEn:Operational_calculus mentioned; Srch:operational_analysis } // operational calculus ... NN:"operational calculus" Ggl:"operational calculus" [[modular_calculus]] =,modular_calculus =,modular_calculus . modular_calculus { '''modular calculus''' WtEn:modular_calculus - 암호학에서, '응용 정수론'이란 뜻. } // modular calculus ... NN:"modular calculus" Ggl:"modular calculus" NN:"응용 정수론" Ggl:"응용 정수론" calculus of variations variational calculus 변분학 변분법,variational_calculus - vg [[변분법,variational_calculus]] =변분법,variational_calculus =,variational_calculus 변분법 variational_calculus { [[WtEn:calculus_of_variations]] https://en.wikipedia.org/wiki/Calculus_of_variations MKL [[범함수,functional]] bbbbbbbbbbbbbbbbbbbbb https://namu.wiki/w/변분법 Ndict:변분법 Ggl:변분법 } infinitesimal_calculus 미적분학 WtEn:infinitesimal_calculus = https://en.wiktionary.org/wiki/infinitesimal_calculus differential_calculus 미분학 WtEn:differential_calculus integral_calculus 적분학 - [[적분,integration]] [[적분,integral]] WtEn:integral_calculus Up: 해석학 analysis - mathematical_analysis (?) differencial_calculus ....??? 이건 미분학 이어야 하는데 계차법 differencial calculus - [[https://terms.naver.com/entry.naver?docId=1061029&cid=40942&categoryId=32219 두산백과 계차법 differencial calculus]] WpEn:Difference_equation (redir to https://en.wikipedia.org/wiki/Recurrence_relation#difference_equation )를 다루는 calulus 얘기 중 미적분학을 여러 변수인 경우로 확장? multivariable_calculus WtEn:multivariable_calculus 다변수 https://en.wikipedia.org/wiki/Multivariable_calculus https://simple.wikipedia.org/wiki/Multivariable_calculus Rel: vector_calculus 미분/적분 횟수를 정수가 아닌 분수/실수로 확장/일반화? fractional_calculus WtEn:fractional_calculus https://ko.wikipedia.org/wiki/분수계_미적분학 https://en.wikipedia.org/wiki/Fractional_calculus ---- 기타 논외 (del ok) geometric_topology { https://ko.wikipedia.org/wiki/기하학적_위상수학 https://en.wikipedia.org/wiki/Geometric_topology } 에서 WtEn:Kirby_calculus (물리 쪽) absolute_differential_calculus (역사적 명칭) => Ricci_calculus 리치 WtEn:absolute_differential_calculus WtEn:Ricci_calculus WpEn:Ricci_calculus = https://en.wikipedia.org/wiki/Ricci_calculus 그리고 이것과 매우 밀접? tensor_calculus WtEn:tensor_calculus https://en.wikipedia.org/wiki/Tensor_calculus - we에서는 Ricci와 합칠지 논의중 [[텐서,tensor]] matrix_calculus WtEn:matrix_calculus [[행렬,matrix]] (we) multivariable_calculus 쪽의 확장이라 함. https://en.wikipedia.org/wiki/Matrix_calculus vector_calculus WtEn:vector_calculus 벡터미적분,vector_calculus - vg [[벡터,vector]] https://ko.wikipedia.org/wiki/벡터_미적분학 https://simple.wikipedia.org/wiki/Vector_calculus https://en.wikipedia.org/wiki/Vector_calculus geometric_calculus WtEn:geometric_calculus https://en.wikipedia.org/wiki/Geometric_calculus utilitarian (철학) adj. 공리주의의 felicific calculus utility calculus // [[효용,utility]] hedonistic calculus hedonic calculus "is an algorithm formulated by utilitarian philosopher Jeremy_Bentham (1747–1832) for calculating the degree or amount of pleasure that a specific action is likely to induce."(we) https://ko.wikipedia.org/wiki/쾌락계산법 https://en.wikipedia.org/wiki/Felicific_calculus ---- 단어 자체 Ndict:calculus [[Date(2023-08-13T22:58:40)]] 검색결과 몇개 ([[의학,medicine]]에선) 결석 dental calculus 치석 urinary stone 요로결석 요결석 ... , 미적분 - 미분학 differential_calculus + 적분학 제외하면 계산 Calculus (철학사전) "상징을 미리 정해진 규칙에 따라 취급.." 논리연산 logical calculus [[https://terms.naver.com/entry.naver?docId=1077535&cid=40942&categoryId=32204 두산백과]] "불대수라고 한다." - Boolean_algebra 불 계산 Boolean calculus "시간 개념이 도입되어 변형된 불 대수."[* https://terms.naver.com/entry.naver?docId=816621&cid=50376&categoryId=50376] 수치 계산 numerical calculus 술어 해석 predicate_calculus - 명제해석(분명 propositional_calculus) 의 확장 관계 해석 relational calculus "관계 모델 ([[관계형모델relational_model]]) 에 의한 db에서의 관계 처리 체계의 하나. 관계 요소 투플(tuple)을 대상 변수로 하는 1차 술어논리 의 논리식 에 따라 질문을 형성" 도메인 해석식 domain calculus expression 투플 해석 공식 tuple calculus formula 도메인 관계 해석 domain relational calculus 계차법 differencial calculus 명제산 propositional calculus [[https://terms.naver.com/entry.naver?docId=1093261&cid=40942&categoryId=32217 두산백과]] 명제연산 [* https://terms.naver.com/entry.naver?docId=843520&cid=42346&categoryId=42346] 명제계산 propositional calculus 헤비사이드 연산자법 Heaviside's operational calculus [[https://terms.naver.com/entry.naver?docId=5144591&cid=40942&categoryId=31530 두산백과 엡실론 논리 Epsilon Calculus]] "보편 양화사([[전칭기호universal_quantifier]])와 존재 양화사([[존재기호existential_quantifier]])를 사용하지 않는 대신, 엡실론(ε) 연산자를 사용한 1차논리 체계" ...etc. DEL KmsE:calculus WtEn:calculus "1. calculation; computation." // corresp. [[계산,computation]] "2. Any formal_system in which symbolic_expression s are manipulated according to fixed rules. " <> = process calculus = =,process_calculus . ''여기에 추가하지 말고 goto comp.txt'' ''QQQ [[프로세스,process]]와?'' [[Wiki:ProcessCalculus]] [[WpEn:Process_calculus]] = https://en.wikipedia.org/wiki/Process_calculus concurrent_system 을 formally modelling하기 위한 접근법의 다양한 family. // formal_model formal_modeling formal_modelling Sub: CSP CCS ACP LOTOS 최근에는 pi-calculus / [[ambient_calculus]] / PEPA / fusion calculus / join-calculus 필수적 특징 * 독립된 [[프로세스,process]]es들 사이의 [[상호작용,interaction]]을 [[통신,communication]](message-passing = message_passing { https://en.wikipedia.org/wiki/Message-passing })으로 표현, rather than as modification of [[shared_variable]]s. * process들과 system을 적은 수의 primitive 및 이것들을 조합하는 [[연산자,oprative]]로 기술함 // process_operator * process_operator s들을 위한 대수법칙(algebraic_law)을 정의 - process_expression s들을 equational_reasoning { equational reasoning ...Naver:"equational reasoning" Ggl:"equational reasoning" }을 써서 manipulate할 수 있도록. MKL: [[#process_algebra]] process_algebra =,process_algebra . process_algebra { process algebra http://theory.stanford.edu/~rvg/process.html WpEn:Process_algebra Ggl:"process algebra" [[앨지브라,algebra]] } ... Ndict:"process calculus" Ggl:"process calculus" pl. process calculi (= process algebras)(we) process+calculus = ambient calculus = ambient_calculus ambient calculus WtEn:ambient_calculus WpEn:Ambient_calculus Ndict:"ambient calculus" = fusion calculus = fusion_calculus WtEn:fusion_calculus Ndict:"fusion calculus" = join-calculus = join-calculus WtEn:join-calculus Ndict:"join-calculus" = pi-calculus (CS) = pi-calculus [[pi-calculus]] =,pi-calculus . pi-calculus { π-calculus https://en.wikipedia.org/wiki/Π-calculus Ggl:"π-calculus" 1989년 Robin_Milner 가 만듦. } = propositional calculus = == (+ intuitionistic propositional calculus) == propositional calculus aka propositional logic // VG => 명제논리,propositional_logic propositional calculus propositional_calculus KmsE:"propositional" 명제계산 WtEn:propositional_calculus WpEn:propositional_calculus ... 각 명제의 [[진리값,truth_value]]을 검토해서, [[진리함수,truth_function]]? { KmsK:진리함수 Ndict:진리함수 Ggl:진리함수 WtEn:truth_function Ggl:truth.function } 관계에 있는, 복합명제{ Ndict:복합명제 Ggl:복합명제 }의 진리값을 산출해내는 것.[* https://terms.naver.com/entry.naver?docId=510581&cid=42126&categoryId=42126] Sub: intuitionistic propositional calculus intuitionistic_propositional_calculus https://encyclopediaofmath.org/wiki/Intuitionistic_propositional_calculus Ggl:"intuitionistic propositional calculus" [[직관주의]] [[intuitionism]] MKL [[명제,proposition]] (cur. [[명제proposition]]) Up: logical_calculus (WtEn:logical_calculus - syn. formal_system) // 바로아래section https://encyclopediaofmath.org/wiki/Logical_calculus = logical calculus = logical calculus WtEn:logical_calculus { => formal_system } https://encyclopediaofmath.org/wiki/Logical_calculus = API calculus = API calculus API_calculus API-calculus ? (we pagename) ''API calc가 아니라 pi-calculus 앞에 A를 붙인?'' https://en.wikipedia.org/wiki/API-Calculus = Hilbert calculus = [[Hilbert_system]]의 다른 이름. ([[WpEn:Hilbert_system]] "a Hilbert system, sometimes called __Hilbert calculus__, Hilbert-style deductive system or Hilbert–Ackermann system") = 무슨calculus여기에추가 calculus = = calculus서브는여기에추가 calculus = = calculus서브는여기에추가 calculus = = calculus서브는여기에추가 calculus = ADDHERE = λ 람다 lambda ''(REL, TOFORK)'' = =람다,lambda =,lambda . ''mk [[람다,lambda]]?'' Greek_alphabet Greek_letter WtEn:lambda Ndict:람다 Ndict:lambda (finance) 기초자산의 변동성 변화율 "... 따라서 람다는 옵션의 레버리지를 직접적으로 측정하는 단위라고 할 수 있다"[* https://terms.naver.com/entry.naver?docId=1617521&cid=50305&categoryId=50305] Sub: == lambda term == lambda_term WtEn:lambda_term https://en.wikipedia.org/wiki/Lambda_calculus#Lambda_terms [[텀,term]] [[항,term]] ? == lambda expression == lambda_expression WtEn:lambda_expression [[람다식,lambda_expression]] Up: [[식,expression]] == lambda calculus == lambda calculus lambda_calculus =,lambda_calculus . WtEn:lambda_calculus Ndict:"lambda calculus" VG: 람다대수,lambda_calculus === typed lambda calculus === https://en.wikipedia.org/wiki/Typed_lambda_calculus Ndict:"typed lambda calculus" [[타입,type]] == 람다추상화 lambda abstraction == [[람다추상화,lambda_abstraction]] is_a [[추상화,abstraction]] == lambda 뭐뭐여기추가 == == lambda 뭐뭐여기추가 == == lambda 뭐뭐여기추가 == = Twins = https://everything2.com/title/Calculus