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.