# Mathematics and Physics

• Page 5 of 7

## Algebraic Semantics of Imperative Programs

Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs.

## Language in Action

Categories, Lambdas, and Dynamic Logic

Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature.

## A Course in Game Theory

A Course in Game Theory presents the main ideas of game theory at a level suitable for graduate students and advanced undergraduates, emphasizing the theory's foundations and interpretations of its basic concepts. The authors provide precise definitions and full proofs of results, sacrificing generalities and limiting the scope of the material in order to do so. The text is organized in four parts: strategic games, extensive games with perfect information, extensive games with imperfect information, and coalitional games. It includes over 100 exercises.

## Hilbert's 10th Problem

At the 1900 International Congress of Mathematicians, held that year in Paris, the German mathematician David Hilbert put forth a list of 23 unsolved problems that he saw as being the greatest challenges for twentieth-century mathematics. Hilbert's 10th problem, to find a method (what we now call an algorithm) for deciding whether a Diophantine equation has an integral solution, was solved by Yuri Matiyasevich in 1970.

## Bayes or Bust?

A Critical Examination of Bayesian Confirmation Theory

There is currently no viable alternative to the Bayesian analysis of scientific inference, yet the available versions of Bayesianism fail to do justice to several aspects of the testing and confirmation of scientific hypotheses. Bayes or Bust? provides the first balanced treatment of the complex set of issues involved in this nagging conundrum in the philosophy of science.

## Learning Mathematics and Logo

These original essays summarize a decade of fruitful research and curriculum development using the LISP-derived language Logo.

## Adaptation in Natural and Artificial Systems

An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence

Genetic algorithms are playing an increasingly important role in studies of complex adaptive systems, ranging from adaptive agents in economic theory to the use of machine learning techniques in the design of complex devices such as aircraft turbines and integrated circuits. Adaptation in Natural and Artificial Systems is the book that initiated this field of study, presenting the theoretical foundations and exploring applications.

## Fundamentals of Mathematics

Analysis

Fundamentals of Mathematics represents a new kind of mathematical publication. While excellent technical treatises have been written about specialized fields, they provide little help for the nonspecialist; and other books, some of them semipopular in nature, give an overview of mathematics while omitting some necessary details.

## Fundamentals of Mathematics

Geometry

Fundamentals of Mathematics represents a new kind of mathematical publication. While excellent technical treatises have been written about specialized fields, they provide little help for the nonspecialist; and other books, some of them semipopular in nature, give an overview of mathematics while omitting some necessary details.

• Page 5 of 7