Matematické základy softvérového inžinierstva: Praktický sprievodca základmi

Pôvodný názov:

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

Obsah knihy:

Táto učebnica predstavuje úvod do matematických základov softvérového inžinierstva. Predstavuje bohaté aplikácie matematiky v oblastiach, ako sú kódy na opravu chýb, kryptografia, kritické oblasti bezpečnosti a ochrany, bankovníctvo a poisťovníctvo, ako aj tradičné inžinierske aplikácie.

Témy a vlastnosti:

⬤ Zameriava sa na základné matematické poznatky pre kritické myslenie a riešenie problémov

⬤ Rozoberá výrokovú a predikátovú logiku a rôzne dôkazové techniky na preukázanie správnosti logického argumentu.

⬤ Preskúma teóriu čísel a jej aplikácie v kryptografii

⬤ Pozná základnú matematiku kódov na opravu chýb

⬤ Diskutuje teóriu grafov a jej aplikácie na modelovanie sietí

⬤ Prehľad nástrojov na podporu matematiky softvérového inžinierstva vrátane automatizovaných a interaktívnych overovateľov tvrdení a kontroly modelov

⬤ Diskutuje o finančnom softvérovom inžinierstve vrátane jednoduchého a zloženého úroku, pravdepodobnosti a štatistiky a operačného výskumu

⬤ Pojednáva o spoľahlivosti a spoľahlivosti softvéru a vysvetľuje formálne metódy používané na odvodenie programu z jeho špecifikácie

⬤ Podáva výpočty, matice, vektory, komplexné čísla a kvaterniony, ako aj aplikácie v grafike a robotike

⬤ V každej kapitole obsahuje kľúčové témy, zhrnutia a kontrolné otázky spolu s užitočným slovníkom pojmov

Táto praktická a prehľadná učebnica/odborná literatúra je ideálna pre študentov informatiky, ktorí sa chcú naučiť, ako im matematika môže pomôcť pri vytváraní kvalitného a spoľahlivého softvéru včas a v rámci rozpočtu. Text slúži aj ako vynikajúca učebnica pre samoukov, softvérových inžinierov, odborníkov na kvalitu a softvérových manažérov.