Essential logic for computer science /
Page, Rex L.,author.
Gamboa, Ruben,author.
Includes index.
I : Logic and equations. Computer systems : simple principles lead to complex behavior -- Boolean formulas and equations -- Software testingand prefix notation -- Mathematical induction -- Mechanized logic -- II : Computer arithmetic. Binary numerals -- Adders -- Multipliers and bignum arithmetic -- III : Algorithms. Multiplexers and demultiplexers -- Sorting -- Search trees -- Hash tables -- IV : Computation in practice. Sharding with Facebook -- Parallel computation with MapReduce -- Generating art with computers.
Computer logic.
Computer logic.