A szoftverfejlesztés matematikai alapjai: Gyakorlati útmutató az alapismeretekhez

Eredeti címe:

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

Könyv tartalma:

Ez a tankönyv bevezetést nyújt a szoftverfejlesztés matematikai alapjaiba. Bemutatja a matematika gazdag alkalmazási lehetőségeit olyan területeken, mint a hibajavító kódok, a kriptográfia, a biztonság és védelem szempontjából kritikus területek, a banki és biztosítási szakterületek, valamint a hagyományos mérnöki alkalmazások.

Témák és jellemzők:

⬤ Kezeli a kritikus gondolkodást és a problémamegoldást szolgáló alapvető matematikát

⬤ Tárgyalja az állítmányi és predikátumlogikát, valamint a logikai érvek helyességének bizonyítására szolgáló különböző bizonyítási technikákat.

⬤ Vizsgálja a számelméletet és annak kriptográfiai alkalmazásait.

⬤ Foglalkozik a hibajavító kódok mögöttes matematikájával.

⬤ Tárgyalja a gráfelméletet és annak alkalmazásait a hálózatok modellezésére.

⬤ A szoftvertechnikai matematikát támogató eszközök áttekintése, beleértve az automatizált és interaktív tételbizonyítókat és a modellellenőrzést.

⬤ Tárgyalja a pénzügyi szoftverfejlesztést, beleértve az egyszerű és a kamatos kamatot, a valószínűséget és a statisztikát, valamint az operációkutatást.

⬤ Tárgyalja a szoftver megbízhatóságát és megbízhatóságát, és ismerteti a program specifikációjából történő levezetés formális módszereit.

⬤ Tárgyalja a számítást, a mátrixokat, a vektorokat, a komplex számokat és a kvaternerionokat, valamint a grafikában és a robotikában való alkalmazásokat.

⬤ Minden fejezetben tartalmaz kulcsfontosságú tanulási témákat, összefoglalókat és ismétlési kérdéseket, valamint egy hasznos szójegyzéket.

Ez a gyakorlatias és könnyen áttekinthető tankönyv/referátum ideális az informatika szakos hallgatók számára, akik meg akarják tanulni, hogyan segíthet a matematika a minőségi és megbízható szoftverek időben és költségkereten belüli elkészítésében. A szöveg kiváló önképzési alapkönyvként is szolgál szoftvermérnökök, minőségügyi szakemberek és szoftvermenedzserek számára.