분류:컴퓨터 과학 내 논리

컴퓨터 과학 (또는 전산 논리)의 논리는 수리논리학과 컴퓨터 과학의 교차점인 수리논리학의 한 부분이다. 이는 다음을 포함한다:

1. 컴퓨터 과학 분야의 응용 프로그램에 의해 유도되는 논리에 대한 조사. 예:
   • 재작성 시스템, 결합 논리 및 추상적 해석;
2. 논리적 형태로 자연스럽게 표현되는 컴퓨터 과학의 기본 개념. 예:
   • 형 이론 (자료형 체계에서 사용됨), 프로그래밍 언어의 형식적 의미, 호어 로직 및 논리 프로그래밍;
3. 순수 논리에 관한 질문에 빛을 던지는 계산 이론에서 파생된 기본 개념을 적용한다. 예:
   • 커리-하워드 대응 및 게임 의미론;
4. 논리학 자용 도구는 응용 컴퓨터 과학으로 간주된다. 예:
   • 자동 정리 증명 및 모델 검사.