Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The Universal Computer
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age – the logicians. The story begins with Leibniz in the 17th century and then focuses on Boole, Frege, Cantor, Hilbert, and Gödel, before turning to Turing. Turing’s analysis of algorithmic processes led to a single, all-purpose machine that could be programmed to carry out such processes...
A Cartographic Analysis of Soviet Military City Plans
The collapse of the Soviet Union has seen the emergence of its unprecedentedly comprehensive global secret military mapping project and the commercial availability of a vast number of detailed topographic maps and city plans at several scales. This thesis provides an in-depth examination of the series of over 2,000 large-scale city plans produced in secret by the Military Topographic Directorate (Военное топографическое управление) of the General Staff between the end of the Second World War and the collapse of the USSR in 1991. After positioning the series in its historical context, the nature and content of the plans are examined in detail. A poststructurali...
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert’s tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis’ work. As a whole, this book shows how Davis’ scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.
Alan M. Turing
Containing never-before-published material, this fascinating account sheds new light on one of the greatest figures of the twentieth century.
Astrolocality Astrology
Welcome to the revised and updated version of Astrolocality Astrology. In the 15 years since the original version was published, the world has shrunk and computer software has dramatically improved. It is now easier than ever to access astro-mapping software and so quite literally seek out the best places for holiday, work, relationships - you name it.This revised edition includes the fascinating case histories of Edward Snowden and Ronnie Biggs, and it is also organised in a more reader-friendly format.
Set Theory and the Continuum Problem
A lucid, elegant, and complete survey of set theory, this three-part treatment explores axiomatic set theory, the consistency of the continuum hypothesis, and forcing and independence results. 1996 edition.
The Return of Martin Guerre
The clever peasant Arnaud du Tilh had almost persuaded the learned judges at the Parlement of Toulouse when, on a summer’s day in 1560, a man swaggered into the court on a wooden leg, denounced Arnaud, and reestablished his claim to the identity, property, and wife of Martin Guerre. The astonishing case captured the imagination of the continent. Told and retold over the centuries, the story of Martin Guerre became a legend, still remembered in the Pyrenean village where the impostor was executed more than 400 years ago. Now a noted historian, who served as consultant for a new French film on Martin Guerre, has searched archives and lawbooks to add new dimensions to a tale already abundant ...
Engines of Logic
A pioneer in computer development chronicles the history of the machine, and the software that makes it tick, elucidating the core principles driving every calculation, stored record, and mouse click. Originally published as The Universal Computer. Reprint.
Computability, Complexity, and Languages
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. Additions to the second edition include: extended exercise sets, which vary in difficulty; expanded section on recursion theory; new chapters on program verification and logic programming; updated references and examples throughout.
Martin Rising
“A powerful celebration of Martin Luther King Jr., set against the last few months of his life and written in verse” (School Library Journal). Martin Rising is a stunning, poetic presentation of the final months of Martin Luther King, Jr.’s life—told in a rich embroidery of visions, color, musical cadence, deep emotion, and multiple layers of meaning. Against a backdrop of the sanitation workers’ strike in Memphis, Tennessee, the book builds to its rousing crescendo as King delivers his “I’ve Been to the Mountaintop” speech—where his life’s commitment to peaceful activism and his dream of equality ascend to their highest peak. The Pinkneys’ powerful and spiritual look a...
