Bemærk: Kan leveres før jul.
Teaching programming for engineers in a rigorous manner, this volume introduces pointer-based memory manipulation in the first chapter, and moves on from C to Matlab and Octave programming, all of which are important methods for engineers in any sector.
Bemærk: Kan ikke leveres før jul.
This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.