해석학,analysis의 일종인 미적분학(미적분학,calculus = 미적분,calculus /

미적분,calculus)으로 번역되기도 하고 (이게 가장 흔히 쓰이는 뜻)

미분학 differential_calculus + 적분학 integral_calculus = 미적분학
- curr at 미분,differential

변분법이 있으며 - variation { 베리에이션,variation via kornorms. }

변분법,variational_calculus - 변분법,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 - 람다대수,lambda_calculus
process_calculus - ProcessCalculus Process_calculus ... process calculus // MKLINK concurrency or concurrent_computing
- CSP (communicating_sequential_processes) - CommunicatingSequentialProcesses 커뮤니케이팅_시퀜셜_프로세스 Communicating_sequential_processes ... communicating.sequential.processes - Tony_Hoare 1978
- CCS (calculus_of_communicating_systems) ... Calculus_of_communicating_systems calculus_of_communicating_systems
- ACP (algebra_of_communicating_processes) ... Algebra_of_communicating_processes algebra_of_communicating_processes
- LOTOS (Language_Of_Temporal_Ordering_Specification) ... Language_Of_Temporal_Ordering_Specification
- pi-calculus - π-calculus ... Π-calculus https://www.pls-lab.org/Pi_Calculus ... pi.calculus
- join_calculus / join-calculus ... { join-calculus or join calculus Join-calculus } Join.calculus
- ambient_calculus ... Ambient_calculus ... Ambient_calculus
- PEPA ... PEPA
situation_calculus - Situation_calculus = https://en.wikipedia.org/wiki/Situation_calculus

by John_McCarthy 1963
event_calculus - Event_calculus = https://en.wikipedia.org/wiki/Event_calculus ... Event.calculus
fluent_calculus - Fluent_calculus = https://en.wikipedia.org/wiki/Fluent_calculus ... Fluent.calculus

situation_calculus 의 variation.
nu-calculus nu_calculus - https://www.pls-lab.org/en/Nu_calculus ... ν-calculus
tuple_calculus - https://foldoc.org/tuple calculus ... tuple calculus // DB쪽? 튜플,tuple 칼큘러스,calculus
kappa_calculus - 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 pattern_calculus pattern_calculus Up: 패턴,pattern 칼큘러스,calculus } // pattern calculus 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"
Schubert calculus

... see also

미적분,calculus#s-16

복수형 calculi

''Local에도 =,calculus 작성중.

Twins:
https://encyclopediaofmath.org/wiki/Calculus

Category:Logical_calculi - 분류에참조

rel. 형식체계,formal_system -

형식체계,formal_system

Cmp:
로직,logic - 논리,logic 논리학,logic
앨지브라,algebra - 대수,algebra 대수학,algebra

Sub:
operational_calculus =,operational_calculus =,operational_calculus . operational_calculus
{
operational calculus

aka operational_analysis (we) ???

operational_analysis에서는

operations_research라 함.

operational_calculus "연산자,operator관점의 calculus"

Operational_calculus

mentioned;

operational_analysis
} // operational calculus ...

operational calculus

modular_calculus =,modular_calculus =,modular_calculus . modular_calculus
{
modular calculus

modular_calculus - 암호학에서, '응용 정수론'이란 뜻.
} // modular calculus ...

modular calculus

응용 정수론

calculus of variations
variational calculus

변분학
변분법,variational_calculus - vg

변분법,variational_calculus =변분법,variational_calculus =,variational_calculus 변분법 variational_calculus
{

calculus_of_variations

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

MKL
범함수,functional

bbbbbbbbbbbbbbbbbbbbb

https://namu.wiki/w/변분법

변분법

}

infinitesimal_calculus

미적분학

infinitesimal_calculus = https://en.wiktionary.org/wiki/infinitesimal_calculus
differential_calculus

미분학

differential_calculus

integral_calculus

적분학 - 적분,integration 적분,integral

integral_calculus

Up: 해석학 analysis - mathematical_analysis

(?) differencial_calculus ....??? 이건 미분학 이어야 하는데
계차법 differencial calculus - [https]

두산백과 계차법 differencial calculus

Difference_equation (redir to https://en.wikipedia.org/wiki/Recurrence_relation#difference_equation )를 다루는 calulus 얘기 중

미적분학을 여러 변수인 경우로 확장?
multivariable_calculus

multivariable_calculus

다변수
https://en.wikipedia.org/wiki/Multivariable_calculus
https://simple.wikipedia.org/wiki/Multivariable_calculus
Rel: vector_calculus

미분/적분 횟수를 정수가 아닌 분수/실수로 확장/일반화?
fractional_calculus

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 }
에서

Kirby_calculus

(물리 쪽)
absolute_differential_calculus (역사적 명칭) => Ricci_calculus

리치

absolute_differential_calculus

Ricci_calculus

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

그리고 이것과 매우 밀접?
tensor_calculus

tensor_calculus
https://en.wikipedia.org/wiki/Tensor_calculus - we에서는 Ricci와 합칠지 논의중
텐서,tensor

matrix_calculus

matrix_calculus
행렬,matrix
(we) multivariable_calculus 쪽의 확장이라 함.
https://en.wikipedia.org/wiki/Matrix_calculus

vector_calculus

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

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

단어 자체

calculus

2023-08-14 검색결과 몇개
(의학,medicine에선) 결석 dental calculus 치석 urinary stone 요로결석 요결석 ... ,
미적분 - 미분학 differential_calculus + 적분학
제외하면

계산 Calculus (철학사전) "상징을 미리 정해진 규칙에 따라 취급.."
논리연산 logical calculus [https]

두산백과 "불대수라고 한다." - Boolean_algebra
불 계산 Boolean calculus "시간 개념이 도입되어 변형된 불 대수."[1]
수치 계산 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]

두산백과
명제연산 [2]
명제계산 propositional calculus
헤비사이드 연산자법 Heaviside's operational calculus
[https]

두산백과 엡실론 논리 Epsilon Calculus

"보편 양화사(전칭기호universal_quantifier)와 존재 양화사(존재기호existential_quantifier)를 사용하지 않는 대신, 엡실론(ε) 연산자를 사용한 1차논리 체계"

...etc. DEL

calculus

"1. calculation; computation." // corresp. 계산,computation
"2. Any formal_system in which symbolic_expression s are manipulated according to fixed rules. "

Contents

1. process calculus ¶

2. ambient calculus ¶

3. fusion calculus ¶

4. join-calculus ¶

5. pi-calculus (CS) ¶

6. propositional calculus ¶

6.1. (+ intuitionistic propositional calculus) ¶

7. logical calculus ¶

8. API calculus ¶

9. 무슨calculus여기에추가 calculus ¶

10. 무슨calculus여기에추가 calculus ¶

11. calculus서브는여기에추가 calculus ¶

12. calculus서브는여기에추가 calculus ¶

13. calculus서브는여기에추가 calculus ¶

14. λ 람다 lambda (REL, TOFORK) ¶

14.1. lambda term ¶

14.2. lambda expression ¶

14.3. lambda calculus ¶

14.3.1. typed lambda calculus ¶

14.4. 람다추상화 lambda abstraction ¶

14.5. lambda 뭐뭐여기추가 ¶

14.6. lambda 뭐뭐여기추가 ¶

14.7. lambda 뭐뭐여기추가 ¶

15. Twins ¶