This book teaches mathematical logic using tableaux techniques pioneered by Beth and Smullyan, which are simpler than the usual algebraic techniques, but quite sufficient to give CS students the theoretical tools they need. The book also discusses application of logic to CS. For the third edition, the book has been totally rewritten and additional material has been included on SAT solving and model checking.
Books in print
- Mathematical Logic for Computer Science (Third edition)
- Computer Science Concepts in Scratch
- Principles of Concurrent and Distributed Programming (Second edition)
- Ada for Software Engineers (Second Edition with Ada 2005)
- Principles of the Spin Model Checker
- Just a Theory: Exploring the Nature of Science
- How To Do It In Java
Books out of print
Michal Armoni and Moti Ben-Ari.
Weizmann Institute of Science, 2010.
This textbook is intended to teach concepts of computer science using Scratch. Each concept is introduced through a sequence of tasks, each task adding a bit more functionality or modifying the animation in some way. The solutions of each task are explained in full, gory detail. We envision that teachers will present the students with sequences of tasks to try to solve on their own, but we firmly believe that full explanations must be available. Each task and exercise as been completely solved in Scratch and an archive containing about 150 working programs can be freely download.
Ada for Software Engineers teaches the language as it is used in practice through relatively large case-studies such as a discrete event simulation. The presentation emphasizes the features for object-oriented and systems programming that were introduced in Ada 95, as well as the new features in Ada 2005. A graduated introduction to the terminology and style of the language reference manual makes this an ideal textbook for practicing software engineers.
Some people derogatively claim that evolution is "just a theory," as if it were a fanciful idea that may be accepted or disregarded based on personal taste. But as science well knows, to say that an idea is "just a theory" is actually to pay it a great tribute! Just a Theory is an overview of the modern conception of the nature of science that will enable readers to distinguish the claims of science from the claims of pseudosciences such as creationism and astrology (which illegitimately wrap themselves in the mantle of science). With a light (even humorous) tone and a text that is easy to read, readers are invited to explore the key concepts of the nature of science.
Springer 2001. Corrected printing, 2008.
John Wiley & Sons, 1998. ISBN 0-471-97912-0.
John Wiley & Sons, 1996. ISBN 0-471-95846-8.
Prentice-Hall International, 1990. ISBN 0-13-711821-X.
Prentice-Hall International, 1993. ISBN 0-13-564139-X.
Prentice-Hall International, 1982. ISBN 0-13-701078-8.