라틴어 compŭtus 에서 계산 은 개수 또는 계산 입니다. 카운트는 통계 또는 투표 결과를 반영 할 수 있습니다. 예: "마지막 주석이 계산 패널에 등록되지 않았습니다." , "임시 계산은 공식 후보자의 광범위한 승리를 반영합니다." , "공식 계산에 따르면 우리 팀은 3 점의 이점이 있습니다. "
계산의 개념은 또한의 틀 내에서 사용되는 계산의 이론, 수학의 지점의 기본 기능을 전문으로하는 컴퓨터. 이 기계는 계산을 위해 수학적 모델을 사용합니다.
계산 이론은 모든 수학적 문제를 해결할 수있는 보편적 인 방법을 찾을 목적으로 발전하기 시작했습니다. 따라서 과학자들은 알고리즘 (연속적인 단계에서 활동을 수행 할 수 있도록 미리 작성된 순서 및 유한 지침 집합)을 사용하기 시작했습니다.
앞서 언급 한 이론과 매우 밀접한 관련이있는 것은 계산 가능한 함수입니다. 특히, 그것들은 연구와 분석의 대상이되는 모든 기능입니다. 또한 소위 Turing 기계를 사용하여 계산할 수있는 특수성이 있다는 점도 유의해야합니다.
이 장치는 규칙 테이블과 조작되고 특정 테이프에 배치되는 일부 기호의 사용을 기반으로하는 시스템입니다.
이러한 계산 가능한 함수가 제시하는 난이도는 역사 전반에 걸쳐 광범위하게 분석되었으며이 진술의 결과는 계산을 통해 관련 문제가 해결 될 때 무엇의 해결책을 결정하는지 결정합니다. 기능 문제로 알려져 있습니다.
특히 이러한 기능이 두 가지 유형이 될 수 있음을 확인해야합니다. 따라서 한편으로는 Boolean 연산자를 사용하여 개발 된 계산 가능 항목이 있습니다.
다른 한편으로, 열거 가능한 집합이 열성 방식으로 중심 무대를 차지하는 부분적으로 계산 가능한 함수가 있습니다.
컴퓨팅에 적용 되는 알고리즘은 입력 데이터 (문제의 일부)를 출력 데이터 (해당 문제에 대한 솔루션)로 변환 하는 함수 가됩니다.
따라서 계산 이론의 주요 문제 중 하나는 계산 가능성 입니다. 이 개념은 알고리즘을 통해 문제 해결의 한계를 분석합니다. 계산을 통해 문제를 해결할 수없는 경우 계산에 한계가 있습니다.
이 모든 것 외에도 계산 가능성 이론은 앞서 언급 한 튜링 머신과 밀접한 관련이 있다는 점에 유의해야합니다. 따라서 그의 작업의 대부분은 어떤 문제가 해결 될 수 있는지 또는 그것에 첨부 된 형식에 기초하여 수행됩니다.
교회 계산은, 마지막 날 때를 결정하기 위해 수행 계산의 세트이다 이스터 가동 종교적 휴일.