Matematyczne podstawy inżynierii oprogramowania: Praktyczny przewodnik po podstawach

Oryginalny tytuł:

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

Zawartość książki:

Niniejszy podręcznik stanowi wprowadzenie do matematycznych podstaw inżynierii oprogramowania. Przedstawia bogate zastosowania matematyki w takich dziedzinach, jak kody korygujące błędy, kryptografia, krytyczne dziedziny bezpieczeństwa i ochrony, bankowość i ubezpieczenia, a także tradycyjne zastosowania inżynieryjne.

Tematy i cechy:

⬤ Podstawowa matematyka dla krytycznego myślenia i rozwiązywania problemów

⬤ Omawia logikę propozycjonalną i predykatową oraz różne techniki dowodowe w celu wykazania poprawności argumentu logicznego.

⬤ Analizuje teorię liczb i jej zastosowania w kryptografii.

⬤ rozważa matematykę leżącą u podstaw kodów korygujących błędy

⬤ Omawia teorię grafów i jej zastosowania do modelowania sieci.

⬤ Omawia narzędzia wspierające matematykę inżynierii oprogramowania, w tym zautomatyzowane i interaktywne narzędzia do dowodzenia twierdzeń i sprawdzania modeli.

⬤ omawia inżynierię oprogramowania finansowego, w tym odsetki proste i składane, prawdopodobieństwo i statystykę oraz badania operacyjne

⬤ Omawia niezawodność i niezawodność oprogramowania oraz wyjaśnia formalne metody stosowane do wyprowadzania programu z jego specyfikacji.

⬤ omawia rachunek różniczkowy, macierze, wektory, liczby zespolone i kwaterniony, a także zastosowania w grafice i robotyce

⬤ Zawiera kluczowe tematy do nauki, podsumowania i pytania przeglądowe w każdym rozdziale, wraz z przydatnym glosariuszem

Ten praktyczny i łatwy w użyciu podręcznik/referencja jest idealny dla studentów informatyki, którzy chcą dowiedzieć się, w jaki sposób matematyka może pomóc im w tworzeniu wysokiej jakości i niezawodnego oprogramowania na czas i w ramach budżetu. Tekst służy również jako doskonały elementarz do samodzielnej nauki dla inżynierów oprogramowania, specjalistów ds. jakości i menedżerów oprogramowania.