Dynamická logika

Recenzie čitateľov

Kniha poskytuje podrobné vysvetlenie dynamickej logiky, ktorá je prístupná na pochopenie rôznych logických konštrukcií. Zdôrazňuje význam formálnej logiky v softvérovom inžinierstve a jej aplikácie pri uvažovaní o počítačových algoritmoch.

⬤ Jasné a komplexné vysvetlenie dynamickej logiky.
⬤ Cenné poznatky o formálnej logike a jej význame pre softvérových inžinierov.
⬤ Pomáha vybudovať základy pre pochopenie rozšírení logiky, ako je modálna a temporálna logika.

⬤ Niektorí čitatelia môžu knihu považovať len za úvodný krok („predkrm“) bez toho, aby zachádzali do pokročilých detailov.
⬤ Nezaoberá sa softvérom na automatizované uvažovanie, čo by niektorí čitatelia mohli očakávať.

(na základe 3 čitateľských recenzií)

Pôvodný názov:

Dynamic Logic

Obsah knihy:

Táto kniha predstavuje prvý komplexný úvod do dynamickej logiky.

Spomedzi mnohých prístupov k formálnemu uvažovaniu o programoch má dynamická logika tú výnimočnú výhodu, že je silne prepojená s klasickou logikou. Jej varianty predstavujú prirodzené zovšeobecnenia a rozšírenia klasických formalizmov. Napríklad výrokovú dynamickú logiku (PDL) možno opísať ako zmes troch vzájomne sa dopĺňajúcich klasických zložiek: výrokového kalkulu, modálnej logiky a algebry pravidelných udalostí. V dynamickej logike prvého rádu (DL) je výrokový kalkul nahradený klasickým predikátovým kalkulom prvého rádu. Dynamická logika je systém pozoruhodnej jednoty, ktorý je teoreticky bohatý a má aj praktickú hodnotu. Dá sa použiť na formalizáciu špecifikácií správnosti a na prísne dokazovanie, že tieto špecifikácie spĺňa konkrétny program. Medzi ďalšie použitia patrí určovanie ekvivalencie programov, porovnávanie vyjadrovacej sily rôznych programovacích konštrukcií a syntéza programov zo špecifikácií.

Táto kniha predstavuje prvý komplexný úvod do dynamickej logiky. Je rozdelená do troch častí. Prvá časť obsahuje prehľad príslušných základných pojmov logiky a teórie vypočítateľnosti a môže stáť samostatne ako úvod do týchto tém. V druhej časti sa rozoberá PDL a jej varianty a v tretej časti sa rozoberá DL a jej varianty. V celom texte sú uvedené príklady a na konci každej kapitoly sú zaradené cvičenia a krátka historická časť.