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

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

Calculus of Thought: Neuromorphic Logistic Regression in Cognitive Machines is a must-read for all scientists about a very simple computation method designed to