Алгоритмическая логика - Algorithmic logic

эта статья возможно содержит оригинальные исследования. Пожалуйста Улучши это от проверка заявленные претензии и добавление встроенные цитаты. Заявления, содержащие только оригинальные исследования, следует удалить. (Февраль 2016 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Алгоритмическая логика представляет собой исчисление программ, которое позволяет выразить семантические свойства программ соответствующими логическими формулы. Он обеспечивает фреймворк что позволяет доказать формулы из аксиомы программных конструкций, таких как инструкции присваивания, итерации и композиции, а также аксиомы рассматриваемых структур данных см. Мирковская и Сальвицкий (1987), Banachowski et al. (1977).

Следующая диаграмма помогает найти алгоритмическую логику среди других логика.${ displaystyle qquad left [{ begin {array} {l} mathrm {Propositional logic} или mathrm {Sentential Calculus} end {array}} right] subset left [ { begin {array} {l} mathrm {Predicate Calculus} или mathrm {First order logic} end {array}} right] subset left [{ begin {array} {l} mathrm {Исчисление of programs} или { mbox {Алгоритмическая логика}} end {array}} right]}$
Формализованный язык алгоритмической логики (и алгоритмических теорий различных структур данных) содержит три типа хорошо сформированных выражений: термины - т.е. выражения, обозначающие операции с элементами структур данных, формулы - т.е. выражения, обозначающие отношения между элементами структур данных, программы - т.е. алгоритмы - эти выражения описывают вычисления. Семантику терминов и формул см. на страницах логика первого порядка и семантика Тарского. Смысл программы ${ displaystyle K}$ - множество возможных вычислений программы.

Алгоритмическая логика является одной из многих логик программ. Другой логикой программ является динамическая логика, см. динамическая логика, Харель, Козен и Тюрин (2000).

Список используемой литературы

1. [Mirkowska & Salwicki] |Мирковская, Гражина; Сальвицкий, Анджей (1987). Алгоритмическая логика. Варшава и Бостон: PWN & D. Reidel Publ. п. 372. ISBN  8301068590.
2. [Баначовски и др.] |Баначовски, Лех; Кречмар, Антони; Мирковская, Гражина; Расиова, Елена; Сальвицкий, Анджей (1977). Введение в алгоритмическую логику - метаматематические исследования теории программ. Публикации Банахского центра. 2. Варшава: PWN. С. 7–99.
3. Харел, Дэвид; Козен, Декстер; Тюрин, Ежи (2000). Динамическая логика. Кембридж, Массачусетс: MIT Press. стр.459.

Эта математическая логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.