Алгоритамската логика ― пресметка на програми што овозможува изразување на семантичките својства на програмите со соодветни логички формули. Обезбедува рамка која овозможува докажување на формулите од аксиомите на програмските конструкции како што се доделување, повторување и инструкции за составување и од аксиомите на структурите на податоци за кои станува збор., .
Следниот дијаграм помага да се најде алгоритамската логика меѓу другите логики.
Формализираниот јазик на алгоритамската логика (и на алгоритамските теории на различни структури на податоци) содржи три типа на добро образувани изрази: членови - т.е. изрази што означуваат операции на елементи на структури на податоци, формули - т.е. изрази што ги означуваат односите меѓу елементите на структурите на податоци, програми. - т.е. алгоритми - овие изрази ги опишуваат пресметките. За семантика на поими и формули, се советува со страници за логиката од прв ред и семантиката на Тарски. Значењето на програмата е збир на можни пресметки на програмата.
Алгоритамската логика е една од многуте логики на програмите. Друга логика на програмите е динамичката логика..
Наводи
] [Banachowski et al.] |An introduction to Algorithmic Logic - Metamathematical Investigations of Theory of Programs. Banach Center Publications. Vol. 2. Warszawa: PWN. pp. 7–99.
Категорија:Теоретска информатика Категорија:Алгоритми