Book picks similar to
From Logic to Logic Programming by Kees Doets


logic-programming
computer-science
logic
tough-stuff

The Shape of a Life: One Mathematician's Search for the Universe's Hidden Geometry


Shing-Tung Yau - 2019
      “An unexpectedly intimate look into a highly accomplished man, his colleagues and friends, the development of a new field of geometric analysis, and a glimpse into a truly uncommon mind.”—Nina MacLaughlin, Boston Globe “Engaging, eminently readable . . . For those with a taste for elegant and largely jargon-free explanations of mathematics, The Shape of a Life promises hours of rewarding reading.”—Judith Goodstein, American Scientist  Harvard geometer and Fields medalist Shing-Tung Yau has provided a mathematical foundation for string theory, offered new insights into black holes, and mathematically demonstrated the stability of our universe. In this autobiography, Yau reflects on his improbable journey to becoming one of the world’s most distinguished mathematicians. Beginning with an impoverished childhood in China and Hong Kong, Yau takes readers through his doctoral studies at Berkeley during the height of the Vietnam War protests, his Fields Medal–winning proof of the Calabi conjecture, his return to China, and his pioneering work in geometric analysis. This new branch of geometry, which Yau built up with his friends and colleagues, has paved the way for solutions to several important and previously intransigent problems. With complicated ideas explained for a broad audience, this book offers readers not only insights into the life of an eminent mathematician, but also an accessible way to understand advanced and highly abstract concepts in mathematics and theoretical physics.

PROLOG: Programming for Artificial Intelligence


Ivan Bratko - 1986
    Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial Intelligence using Prolog as a tool for the implementation of AI techniques. Prolog has its roots in logic, however the main aim of this book is to teach Prolog as a practical programming tool. This text therefore concentrates on the art of using the basic mechanisms of Prolog to solve interesting problems. The third edition has been fully revised and extended to provide an even greater range of applications, which further enhance its value as a self-contained guide to Prolog, AI or AI Programming for students and professional programmers alike.

Statistics for Management


Richard I. Levin - 1978
    Like its predecessors, the seventh edition includes the absolute minimum of mathematical/statistical notation necessary to teach the material. Concepts are fully explained in simple, easy-to-understand language as they are presented, making the book an excellent source from which to learn and teach. After each discussion, readers are guided through real-world examples to show how book principles work in professional practice. Includes easy-to-understand explanations of difficult statistical topics, such as sampling distributions, relationship between confidence level and confidence interval, interpreting r-square. A complete package of teaching/learning aids is provided in every chapter, including chapter review exercises, chapter concepts tests,"Statistics at Work" conceptual cases, "Computer Database Exercises," "From the Textbook to the Real-World Examples." This ISBN is in two volumes Part A and Part B.

The Future of Everything: The Science of Prediction


David Orrell - 2006
    He asks how today's scientists can claim to predict future climate events when even three-day forecasts prove a serious challenge. Can we predict and control epidemics? Can we accurately foresee our financial future? Or will we only find out about tomorrow when tomorrow arrives?

Statistical Rethinking: A Bayesian Course with Examples in R and Stan


Richard McElreath - 2015
    Reflecting the need for even minor programming in today's model-based statistics, the book pushes readers to perform step-by-step calculations that are usually automated. This unique computational approach ensures that readers understand enough of the details to make reasonable choices and interpretations in their own modeling work.The text presents generalized linear multilevel models from a Bayesian perspective, relying on a simple logical interpretation of Bayesian probability and maximum entropy. It covers from the basics of regression to multilevel models. The author also discusses measurement error, missing data, and Gaussian process models for spatial and network autocorrelation.By using complete R code examples throughout, this book provides a practical foundation for performing statistical inference. Designed for both PhD students and seasoned professionals in the natural and social sciences, it prepares them for more advanced or specialized statistical modeling.Web ResourceThe book is accompanied by an R package (rethinking) that is available on the author's website and GitHub. The two core functions (map and map2stan) of this package allow a variety of statistical models to be constructed from standard model formulas.

Advanced Engineering Mathematics


Erwin Kreyszig - 1968
    The new edition provides invitations - not requirements - to use technology, as well as new conceptual problems, and new projects that focus on writing and working in teams.

Pandora's Brain


