공식 시스템 목록
List of formal systems이것은 논리적인 계산이라고도 알려진 공식적인 시스템의 목록이다.
수학적
- 관계 데이터 모델의 미적분인 도메인 관계 미적분
- 기능적 미적분, 다양한 유형의 기능을 연산자에게 적용하는 방법
- 분산 프로그래밍의 이론적 모델인 미적분학 결합
- 람다 미적분학(Lambda 미적분학)은 계산 이론과 깊은 연관성을 갖는 반사 기능 이론의 공식이다.
- 행렬 미적분학, 행렬의 공간에 대한 다변량 미적분학 전문 표기법
- 모달 μ-미적분법, 모델 확인 등 형식적 검증방법에 의해 사용되는 공통 시간적 논리
- Pi-maluus는 로빈 밀너에 의해 발명된 동시 의사소통 과정 이론의 공식이다.
- 술어 미적분학, 술어의 논리를 지배하는 추론 규칙을 지정한다.
- 명제 미적분학, 명제 논리를 지배하는 추론 규칙을 명시한다.
- 프로그램 모델을 효율적인 프로그램으로 세분화하는 방법인 미적분 정제
- Rho 미적분, 재작성과 람다 미적분을 균일하게 통합하기 위한 일반적인 수단으로 도입된 것
- 관계 데이터 모델의 미적분인 Tuple 미적분학은 SQL 언어에 영감을 주었다.
- 다항식 수술의 조합인 Ubtral 미적분학
- 벡터 미적분학(벡터 분석이라고도 함), 내부 제품 공간에서 벡터의 다변량 분석을 위한 특수 공식을 구성함
