This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises have been added which have been used successfully in teaching the course.Part II, The Prolog Language, has been modified to be compatible with the new Prolog standard, and the chapter on program development has been significantly altered: the predicates defined have been moved to more appropriate chapters, the section on efficiency has been moved to the considerably expanded chapter on cuts and negation, and a new section has been added on stepwise enhancement -- a systematic way of constructing Prolog programs developed by Leon Sterling.All but one of the chapters in Part III, Advanced Prolog Programming Techniques, have been substantially changed, with some major rearrangements. A new chapter on interpreters describes a rule language and interpreter for expert systems, which better illustrates how Prolog should be used to construct expert systems. The chapter on program transformation is completely new and the chapter on logic grammars adds new material for recognizing simple languages, showing how grammars apply to more computer science examples.

This is an extraordinary and challenging synthesis of ideas uniting Quantum Theory, and the theories of Computation, Knowledge and Evolution. Deutsch's extraordinary book explores the deep connections between these strands which reveal the fabric of reality in which human actions and ideas play essential roles.

"A remarkable book that influenced the scientific thought of an entire generation."--Dictionary of Scientific Biography
A major statement of the language, method, and concepts of the physical sciences, this 1892 volume traces not only the history of experimental investigation but also the efforts of philosophic minds to state and organize their findings intelligently. A classic in the philosophy of science, its author is the founder of modern statistics. Karl Pearson was among the most influential university teachers of his era, and he possessed a remarkable ability to captivate both students and casual listeners. In The Grammar of Science, his most widely read book, he introduced the concept of a general methodology underlying all science, and thus made one of the great contributions to modern thought. 1957 ed.

From the Back Cover
Es gibt einige Bücher, die die naturwissenschaftliche Welt verändert haben: John von Neumanns Buch über die Quantenmechanik gehört dazu! Mit dieser richtungsweisenden Studie legte er den Grundstein für seine späteren, weltberühmten Arbeiten in den USA. Das Buch ist nicht nur von historischem Interesse, sondern kann immer noch als elementare Einführung in die Grundbegiffe der Quantenmechanik mit Gewinn studiert werden. Seine besondere Stärke ist die Verbindung zwischen physikalischer Idee und mathematischer Exaktheit. Ein Gewinn für jeden Leser aus den Bereichen Mathematik und Physik - schon ab dem 4. Semester.

在线阅读本书
THE SEMINAL WORK ON FOREIGN POLICY AND THE ART OF DIPLOMACY Moving from a sweeping overview of history to blow-by-blow accounts of his negotiations with world leaders, Henry Kissinger describes how the art of diplomacy has created the world in which we live, and how America's approach to foreign affairs has always differed vastly from that of other nations. Brilliant, controversial, and profoundly incisive, Diplomacy stands as the culmination of a lifetime of diplomatic service and scholarship. It is vital reading for anyone concerned with the forces that have shaped our world today and will impact upon it tomorrow.

The coup is the most frequently attempted method of changing government, and the most successful. "Coup d'etat" outlines the mechanism of the coup and analyzes the conditions--political, military, and social, that gives rise to it. In doing so, the book sheds much light on societies where power does indeed grow out of the barrel of a gun and the role of law is a concept little understood.

"The sillier the market's behavior, the greater the opportunity for the business-like investor. Follow Graham and you will profit from folly rather than participate in it."—Warren E. Buffett. "[Graham] is the genius who literally created the framework for investment analysis that leads to successful investing. Like that other genius Edison, Graham created light where there was none." —Bill Ruane, Sequoia Fund. "It's never the wrong time to invoke the name of Benjamin Graham, value investor par excellence." —Money "The search for intelligent investing should begin with the remarkable Benjamin Graham's timeless teachings. Read Lowe's book and you'll learn to seek what the original master sought as she helps Graham reclaim his rightful place as the most important and extraordinary investment writer of any generation."—Kenneth Lee, author of Trouncing the Dow. Known as the "father of value investing," Benjamin Graham was—and is—one of America's most lauded financial thinkers. Billionaire investor Warren Buffett, a former student of Graham, extols him to this day. Brilliant, successful, and ethical, he revolutionized investment philosophy by introducing the concepts of security analysis, fundamental analysis, and value investing—theories that have become timeless essentials of the field. Now, Janet Lowe, author of Benjamin Graham on Value Investing and Warren Buffett Speaks, reintroduces the foundations of Graham's eminence—including his ever-relevant market observations and his assessment of long-term economic problems—by presenting a unique compilation of his writings that contains rare and/or previously unpublished articles, lectures, and interviews. Almost twenty-five years after his death, Benjamin Graham continues to have one of the largest and most loyal followings of any investment philosopher of this century. A prolific and popular writer whose trademark was blending original ideas with wit and intelligence, he has guided and inspired Wall Street professionals with his thoughtful ruminations and piercing insights on a host of investment and economic topics. Though bits and pieces of this material are widely quoted even today, the full writings have not always been easy to find—until now. The result of in-depth research, The Rediscovered Benjamin Graham brings together the very best the investment legend had to offer, including such incisive works as: "Inflated Treasuries and Deflated Stocks: Are Corporations Milking Their Owners?" "The Ethics of American Capitalism". "Proposals for an International Commodity-Reserve Currency". "The New Speculation in Common Stocks". "Is American Business Worth More Dead Than Alive?". "The Simplest Way to Select Bargain Stocks". A groundbreaking volume that fills an important niche in investment literature, The Rediscovered Benjamin Graham is destined to become as timeless a classic as its distinguished subject. Jacket Design: Don Welsh

