알고리즘 논리학

이 글에는 아마도 독창적인 연구가 포함되어 있을 것이다. 클레임을 확인하고 인라인 인용문을 추가하여 개선하십시오. 원본 연구로만 구성된 문장은 제거해야 한다. (2016년 2월) (이 템플릿 메시지를 제거하는 방법과 시기 학습)

알고리즘 논리학은 적절한 논리 공식에 의해 프로그램의 의미 속성을 표현할 수 있는 프로그램의 미적분학이다.그것은 할당, 반복, 구성 지침과 같은 프로그램 구성의 공리와 문제의 데이터 구조의 공리에서 공식을 증명할 수 있는 프레임워크를 제공한다.

다음 도표는 다른 로직들 사이에서 알고리즘 로직을 찾는 데 도움이 된다.${\displaystyle \qquad \left[{\begin{array}$${l}\mathrm {Propositional\ logic} \\or\\\mathrm {Sentential\ calculus} \end{array}}\right]\subset \left[{\begin{array}{l}\mathrm {Predicate\ calculus} \\or\\\mathrm {First\ order\ logic} \end{array}}\right]\subset \left[{\begin{array}{l}\mathrm {Calculus\ of\ programs} \\or\\{\mbox{Algorithmic logic}}\end{array}}\right]}$
알고리즘 논리(및 다양한 데이터 구조의 알고리즘 이론)의 공식화된 언어에는 다음과 같은 세 가지 유형의 잘 형성된 표현이 포함된다.용어 - 즉, 데이터 구조 요소, 공식에 대한 연산을 나타내는 표현식 - 데이터 구조, 프로그램 요소 간의 관계를 나타내는 표현식 - 즉 알고리즘 - 이 표현식은 계산을 설명한다.용어 및 공식의 의미론은 첫 번째 순서 논리 및 타르스키의 의미에 대한 페이지를 참조한다.프로그램 $K{\displaystyle }$ ${\displaystyle K}$의 의미는 프로그램의$$ 가능한 연산 집합이다.

알고리즘 로직은 프로그램의 많은 로직 중 하나이다.프로그램의 또 다른 논리는 동적 논리, 동적 논리, 해럴, 코젠 & 티우린(2000년)을 보라.

참고 문헌 목록

1. Mirkowska, Grażyna; Salwicki, Andrzej (1987). Algorithmic Logic (PDF). Warszawa & Boston: PWN & D. Reidel Publ. p. 372. ISBN 8301068590.]
2. [바나쇼스키 외]
3. Harel, David; Kozen, Dexter; Tiuryn, Jerzy (2000). Dynamic Logic. Cambridge Massachusetts: MIT Press. pp. 459.

이 수학적 논리 관련 논문은 단조롭다.위키피디아를 확장하여 도울 수 있다.

• v
• t