Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts (Un ghid accesibil pentru contexte istorice, fundamentale și aplicative)

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts

Conținutul cărții:

Acest manual lămuritor oferă o trecere în revistă concisă a conceptelor de bază din matematică esențiale pentru informaticieni. Accentul este pus pe aplicațiile informatice practice permise de ideile matematice aparent abstracte, prezentate în contextul lor istoric. Textul acoperă o selecție largă de subiecte-cheie, de la utilizarea teoriei câmpurilor finite pentru corectarea codurilor și rolul teoriei numerelor în criptografie, la valoarea teoriei grafurilor în modelarea rețelelor și importanța metodelor formale pentru sistemele critice de siguranță.

Această nouă ediție complet actualizată a fost extinsă cu o tratare mai cuprinzătoare a algoritmilor, logicii, teoriei automatelor, verificării modelelor, fiabilității și dependenței software, algebrei, secvențelor și seriilor și inducției matematice.

Subiecte și caracteristici: include numeroase caracteristici pedagogice, cum ar fi subiecte-cheie de deschidere a capitolelor, introduceri și rezumate ale capitolelor, întrebări de recapitulare și un glosar; descrie contribuțiile istorice ale unor figuri proeminente precum Leibniz, Babbage, Boole și von Neumann; introduce conceptele matematice fundamentale ale seturilor, relațiilor și funcțiilor, împreună cu elementele de bază ale teoriei numerelor, algebrei, algoritmilor și matricelor; explorează secvențele și seriile aritmetice și geometrice, inducția matematică și recursivitatea, teoria grafurilor, calculabilitatea și decidabilitatea și teoria automatelor; trece în revistă problemele de bază ale teoriei codării, teoriei limbajelor, ingineriei software și fiabilității software, precum și metodele formale și verificarea modelelor; acoperă subiecte-cheie ale logicii, de la contribuțiile grecești antice până la aplicațiile moderne în inteligența artificială, și discută natura demonstrației matematice și a demonstrației teoremelor; prezintă o scurtă introducere în probabilitate și statistică, numere complexe și cuaternioni și calcul.

Această carte atractivă și ușor de înțeles va fi pe placul studenților de la informatică care doresc o prezentare generală a matematicii utilizate în informatică și al matematicienilor curioși cu privire la modul în care materia lor este aplicată în domeniul informaticii. Cartea va capta, de asemenea, interesul cititorului general motivat.