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


logic-programming
computer-science
logic
coding-prolog

UNIX: A History and a Memoir


Brian W. Kernighan - 2019
    Brian Kernighan was a member of the original group of Unix developers, the creator of several fundamental Unix programs, and the co-author of classic books like "The C Programming Language" and "The Unix Programming Environment."

The Universal Computer: The Road from Leibniz to Turing


Martin D. Davis - 2000
    How can today's computers perform such a bewildering variety of tasks if computing is just glorified arithmetic? The answer, as Martin Davis lucidly illustrates, lies in the fact that computers are essentially engines of logic. Their hardware and software embody concepts developed over centuries by logicians such as Leibniz, Boole, and Godel, culminating in the amazing insights of Alan Turing. The Universal Computer traces the development of these concepts by exploring with captivating detail the lives and work of the geniuses who first formulated them. Readers will come away with a revelatory understanding of how and why computers work and how the algorithms within them came to be.

Adventures of a Computational Explorer


Stephen Wolfram - 2019
    In this lively book of essays, Stephen Wolfram takes the reader along on some of his most surprising and engaging intellectual adventures in science, technology, artificial intelligence and language design.

The AI Revolution: The Road to Superintelligence


Tim Urban - 2015
    The topic everyone in the world should be talking about.

Doing Philosophy: From Common Curiosity to Logical Reasoning


Timothy Williamson - 2018
    Discussing philosophy's ability to clarifyour thoughts, he explains why such clarification depends on the development of philosophical theories, and how those theories can be tested by imaginative thought experiments, and compared against each other by standards similar to those used in the natural and social sciences. He also shows howlogical rigor can be understood as a way of enhancing the explanatory power of philosophical theories.Drawing on the history of philosophy to provide a track record of philosophical thinking's successes and failures, Williams overturns widely held dogmas about the distinctive nature of philosophy in comparison to the sciences, demystifies its methods, and considers the future of the discipline. Fromthought experiments, to deduction, to theories, this little book will cause you to totally rethink what philosophy is.

Can You Outsmart an Economist?: 100+ Puzzles to Train Your Brain


Steven E. Landsburg - 2018
    You may even end up ‘smarter than Google.’ But you will not readily put down this exhilarating adventure in ideas.” — George Gilder, author of Knowledge and Power and Life After Google   Can you outsmart an economist? Steven Landsburg, acclaimed author and professor of economics, dares you to try. In this whip-smart, entertaining, and entirely unconventional economics primer, he brings together over one hundred puzzles and brain teasers that illustrate the subject’s key concepts and pitfalls. From warm-up exercises to get your brain working, to logic and probability problems, to puzzles covering more complex topics like inferences, strategy, and irrationality, Can You Outsmart an Economist? will show you how to do just that by expanding the way you think about decision making and problem solving. Let the games begin!   “Entertaining as well as edifying. Read it, expand your mind, and have fun!”— N. Gregory Mankiw, Robert M. Beren Professor of Economics, Harvard University

Schaum's Outline of Probability and Statistics


Murray R. Spiegel - 1975
    Its big-picture, calculus-based approach makes it an especially authoriatative reference for engineering and science majors. Now thoroughly update, this second edition includes vital new coverage of order statistics, best critical regions, likelihood ratio tests, and other key topics.

Graph Theory With Applications To Engineering And Computer Science


Narsingh Deo - 2004
    GRAPH THEORY WITH APPLICATIONS TO ENGINEERING AND COMPUTER SCIENCE-PHI-DEO, NARSINGH-1979-EDN-1

Numerical Methods for Scientists and Engineers


Richard Hamming - 1973
    Book is unique in its emphasis on the frequency approach and its use in the solution of problems. Contents include: Fundamentals and Algorithms; Polynomial Approximation — Classical Theory; Fourier Approximation — Modern Theory; and Exponential Approximation.

The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer


David Berlinski - 2000
    A basic idea that proved elusive for hundreds of years and bent the minds of the greatest thinkers in the world, the algorithm is what made the modern world possible. Without the algorithm, there would have been no computer, no Internet, no virtual reality, no e-mail, or any other technological advance that we rely on every day.In The Advent of the Algorithm, David Berlinski combines science, history, and math to explain and explore the intriguing story of how the algorithm was finally discovered by a succession of mathematicians and logicians, and how this paved the way for the digital age. Beginning with Leibniz and culminating in the middle of the twentieth century with the groundbreaking work of Gödel and Turing, The Advent of the Algorithm is an epic tale told with clarity and imaginative brilliance.

Quantum Physics for Beginners: From Wave Theory to Quantum Computing. Understanding How Everything Works by a Simplified Explanation of Quantum Physics and Mechanics Principles


Carl J. Pratt - 2021
    

Linear Algebra and Its Applications [with CD-ROM]


David C. Lay - 1993
    

Calculus


Gilbert Strang - 1991
    The author has a direct style. His book presents detailed and intensive explanations. Many diagrams and key examples are used to aid understanding, as well as the application of calculus to physics and engineering and economics. The text is well organized, and it covers single variable and multivariable calculus in depth. An instructor's manual and student guide are available online at http: //ocw.mit.edu/ans7870/resources/Strang/....

Expert C Programming: Deep C Secrets


Peter van der Linden - 1994
    This book will help the C programmer reach new heights as a professional. Organized to make it easy for the reader to scan to sections that are relevant to their immediate needs.

The Man Who Grew Two Breasts: And Other True Tales of Medical Detection


Berton Roueché - 1995
    At his death last spring, Roueche left behind seven new narratives that have never been published in book form. This book collects these works along with one earlier classic--all relating true tales of strange illnesses, rare diseases, and the brilliant minds who race to understand and conquer them.