Calum Chace - 2014
    If they are right, the consequence could be an intelligence explosion, in which the AI rapidly and enormously exceeds human cognitive ability. Pandora's Brain is a science and philosophy thriller by best-selling writer Calum Chace. It uses the issues raised by the coming machine intelligence explosion as a platform for a fast-paced and thought-provoking adventure story. Set in the very near future, it features Matt, a shy but engaging and resourceful student who discovers that his recently-deceased father was involved in research that could enable the construction of the world's first conscious machine. Matt's enquiries lead to him being kidnapped, as he is caught in the crossfire between two groups pursuing that goal - one led by a Russian billionaire, and another backed by the US military. Matt has to do more than simply survive: he has to harness these powerful forces to his own ends. At stake is his own life and those of his family and friends. A dramatic seaborne rescue operation, a series of brutal murders and other filmic action scenes follow. In the course of his adventures, Matt discovers that the potential upside of creating machine intelligence includes immortality, and godlike powers of understanding and being - but the potential downside is immediate extinction, or worse. As he is drawn deeper into his adventure, he becomes both the symbol and the victim of a global struggle over the approach to be taken towards this powerful new technology. A landmark decision at a meeting of the UN General Assembly forces Matt to make a fateful decision which sparks the story's final twist. Selected reviews for Pandora's Brain: “I love the concepts in this book!” Peter James, author of the best-selling Roy Grace series “Awesome!  Count me as a fan.” Brad Feld, co-founder of the Foundry Group and Techstars “Pandora’s Brain is a captivating tale of developments in artificial intelligence that could, conceivably, be just around the corner. The imminent possibility of these breakthroughs cause characters in the book to re-evaluate many of their cherished beliefs, and will lead most readers to several “OMG” realisations about their own philosophies of life. Apple carts that are upended in the processes are unlikely ever to be righted again. Once the ideas have escaped from the pages of this Pandora’s box of a book, there’s no going back to a state of innocence. Mainly set in the present day, the plot unfolds in an environment that seems reassuringly familiar, but which is overshadowed by a combination of both menace and promise. Carefully crafted, and absorbing from its very start, the book held my rapt attention throughout a series of surprise twists, as various personalities react in different ways to a growing awareness of that menace and promise.” David Wood, Chairman of the London Futurist Group “Pandora’s Brain is a tour de force that neatly explains the key concepts behind the likely future of artificial intelligence in the context of a thriller novel. Ambitious and well executed, it will appeal to a broad range of readers. In the same way that Suarez’s Daemon and Naam’s Nexus leaped onto the scene, redefining what it meant to write about technology, Pandora’s Brain will do the same for artificial intelligence. Mind uploading? Check. Human equivalent AI? Check. Hard takeoff singularity? Check. Strap in, this is one heck of a ride.

Imagining the Tenth Dimension: A New Way of Thinking about Time and Space


Rob Bryanton - 2006
    Ten dimensions? Most of us have barely gotten used to the idea that there are four.Using simple geometry and an easygoing writing style, author Rob Bryanton starts with the lower dimensions that we are all familiar with, then uses those concepts to build one layer upon another, ultimately arriving at a way of imagining the tenth dimension.Part scientific exploration, part philosophy, this unique book touches upon such diverse topics as dark matter, Feynman's "sum over paths", the quantum observer, and the soul. It is aimed at anyone interested in leading-edge theories about cosmology and the nature of reality, but it is not about mainstream physics. Rather, Imagining the Tenth Dimension is a mind-expanding exercise that could change the way you view this incredible universe in which we live.

Semiology of Graphics


Jacques Bertin - 1967
    Founded on Jacques Bertin’s practical experience as a cartographer, Part One of this work is an unprecedented attempt to synthesize principles of graphic communication with the logic of standard rules applied to writing and topography. Part Two brings Bertin’s theory to life, presenting a close study of graphic techniques including shape, orientation, color, texture, volume, and size in an array of more than 1,000 maps and diagrams.

Hacking Matter: Levitating Chairs, Quantum Mirages, And The Infinite Weirdness Of Programmable Atoms


Wil McCarthy - 2003
    But it's coming, and when it does, it will change our lives as much as any invention ever has. Imagine being able to program matter itself-to change it, with the click of a cursor, from hard to soft, from paper to stone, from fluorescent to super-reflective to invisible. Supported by organizations ranging from Levi Strauss and IBM to the Defense Department, solid-state physicists in renowned laboratories are working to make it a reality. In this dazzling investigation, Wil McCarthy visits the laboratories and talks with the researchers who are developing this extraordinary technology, describes how they are learning to control it, and tells us where all this will lead. The possibilities are truly astonishing.

The Second Intelligent Species: How Humans Will Become as Irrelevant as Cockroaches


