Matematické základy softwarového inženýrství: Praktický průvodce základy

Původní název:

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

Obsah knihy:

Tato učebnice představuje úvod do matematických základů softwarového inženýrství. Představuje bohaté aplikace matematiky v oblastech, jako jsou kódy opravující chyby, kryptografie, kritické oblasti bezpečnosti a zabezpečení, bankovnictví a pojišťovnictví, stejně jako tradiční inženýrské aplikace.

Témata a vlastnosti:

⬤ Zaměřuje se na základní matematiku pro kritické myšlení a řešení problémů.

⬤ Probírá výrokovou a predikátovou logiku a různé důkazové techniky k prokázání správnosti logického argumentu.

⬤ Probírá teorii čísel a její aplikace v kryptografii.

⬤ Probírá základní matematiku kódů pro opravu chyb.

⬤ Probírá teorii grafů a její aplikace na modelování sítí

⬤ Přehled nástrojů na podporu matematiky softwarového inženýrství, včetně automatizovaných a interaktivních prověrek tvrzení a kontroly modelů

⬤ Probírá finanční softwarové inženýrství, včetně jednoduchého a složeného úroku, pravděpodobnosti a statistiky a operačního výzkumu.

⬤ Probírá spolehlivost a spolehlivost softwaru a vysvětluje formální metody používané k odvození programu z jeho specifikace.

⬤ Probírá výpočty, matice, vektory, komplexní čísla a kvaterniony a také aplikace v grafice a robotice.

⬤ V každé kapitole jsou uvedena klíčová témata, shrnutí a kontrolní otázky a užitečný slovníček pojmů.

Tato praktická a přehledná učebnice/odborná příručka je ideální pro studenty informatiky, kteří se chtějí dozvědět, jak jim matematika může pomoci při vytváření kvalitního a spolehlivého softwaru včas a v rámci rozpočtu. Text slouží také jako vynikající příručka pro samostudium softwarových inženýrů, odborníků na kvalitu a softwarových manažerů.