Related Books

The Calculus of Computation
Language: en
Pages: 375
Authors: Aaron R. Bradley
Categories: Computers
Type: BOOK - Published: 2007-09-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to sta
Mathematical Theory of Computation
Language: en
Pages: 0
Authors: Zohar Manna
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: Courier Dover Publications

DOWNLOAD EBOOK

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
Understanding Computation
Language: en
Pages: 389
Authors: Tom Stuart
Categories: Computers
Type: BOOK - Published: 2013-05-15 - Publisher: "O'Reilly Media, Inc."

DOWNLOAD EBOOK

Finally, you can learn computation theory and programming language design in an engaging, practical way. Understanding Computation explains theoretical computer
Elementary Calculus of Financial Mathematics
Language: en
Pages: 143
Authors: A. J. Roberts
Categories: Mathematics
Type: BOOK - Published: 2009-01-01 - Publisher: SIAM

DOWNLOAD EBOOK

Financial mathematics and its calculus introduced in an accessible manner for undergraduate students. Topics covered include financial indices as stochastic pro
Fundamentals of Logic and Computation
Language: en
Pages: 225
Authors: Zhe Hou
Categories: Computers
Type: BOOK - Published: 2021-12-03 - Publisher: Springer Nature

DOWNLOAD EBOOK

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