Marshall Brain - 2015
    We currently see no evidence of any kind indicating that extraterrestrials exist outside of our solar system. But at this moment, millions of engineers, scientists, corporations, universities and entrepreneurs are racing to create the second intelligent species right here on planet earth. And we can see the second intelligent species coming from all directions in the form of self-driving cars, automated call centers, chess-playing and Jeopardy-playing computers that beat all human players, airport kiosks, restaurant tablet systems, etc. The frightening thing is that these robots will soon be eliminating human jobs in startling numbers. The first wave of unemployed workers is likely to be a million truck drivers who are replaced by self-driving trucks. Pilots will be eliminated soon as well. Then, as new computer vision systems come online, we will see tens of millions of workers in retail stores, fast food restaurants and construction sites replaced by robots. Unless we take steps now to change the economy, we will soon have tens of millions of workers who are unemployed and seeking welfare because they will have no other choice. Marshall Brain's new book "The Second Intelligent Species: How Humans Will Become as Irrelevant as Cockroaches" explores how the future will unfold as the second intelligent species emerges. The book answers questions like: - How will new computer vision systems affect the job market? - How many people will become unemployed by the second intelligent species? - What will happen to millions of newly unemployed workers? - How can modern society and modern economies cope with run-away unemployment caused by robots? - What will happen when the first sentient, conscious computer appears? - What moral and ethical principles will guide the second intelligent species? - Why do we see no extraterrestrials in our universe? "The Second Intelligent Species" offers a unique and fascinating look at the future of the human race, and the choices we will need to make to avoid massive unemployment and poverty worldwide as intelligent machines start eliminating millions of jobs.

Fundamental: How quantum and particle physics explain absolutely everything (except gravity)


Tim James - 2019
    In the quantum realm, objects can be in two places at once. It's a place where time travel is not only possible, but necessary. It's a place where cause and effect can happen in reverse and observing something changes its state. From parallel universes to antimatter, quantum mechanics has revealed that when you get right down to it, the laws of nature are insane. The scientist J. B. S. Haldane once said, 'Reality is not only stranger than we imagine . . . it's stranger than we can imagine.' Never is this more true than with quantum mechanics; our best, most recent attempt to make sense of the fundamental laws of nature.Fundamental is a comprehensive beginner's guide to quantum mechanics, explaining not only the weirdness of the subject but the experiments that proved it to be true. Using a humorous and light-hearted approach, Fundamental tells the story of how the most brilliant minds in science grappled with seemingly impossible ideas and gave us everything from microchips to particle accelerators. Fundamental gives clear explanations of all the quantum phenomena known to modern science, without requiring an understanding of complex mathematics; tells the eccentric stories of the scientists who made these shattering discoveries and what they used them for; explains how quantum field theory (a topic not covered in detail by any other popular-science book) gave rise to particle physics and why the Higgs boson isn't the end of the story.

Absolute Java


Walter J. Savitch - 2003
    Praised for providing an engaging balance of thoughtful examples and explanatory discussion, ?best-selling author Walter Savitch explains concepts and techniques in a straightforward style using understandable language and code enhanced by a suite of pedagogical tools.? "Absolute Java "is appropriate for both introductory and intermediate programming courses introducing Java.

Quantum Physics for Beginners in 90 Minutes without Math: All the Major Ideas of Quantum Mechanics, from Quanta to Entanglement, in Simple Language


Modern Science - 2017
    This behavior is very much different from what we humans are used to dealing with in our everyday lives, so naturally this subject is quite hard to comprehend for many. We believed that the best way to introduce the subject reliably is to start at the beginning, presenting the observations, thoughts and conclusions of each of the world’s greatest physicists through their eyes, one at a time. In this way we hope that the reader may take an enjoyable journey through the strange truths of quantum theory and understand why the conclusions of these great minds are what they are. This book starts with the most general view of the world and gradually leads readers to those new, unbelievable but real facts about the very nature of our universe.

Rome Was Not Built in a Day - The Story of the Roman People vol. I


Nanami Shiono - 1992
    But it was the Romans who built the greatest empire the world has ever seen. Already a bestseller in Japan, China and Korea, acclaimed Japanese historian Nanami SHIONO’s fifteen-volume series-now available for the first time in English-takes readers on a thousand-year odyssey beginning with the city’s mythical founding by a humble shepherd raised by a she-wolf.*CONTENTS*A Note to Readers of the English EditionPrefaceIntroductionChapter One: The Birth of RomeChapter Two: Republican RomeChronologyReferencesAbout the Series and Author