Algoritmická logika - Algorithmic logic

tento článek případně obsahuje původní výzkum. Prosím vylepši to podle ověřování vznesené nároky a přidání vložené citace. Výroky sestávající pouze z původního výzkumu by měly být odstraněny. (Únor 2016) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Algoritmická logika je počet programů, který umožňuje vyjádření sémantické vlastnosti programů vhodnou logikou vzorce. Poskytuje rámec který umožňuje prokázat vzorce z axiomy programových konstrukcí, jako jsou pokyny pro přiřazení, iteraci a složení, a z axiomů dotyčných datových struktur viz Mirkowska & Salwicki (1987), Banachowski a kol. (1977).

Následující diagram pomáhá mimo jiné najít algoritmickou logiku logika.${ displaystyle qquad left [{ begin {pole} {l} mathrm {propoziční logika} nebo mathrm {sententální calculus} end {pole}} vpravo] podmnožina vlevo [ { begin {array} {l} mathrm {Predicate calculus} nebo mathrm {First order logic} end {array}} right] subset left [{ begin {array} {l} mathrm {Calculus of programs} nebo { mbox {Algorithmic logic}} end {array}} right]}$
Formalizovaný jazyk algoritmické logiky (a algoritmických teorií různých datových struktur) obsahuje tři typy dobře formovaných výrazů: Podmínky - tj. výrazy označující operace na prvcích datových struktur, vzorce - tj. výrazy označující vztahy mezi prvky datových struktur, programy - tj. algoritmy - tyto výrazy popisují výpočty. Sémantiku výrazů a vzorců najdete na stránkách logika prvního řádu a Tarskiho sémantika. Význam programu ${ displaystyle K}$ je množina možných výpočtů programu.

Algoritmická logika je jednou z mnoha logik programů. Další logikou programů je dynamická logika, viz dynamická logika, Harel, Kozen & Tiuryn ​​(2000).

Bibliografie

1. [Mirkowska & Salwicki] |Mirkowska, Grażyna; Salwicki, Andrzej (1987). Algoritmická logika. Warszawa & Boston: PWN & D. Reidel Publ. str. 372. ISBN  8301068590.
2. [Banachowski a kol.] |Banachowski, Lech; Kreczmar, Antoni; Mirkowska, Grażyna; Rasiowa, Helena; Salwicki, Andrzej (1977). Úvod do algoritmické logiky - metamatematická zkoumání teorie programů. Publikace Banach Center. 2. Warszawa: PWN. str. 7–99.
3. Harel, David; Kozen, Dexter; Tiuryn, Jerzy (2000). Dynamická logika. Cambridge Massachusetts: MIT Press. str.459.

Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.