• Produktbild: Mathematics in Computing
  • Produktbild: Mathematics in Computing

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

54,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.01.2020

Abbildungen

XXVI, 458 p. 206 illus., 73 illus. in color.

Verlag

Springer

Seitenzahl

458

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

727 g

Auflage

Second Edition 2020

Sprache

Englisch

ISBN

978-3-030-34208-1

Beschreibung

Rezension

“This book, authored by a prolific writer, is about the applications of mathematics in computing and places emphasis on historical contexts where applicable. Aimed at undergraduate students of computer science, the book provides helpful pedagogical features: key topics covered in each chapter are listed at the beginning … . The book achieves its objective of providing a flavour of the mathematics used in computing, so the general reader will likely benefit from it as well.” (David J. Littleboy, SIGACT News, Vol. 55 (1), 2024)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.01.2020

Abbildungen

XXVI, 458 p. 206 illus., 73 illus. in color.

Verlag

Springer

Seitenzahl

458

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

727 g

Auflage

Second Edition 2020

Sprache

Englisch

ISBN

978-3-030-34208-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Mathematics in Computing
  • Produktbild: Mathematics in Computing

  • What is a Computer?.- Foundations of Computing.- Overview of Mathematics in Computing.- Introduction to Algorithms.- Number Theory.- Algebra.- Sequences, Series, and Permutations and Combinations.- Mathematical Induction and Recursion.- Graph Theory.- Cryptography.- Coding Theory.- Language Theory and Semantics.- Computability and Decidability.- Matrix Theory.- A Short History of Logic.- Propositional and Predicate Logic.- Advanced Topics in Logic.- The Nature of Theorem Proving.- Software Engineering Mathematics.- Software Reliability and Dependability.- Overview of Formal Methods.- Z Formal Specification Language.- Automata Theory.- Model Checking.- Probability and Statistics.- Complex Numbers and Quaternions.- Calculus.- Epilogue.