Fundamentele matematice ale ingineriei software: Un ghid practic pentru elementele esențiale

Titlul original:

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

Conținutul cărții:

Acest manual prezintă o introducere la fundamentele matematice ale ingineriei software. Prezintă aplicațiile bogate ale matematicii în domenii precum codurile de corectare a erorilor, criptografia, domeniile critice de siguranță și securitate, domeniile bancar și de asigurări, precum și aplicațiile tradiționale de inginerie.

Subiecte și caracteristici:

⬤ Abordă matematica de bază pentru gândirea critică și rezolvarea problemelor

⬤ Discută logica propozițională și a predicatului și diverse tehnici de demonstrare pentru a demonstra corectitudinea unui argument logic.

⬤ Examinează teoria numerelor și aplicațiile acesteia la criptografie

⬤ Examinează matematica de bază a codurilor de corectare a erorilor

⬤ Discută teoria grafurilor și aplicațiile sale la modelarea rețelelor

⬤ Examinează instrumentele de sprijinire a matematicii ingineriei software, inclusiv teoremele de demonstrare și verificarea modelelor automate și interactive

⬤ Discută ingineria software-ului financiar, inclusiv dobânda simplă și compusă, probabilitatea și statistica, precum și cercetarea operațională

⬤ Discută fiabilitatea și dependența software-ului și explică metodele formale utilizate pentru derivarea unui program din specificațiile sale

⬤ Discută despre calcul, matrici, vectori, numere complexe și cuaternioni, precum și aplicații la grafică și robotică

⬤ Include subiecte cheie de învățare, rezumate și întrebări de revizuire în fiecare capitol, împreună cu un glosar util

Acest manual/referință practic și ușor de parcurs este ideal pentru studenții de la informatică care doresc să învețe cum matematica îi poate ajuta să construiască software de înaltă calitate și fiabil, la timp și în limita bugetului. Textul servește, de asemenea, ca un excelent manual de auto-studiu pentru inginerii de software, profesioniștii în domeniul calității și managerii de software.