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...

This volume presents the fundamentals of graph theory and then goes on to discuss specific chemical applications. Chapter 1 provides a historical setting for the current upsurge of interest in chemical graph theory. chapter 2 gives a full background of the basic ideas and mathematical formalism of graph theory and includes such chemically...

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...

I am very pleased to have this new book in the Aho/Ullman series Principles of Computer Science. I see this book as a major step toward making computer science theory accessible to the wide range of students who need to know the subject. It covers a good segment of the classical material on data structures and algorithms, but it does so in a...

Like all engineering activities, computer programming is both craft and science. Building a bridge or a computer program requires familiarity with the known techniques for the overall design of similar artifacts. And making intelligent choices among the available techniques and designs requires understanding of the mathematical principles...

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