Books

This book presents a selection of surprising topics in mathematics: the formalization of origami, little-known constructions with straightedge and compass, the five- and six-color theorems and a taste of Ramsey theory. The highlight of the book is a detailed presentation of Gauss's purely algebraic proof that a regular heptadecagon (a regular polygon with seventeen sides) can be constructed with straightedge and compass.

• Download PDF from Springer.
• Download LaTeX source from GitHub.
• French and Hebrew translations are available; see GitHub.

The book focuses on robotic algorithms: odometry, feedback control, localization, mapping, image processing, machine learning and swarm robotics. These algorithms are demonstrated in simplified contexts that enable detailed computations to be performed. The theory is supplemented with over 100 activities, most of which can be successfully implemented using inexpensive educational robots.

• Download PDF from Springer.
• Download LaTeX source from GitHub.
• Download programs from GitHub.

This book is about mathematical logic that has applications in computer science: tableaux, SAT solving and model checking. 

• Prolog implementation of the algorithms on GitHub.
• LearnSAT is a software program for learning SAT solving.

An introduction to concurrent and distributed algorithms that use the synchronization primitives: semaphores, monitors, channels, rendezvous, spaces and token passing.  Another major topic is verification using deductive methods, temporal logic and model checking. 

• Source code of the example programs on GitHub.

This textbook presents concepts of computer science using Scratch, where each concept is introduced through a sequence of tasks. An archive containing about 150 programs in Scratch can be freely download.

English website.
Hebrew website.

Ada for Software Engineers teaches the language 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 features from Ada 2005. 

• Source code of the case studies and the quizzes on GitHub.

This is an introductory textbook on the use of the Spin Model Checker for modeling and verifying concurrent and distributed systems.

The following may be found on GitHub:

• Document with update for Spin 6.
• Source code of the Promela programs.
• Source code of the Promela programs for the Erigone Model Checker.

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. It will give curious readers a good grasp of what real science is, as well as a better understanding of why so many of the claims we hear and read about everyday fall far short of being "just a theory."