This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable m

This is the second volume in a series of innovative proceedings entirely devoted to the connections between mathematics and computer science. Here mathematics a

"This book introduces the mathematics that supports advanced computer programming and the analysis of algorithms. The primary aim of its well-known authors is t

This is the first book where mathematics and computer science are directly confronted and joined to tackle intricate problems in computer science with deep math

This text is intended for one semester courses in Logic, it can also be applied to a two semester course, in either Computer Science or Mathematics Departments.