Dinamikus logika

Olvasói vélemények

A könyv részletesen elmagyarázza a dinamikus logikát, és így hozzáférhetővé teszi a különböző logikai konstrukciók megértéséhez. Rávilágít a formális logika fontosságára a szoftverfejlesztésben, és alkalmazására a számítógépes algoritmusokkal kapcsolatos érvelésben.

⬤ A dinamikus logika világos és átfogó magyarázata.
⬤ Értékes betekintés a formális logikába és annak jelentőségébe a szoftvermérnökök számára.
⬤ Segít megalapozni a logika olyan kiterjesztéseinek megértését, mint a modális és temporális logika.

⬤ Néhány olvasó számára a könyv csak bevezető lépés („étvágygerjesztő”) lehet, anélkül, hogy mélyebb részletekbe menne.
⬤ Nem foglalkozik az automatizált érvelő szoftverekkel, amire néhány olvasó számíthat.

(3 olvasói vélemény alapján)

Eredeti címe:

Dynamic Logic

Könyv tartalma:

Ez a könyv az első átfogó bevezetés a dinamikus logikába.

A programokról való formális gondolkodás számos megközelítése közül a dinamikus logikának az az egyedülálló előnye, hogy erősen kapcsolódik a klasszikus logikához. Változatai a klasszikus formalizmusok természetes általánosításait és kiterjesztéseit jelentik. A Propositional Dynamic Logic (PDL) például három egymást kiegészítő klasszikus összetevő: a proposicionális kalkulus, a modális logika és a szabályos események algebrájának keverékeként írható le. Az elsőrendű dinamikus logikában (DL) az állítmányos kalkulus helyébe a klasszikus elsőrendű predikátumkalkulus lép. A dinamikus logika egy figyelemre méltó egységű rendszer, amely elméletileg gazdag, és gyakorlati értékkel is bír. Használható a helyességi specifikációk formalizálására és annak szigorú bizonyítására, hogy ezeket a specifikációkat egy adott program teljesíti. További felhasználási területei közé tartozik a programok ekvivalenciájának meghatározása, a különböző programozási konstrukciók kifejezőerejének összehasonlítása és a programok szintetizálása specifikációkból.

Ez a könyv az első átfogó bevezetést nyújtja a dinamikus logikába. Három részre tagolódik. Az első rész áttekinti a logika és a kiszámíthatósági elmélet megfelelő alapfogalmait, és önmagában is megállja a helyét, mint bevezetés ezekbe a témákba. A második rész a PDL-t és változatait, a harmadik rész pedig a DL-t és változatait tárgyalja. A fejezetek végig példákat tartalmaznak, és minden fejezet végén gyakorlatok és egy rövid történeti rész található.