분류:컴퓨터 과학 내 논리

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기

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

  1. 컴퓨터 과학 분야의 응용 프로그램에 의해 유도되는 논리에 대한 조사. 예:
  2. 논리적 형태로 자연스럽게 표현되는 컴퓨터 과학의 기본 개념. 예:
  3. 순수 논리에 관한 질문에 빛을 던지는 계산 이론에서 파생된 기본 개념을 적용한다. 예:
  4. 논리학 자용 도구는 응용 컴퓨터 과학으로 간주된다. 예:


다음 분류도 참고하십시오: 분류:유한 모형 이론.

하위 분류

다음은 이 분류에 속하는 하위 분류 4개 가운데 4개입니다.

"컴퓨터 과학 내 논리" 분류에 속하는 문서

다음은 이 분류에 속하는 문서 8개 가운데 8개입니다.