Logic of Programming and Calculi of Discrete Design

Ein umfassendes Lehrbuch, das die Verbindung zwischen mathematischer Logik und diskreter Programmierung beleuchtet. Es führt systematisch durch Aussagenlogik, Mengenlehre, Relationen, Funktionen, formale Beweisführung und deren Anwendung in Algorithmenanalyse sowie Softwareverifikation.

Teilen: