Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to sta

With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of t

Finally, you can learn computation theory and programming language design in an engaging, practical way. Understanding Computation explains theoretical computer

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines

Financial mathematics and its calculus introduced in an accessible manner for undergraduate students. Topics covered include financial indices as stochastic pro