Алгоритамска логика

Алгоритамската логика ― пресметка на програми што овозможува изразување на семантичките својства на програмите со соодветни логички формули. Обезбедува рамка која овозможува докажување на формулите од аксиомите на програмските конструкции како што се доделување, повторување и инструкции за составување и од аксиомите на структурите на податоци за кои станува збор.

Следниот дијаграм помага да се најде алгоритамската логика меѓу другите логики. $\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$ е збир на можни пресметки на програмата.

Алгоритамската логика е една од многуте логики на програмите. Друга логика на програмите е динамичката логика.

Наводи

1. Mirkowska, Grażyna; Salwicki, Andrzej (1987). Algorithmic Logic (PDF). Warszawa & Boston: PWN & D. Reidel Publ. стр. 372. ISBN 8301068590.]
2. [Banachowski et al.] |Banachowski, Lech; Kreczmar, Antoni; Mirkowska, Grażyna; Rasiowa, Helena; Salwicki, Andrzej (1977). An introduction to Algorithmic Logic - Metamathematical Investigations of Theory of Programs. Banach Center Publications. 2. Warszawa: PWN. стр. 7–99.An introduction to Algorithmic Logic - Metamathematical Investigations of Theory of Programs. Banach Center Publications. Vol. 2. Warszawa: PWN. pp. 7–99.
3. Harel, David; Kozen, Dexter; Tiuryn, Jerzy (2000). Dynamic Logic. Cambridge Massachusetts: MIT Press. стр. 459.