About this book
This text gives a clear, but rigorous description of the fundamental mathematical concepts used by computer scientists, while at the same time emphasising the need for careful justification. The authors provide proofs of all the major results; all the algorithms presented are developed carefully and their performance is analysed. Throughout, the aim is to provide a well balanced treatment of both the discrete and continuous mathematics that should be studied by the serious student of computer science. The book will therefore be most suited to those undergraduate programmes that put the emphasis on such areas as programming language semantics, program correctness, and algorithm analysis and design.
algorithms calculus computer science logic mathematics programming programming language