| |
 |
|
|
Raut, Manoj
Dhirubhai Ambani Institute of Information and Communication Technology
Gandhinagar, Gujarat, India
|
|
|
 |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 4 of 4
reviews
|
|
|
|
|
|
|
|
 Neighborhood semantics for modal logic
Pacuit E., Springer International Publishing, New York, NY, 2017. 154 pp. Type: Book (978-3-319671-48-2)
Reading and writing a review of this wonderful book has been a pleasure. Knowing the basics of propositional modal logic may explain why I enjoyed reading it. The author has gathered and surveyed many papers in writing this book. This ...
|
Feb 14 2019 |
|
|
|
|
|
|
Mathematical logic for computer science (3rd ed.)
Ben-Ari M., Springer Publishing Company, Incorporated, New York, NY, 2012. 361 pp. Type: Book (978-1-447141-28-0)
People say mathematical logic is the calculus of computer science. As calculus is to physical sciences and engineering, logic is to computer science. Logic formalizes reasoning about knowledge. Logic plays an important role in computer...
|
Jan 15 2013 |
|
|
|
|
|
|
Handbook of mathematical induction: theory and applications
Gunderson D., Chapman & Hall/CRC, Boca Raton, FL, 2010. 921 pp. Type: Book (978-1-420093-64-3), Reviews: (2 of 2)
I first encountered mathematical induction in high school. I was amazed with such a powerful technique to prove properties about natural numbers. Since then, I have seen its application in a wide variety of areas. When I saw this book,...
|
Aug 29 2011 |
|
|
|
|
|
|
Formula caching in DPLL
Beame P., Impagliazzo R., Pitassi T., Segerlind N. ACM Transactions on Computation Theory 1(3): 1-33, 2010. Type: Article
The DPLL algorithm is a satisfiability-based algorithm. The authors consider in this paper the extension of the DPLL approach to satisfiability checking, by adding memoization, which means saving previously solved subproblems for later...
|
Nov 30 2010 |
|
|
|
|
|
| |
|
|
| |
|
|
