Originaltitel:
Mathematical Foundations of Software Engineering: A Practical Guide to Essentials
Inhalt des Buches:
Dieses Lehrbuch bietet eine Einführung in die mathematischen Grundlagen der Softwaretechnik. Es stellt die vielfältigen Anwendungen der Mathematik in Bereichen wie Fehlerkorrekturcodes, Kryptographie, sicherheitskritische Bereiche, Banken und Versicherungen sowie traditionelle technische Anwendungen vor.
Themen und Merkmale:
⬤ Behandelt Kernmathematik für kritisches Denken und Problemlösung
⬤ Diskutiert Aussagen- und Prädikatenlogik und verschiedene Beweistechniken, um die Korrektheit eines logischen Arguments zu demonstrieren.
⬤ Untersucht die Zahlentheorie und ihre Anwendungen in der Kryptographie
⬤ Betrachtet die zugrunde liegende Mathematik von fehlerkorrigierenden Codes
⬤ Erörtert die Graphentheorie und ihre Anwendungen bei der Modellierung von Netzwerken
⬤ Betrachtet Werkzeuge zur Unterstützung der Mathematik in der Softwaretechnik, einschließlich automatischer und interaktiver Theorembeweiser und Modellprüfung
⬤ Erörtert die Softwaretechnik im Finanzbereich, einschließlich einfacher Zinsen und Zinseszinsen, Wahrscheinlichkeitsrechnung und Statistik sowie Operations Research
⬤ Erörtert die Zuverlässigkeit und Verlässlichkeit von Software und erklärt formale Methoden, die zur Ableitung eines Programms aus seiner Spezifikation verwendet werden
⬤ Diskutiert Kalkül, Matrizen, Vektoren, komplexe Zahlen und Quaternionen sowie Anwendungen in Grafik und Robotik
⬤ Enthält wichtige Lernthemen, Zusammenfassungen und Wiederholungsfragen in jedem Kapitel sowie ein nützliches Glossar
Dieses praktische und leicht verständliche Lehr- und Nachschlagewerk ist ideal für Informatikstudenten, die lernen wollen, wie die Mathematik ihnen helfen kann, qualitativ hochwertige und zuverlässige Software rechtzeitig und im Rahmen des Budgets zu entwickeln. Der Text eignet sich auch hervorragend zum Selbststudium für Softwareingenieure, Qualitätsfachleute und Softwaremanager.
Weitere Daten des Buches:
| ISBN: | 9783031262142 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2024 |
| Seitenzahl: | 519 |
Kauf:
Derzeit verfügbar, auf Lager.
