Paradigms of AI Programming is the first text to teach advanced Common Lisp techniques in the context of building major AI systems. By reconstructing authentic, complex AI programs using state-of-the-art Common Lisp, the book teaches students and professionals how to build and debug robust practical programs, while demonstrating...

This book is packed with quick formula and would might be quite useful as implied by the "design handbook" name. Some of the...

This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to...

Database design is the process of determining the organization of a database, including its structure, contents, and the applications to be run. For a long time, database design was considered a task for experts, and was regarded as more of an art than a science. However, much progress has been made in database design, and it is now...

The Socratic, or dialog, form is central to the history of philosophy and has been the discipline's canonical genre ever since. Paul Feyerabend's Three Dialogues on Knowledge resurrects the form to provide an astonishingly flexible and invigorating analysis of epistemological, ethical and metaphysical problems. He uses literary...

Following a brief introduction and overview, early chapters cover the basic algebraic relationships of entropy, relative entropy and mutual information, AEP, entropy rates of stochastics processes and data compression, duality of data compression and the growth rate of wealth. Later chapters explore Kolmogorov complexity, channel capacity,...