Books about Mordechai from Amazon.com

Problem Solving in Chemical and Biochemical Engineering with POLYMATH™, Excel, and MATLAB®, Second Edition, is a valuable resource and companion that integrates the use of numerical problem solving in the three most widely used software packages: POLYMATH, Microsoft Excel, and MATLAB. Recently developed POLYMATH capabilities allow the automatic creation of Excel spreadsheets and the generation of MATLAB code for problem solutions. Students and professional engineers will appreciate the ease with which problems can be entered into POLYMATH and then solved independently in all three software packages, while taking full advantage of the unique capabilities within each package. The book includes more than 170 problems requiring numerical solutions.

This greatly expanded and revised second edition includes new chapters on getting started with and using Excel and MATLAB. It also places special emphasis on biochemical engineering with a major chapter on the subject and with the integration of biochemical problems throughout the book.

General Topics and Subject Areas, Organized by Chapter

• Introduction to Problem Solving with Mathematical Software Packages

• Basic Principles and Calculations

• Regression and Correlation of Data

• Introduction to Problem Solving with Excel

• Introduction to Problem Solving with MATLAB

• Advanced Problem-Solving Techniques

• Thermodynamics

• Fluid Mechanics

• Heat Transfer

• Mass Transfer

• Chemical Reaction Engineering

• Phase Equilibrium and Distillation

• Process Dynamics and Control

• Biochemical Engineering

Practical Aspects of Problem-Solving Capabilities

• Simultaneous Linear Equations

• Simultaneous Nonlinear Equations

• Linear, Multiple Linear, and Nonlinear Regressions with Statistical Analyses

• Partial Differential Equations (Using the Numerical Method of Lines)

• Curve Fitting by Polynomials with Statistical Analysis

• Simultaneous Ordinary Differential Equations (Including Problems Involving Stiff Systems, Differential-Algebraic Equations, and Parameter Estimation in Systems of Ordinary Differential Equations)

The Book's Web Site (http://www.problemsolvingbook.com)

• Provides solved and partially solved problem files for all three software packages, plus additional materials

• Describes discounted purchase options for educational version of POLYMATH available to book purchasers

• Includes detailed, selected problem solutions in Mapleâ„¢, Mathcad®, and Mathematicaâ„¢

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but 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. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.
The logical systems presented are:
- Propositional calculus (including binary decision diagrams);
- Predicate calculus;
- Resolution;
- Hoare logic;
- Z;
- Temporal logic.
Answers to exercises (for instructors only) as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.com/978-1-85233-319-5

Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education.

Principles of Spin is an introductory book, 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: jSpin - an integrated development environment for Spin; SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs; VN is a tool for visualizing nondeterminism.

Complete programs will demonstrate each construct and concept and these programs will be available on a companion website.