Books by Aaron R. Bradley

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.

Written with graduate and advanced undergraduate students in mind, 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.