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.
Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.
Genom att registrera dig accepterar du vår personuppgiftspolicy.
