Stručný sprievodca formálnymi metódami: Teória, základy a priemyselné aplikácie

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 4 hlasoch.

Pôvodný názov:

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications

Obsah knihy:

Táto neoceniteľná učebnica/príručka poskytuje prehľadný návod na základy formálnych metód a poukazuje na bohaté aplikácie formálnych metód v rôznych oblastiach informatiky.

Témy a funkcie: Uvádza kľúčové pojmy softvérového inžinierstva, spoľahlivosti a spoľahlivosti softvéru, formálnych metód a diskrétnej matematiky; predstavuje stručnú históriu logiky od Aristotelovej sylogistickej logiky a logiky stoikov cez Booleovu symbolickú logiku až po Fregeho prácu o predikátovej logike; zahŕňa výrokovú a predikátovú logiku, ako aj pokročilejšie témy, ako je fuzzy logika, temporálna logika, intuicionistická logika, neurčité hodnoty a aplikácie logiky v umelej inteligencii; skúma špecifikáciu jazyka Z, Viedenskú vývojovú metódu (VDM) a írsku školu VDM a jednotný modelovací jazyk (UML); rozoberá Dijkstrov kalkul najslabších predpokladov, Hoareho axiomatickú sémantiku programovacích jazykov a klasický Parnasov prístup a jeho tabuľkové výrazy; poskytuje informácie o teórii automatov, pravdepodobnosti a štatistike, kontrole modelov a povahe dôkazov a dokazovania tvrdení; skúma výber dostupných nástrojov na podporu formálnych metodológov a uvažuje o prenose formálnych metód do priemyslu; obsahuje kontrolné otázky a zdôrazňuje kľúčové témy v každej kapitole a na konci knihy poskytuje užitočný slovník.

Táto podnetná príručka poskytuje široký a prístupný prehľad formálnych metód pre študentov informatiky a matematiky, ktorých zaujíma, ako sa formálne metódy uplatňujú v oblasti informatiky.