Mordechai Ben-Ari Bücher

Exploring unique mathematical concepts, this open access book delves into topics often overlooked in traditional textbooks. It covers the mathematical formalization of origami, construction techniques using straightedge and compass, and the intriguing five- and six-color theorems. Additionally, it introduces elements of Ramsey theory and lesser-known theorems proven through induction, making it an engaging resource for those with a solid understanding of secondary-school mathematics.

This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching. Complete programs demonstrate each construct and concept and these programs are available on a companion website.

This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In order to provide a balanced treatment of logic, tableaux are related to deductive proof systems. The book presents various logical systems and contains exercises. Still further, Prolog source code is available on an accompanying Web site. The author is an Associate Professor at the Department of Science Teaching, Weizmann Institute of Science.

Focusing on high-integrity software systems, this book delves into Ada, a programming language favored in transportation and aerospace industries. It emphasizes object-oriented programming, concurrency, and real-time systems, while explaining concepts and terminology from the Ada Reference Manual. The text includes extracts from the ARM, a glossary, and technical quizzes to enhance practical understanding. Comparisons with C and Java aid in transitioning to Ada, and both Ada 2005 and Ada 95 features are covered, with a companion website offering extensive resources.

Książka skierowana przede wszystkim do studentów informatyki na wszystkich uczelniach wyższych, programistów i projektantów systemów komputerowych. Autor przedstawia w książce klasyczne problemy współbieżności i podstawowe mechanizmy synchronizacyjne w modelu. Opisuje metody synchronizacyjne w modelu ze wspólną pamięcią i bez, klasyczne algorytmy rozproszone i systemy czasu rzeczywistego.