Cooper,W.

The Evolution of Reason.

Apr. 2001 224 pp.
0-521-79196-0

The formal systems of logic have ordinarily been regarded as independent of biology, but recent developments in evolutionary theory suggest that biology and logic may be intimately interrelated. Cooper outlines a theory of rationality in which logical law emerges as an intrinsic aspect of evolutionary biology. He examines the connections between logic and evolutionary biology and illustrates how logical rules are derived directly from evolutionary principles, and therefore have no independent status of their own. This biological perspective on logic, though unorthodox, could change traditional ideas about the reasoning process.

Sangiorgi,D./ Walker,D.

The Pi-Calculus: a Theory of Mobile Processes.

Apr. 2001 576 pp.
0-521-78177-9

Mobile systems, the components of which communicate and change their structure, now pervade the informational world and the wider world of which it is a part. However, the science of such systems is still immature. This book presents the p-calculus, a theory of mobile systems which provides a conceptual framework for understanding mobility, and mathematical tools fer describing systems and reasoning about their behaviours. The book is written at the graduate level, assuming no prior acquaintance with the subject, and is intended for computer scientists interested in mobile systems.

Iserles,A.

Acta Numerica 2001, Vol. 10.

May. 2001 300 pp.
0-521-80312-8

Acta Numerical is an annual volume presenting substantive survey articles in numerical analysis and scientific computing. The subjects and authors are chosen by a distinguished international editorial board so as to report the most important and timely developments in the subject in a manner accessible to the wider community of professionals with an interest in scientific. Contributors: M. Avellaneda, P. G. Ciarlet, D. Chapelle, M. Eiermann, M. Ernst, M. Hegland, M. J. Todd, J. Marsden, M. West. R. Rannacher, D. Sorensen.

Negri,S.

Structural Proof Theory.

May 2001 288 pp.
0-521-79307-6

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for 3 developing proofs interactively, downloadable from the web and regularly updated.

Pollard,D.

A User's Guide to Measure Theoretic Probability.

(Cambridge Series in Statistical and Probabilistic Mathematics, Series)

May 2001 320 pp.
0-521-80242-3 (hardcover)
0-521-00289-3 (softcover)

Rigorous probabilistic arguments, built on the foundation of measure theory introduced seventy years ago by Kolmogorov, have invaded many fields. Many students of statistics, biostatistics, econometrics, finance, and other changing disciplines now find themselves needing to absorb theory beyond what they might have: learned in the typical undergraduate, calculus-based probability course. This book grew from a one-semester course offered for many years to a mixed audience of graduate and undergraduate students, who were expected only to have taken an undergraduate course in real analysis or advanced calculus.

Sneider,R.

A Guided Tour of Mathematical Methods: For the Physical Sciences.

May 2001 430 pp.
0-521-78241-4 (hardcover)
0-521-78751-3 (softcover)

Mathematical methods are essential tools for all physical scientists. In this book mathematics for university students is presented in an integrated fashion with its applications in the physical sciences. In this way the mathematical insights that students acquire are driven by physical insight. In contrast to most textbooks, the material is presented as a set of problems, many of which are playful and applied in character. This book can be used by undergraduates or graduate students, as a stand-alone text, or as a source of problems to complement other texts.

Bertozzi,A./ Majda,A.

Vorticity and Incompressible Flow.

(Cambridge Texts in Applied Mathematics, Vol. 27)

May 2001 692 pp.
0-521-63057-6

This book is a comprehensive introduction to the mathematical theory of vorticity and incompressible flow ranging from elementary introductory material to current research topics. While the contents center on mathematical theory, many parts of the book showcase the interaction between rigorous mathematical theory, numerical, asymptotic, and qualitative simplified modeling, and physical phenomena. The first half forms an introductory graduate course on vorticity and incompressible flow. The second half comprises a modern applied mathematics graduate course on the weak solution theory for incompressible flow.

Dempster,A./ Moffatt,H.

Risk Management Beyond Value at Risk.

June 2001 450 pp.
0-521-78180-9

The theory of Value at Risk (VaR), which quantifies the probability of large losses in financial transactions, won the Nobel Prize in economics for Robert Merton. The collapse of the hedge fund Long-Term Capital Management, based on the VaR theory, showed that it was limited, however. This collection of papers by leading researchers, the result of a Newton Institute workshop, addresses the weaknesses of VaR and suggests means of circumventing them. It will be appreciated by graduate students and professionals in financial risk analysis.

Gnadig,P./Honyek,G./Riley,K.

200 Puzzling Problems in Physics.

June 2001 300 pp.
0-521-77306-7(hardcover)
0-521-77480-2(softcover)

This book will strengthen a student's grasp of the laws of physics by applying them to practical problems that yield more easily to intuitive insight than brute-force methods or complex mathematics. The two hundred questions are intriguingly posed in non-technical language. The level of sophistication needed to tackle most of the problems is that of the exceptional school student, the good undergraduate, or the competent graduate student. All students of physics (and even some physics professors) should find the problems fascinating, challenging and fin.

Goldreich,O.

Foundations of Cryptology, Vol. 1: Basic Tools.

June 2001 350 pp.
0-521-79172-3

Cryptography concerns constructing computing systems that address security concerns. The design of cryptographic systems must be based on firm foundations and this book focuses on the basic mathematical tools needed: computational difficulty (one-way functions), pseudorandomness and zero-knowledge proofs. The emphasis is to clarify fundamental concepts, and to demonstrate the feasibility of solving several central cryptographic problems. The book is suitable for graduate cryptography courses and as a reference for experts, and assumes basic familiarity with design and analysis algorithms; knowledge of complexity theory and probability would also be useful.