Mathematik für Software Engineering

Perché gli informatici e gli sviluppatori software devono studiare matematica? In che modo la matematica può aiutarli nella programmazione? Questo libro di testo fornisce agli studenti principianti il linguaggio e il metodo della matematica come base per una risoluzione strutturata dei problemi, essenziale per lo sviluppo di sistemi software. Pertanto, l'attenzione didattica è rivolta a mostrare come i concetti matematici si costruiscano l'uno sull'altro, quali schemi ne derivino e quali regole chiaramente strutturate esistano nell'argomentazione matematica (nel dimostrare). Questo libro si concentra su logica, teoria degli insiemi, strutture discrete e calcolo delle probabilità, seguendo così le raccomandazioni di ACM e IEEE per l'insegnamento della matematica nel corso di laurea in ingegneria del software. Poiché la matematica - così come lo sviluppo software - non può essere appresa solo attraverso la teoria.