In 1942, Lt. Herman H. Goldstine, a former mathematics professor, was stationed at the Moore School of Electrical Engineering at the University of Pennsylvania. It was there that he assisted in the creation of the ENIAC, the first electronic digital computer. The ENIAC was operational in 1945, but plans for a new computer were already underway. The principal source of ideas for the new computer was John von Neumann, who became Goldstine's chief collaborator. Together they developed EDVAC, successor to ENIAC. After World War II, at the Institute for Advanced Study, they built what was to become the prototype of the present-day computer. Herman Goldstine writes as both historian and scientist in this first examination of the development of computing machinery, from the seventeenth century through the early 1950s. His personal involvement lends a special authenticity to his narrative, as he sprinkles anecdotes and stories liberally through his text.</p>

Fourier analysis is a subject that was born in physics but grew up in mathematics. Now it is part of the standard repertoire for mathematicians, physicists and engineers. In most books, this diversity of interest is often ignored, but here Dr Korner has provided a shop-window for some of the ideas, techniques and elegant results of Fourier analysis, and for their applications. These range from number theory, numerical analysis, control theory and statistics, to earth science, astronomy, and electrical engineering. Each application is placed in perspective by a short essay. The prerequisites are few (the reader with knowledge of second or third year undergraduate mathematics should have no difficulty following the text), and the style is lively and entertaining. In short, this stimulating account will be welcomed by all who like to read about more than the bare bones of a subject. For them this will be a meaty guide to Fourier analysis.

In this engaging and readable book, Dr. Körner describes a variety of lively topics that continue to intrigue professional mathematicians. The topics range from the design of anchors and the Battle of the Atlantic to the outbreak of cholera in Victorian Soho. The author uses relatively simple terms and ideas, yet explains difficulties and avoids condescension. If you are a mathematician who wants to explain to others how you spend your working days, then seek inspiration here. This book will appeal to everyone interested in the uses of mathematics.

Mathieu Marion offers a careful, historically informed study of Wittgenstein's philosophy of mathematics. This area of his work has frequently been undervalued by Wittgenstein specialists and by philosophers of mathematics alike; but the surprising fact that he wrote more on this subject than on any other indicates its centrality in his thought. Marion traces the development of Wittgenstein's thinking in the context of the mathematical and philosophical work of the times, to make coherent sense of ideas that have too often been misunderstood because they have been presented in a disjointed and incomplete way. In particular, he illuminates the work of the neglected 'transitional period' between the Tractatus and the Investigations. Marion shows that study of Wittgenstein's writings on mathematics is essential to a proper understanding of his philosophy; and he also demonstrates that it has much to contribute to current debates about the foundations of mathematics.

We all know that water and sound move in waves-but gravity? In Marcia Bartusiak's new book, we are introduced to the physics of gravity waves-or vibrations in space-time. We learn about the new generation of observatories, now being completed worldwide, that will give astronomers not just a new window on the cosmos but a whole new sense with which to explore the heavens. Instead of collecting light waves or radio waves, these novel instruments will allow scientists to listen to the very rhythms of the universe, adding an auditory dimension to the grand images we study through powerful telescopes.
In accessible and lively writing that translates intricate physical concepts into lyrical language, Bartusiak describes how a gravity wave surges through the cosmos at the speed of light. She traces the fascinating story of Einstein's theory of general relativity and goes on to explore how physicists' views of gravity waves have evolved over the decades. We also come to know many of the people involved in today's experiments. As Bartusiak weaves their personal histories in with the ultimate aspirations for the new technologies, an absorbing story of science unfolds. This gripping account of complex, cutting-edge science is brought down to earth and made interesting by an author skilled in the telling of popular science.