Book picks similar to
From Logic to Logic Programming by Kees Doets
logic-programming
computer-science
logic
compsci
Turing: Pioneer of the Information Age
B. Jack Copeland - 2012
But who was Turing, and what did he achieve during his tragically short life of 41 years? Best known as the genius who broke Germany's most secret codes during the war of 1939-45, Turing was also the father of the modern computer. Today, all who 'click-to-open' are familiar with the impact of Turing's ideas.Here, B. Jack Copeland provides an account of Turing's life and work, exploring the key elements of his life-story in tandem with his leading ideas and contributions. The book highlights Turing's contributions to computing and to computer science, including Artificial Intelligence and Artificial Life, and the emphasis throughout is on the relevance of his work to modern developments. The story of his contributions to codebreaking during the Second World War is set in the context of his thinking about machines, as is the account of his work in the foundations of mathematics.
An Introduction to Functional Programming Through Lambda Calculus
Greg Michaelson - 1989
This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.
Entertaining Mathematical Puzzles
Martin Gardner - 1986
Puzzlists need only an elementary knowledge of math and a will to resist looking up the answer before trying to solve a problem.Written in a light and witty style, Entertaining Mathematical Puzzles is a mixture of old and new riddles, grouped into sections that cover a variety of mathematical topics: money, speed, plane and solid geometry, probability, topology, tricky puzzles, and more. The probability section, for example, points out that everything we do, everything that happens around us, obeys the laws of probability; geometry puzzles test our ability to think pictorially and often, in more than one dimension; while topology, among the "youngest and rowdiest branches of modern geometry," offers a glimpse into a strange dimension where properties remain unchanged, no matter how a figure is twisted, stretched, or compressed.Clear and concise comments at the beginning of each section explain the nature and importance of the math needed to solve each puzzle. A carefully explained solution follows each problem. In many cases, all that is needed to solve a puzzle is the ability to think logically and clearly, to be "on the alert for surprising, off-beat angles...that strange hidden factor that everyone else had overlooked."Fully illustrated, this engaging collection will appeal to parents and children, amateur mathematicians, scientists, and students alike, and may, as the author writes, make the reader "want to study the subject in earnest" and explains "some of the inviting paths that wind away from the problems into lusher areas of the mathematical jungle." 65 black-and-white illustrations.
Number Freak: From 1 to 200- The Hidden Language of Numbers Revealed
Derrick Niederman - 2009
Includes such gems as:? There are 42 eyes in a deck of cards, and 42 dots on a pair of dice ? In order to fill in a map so that neighboring regions never get the same color, one never needs more than four colors ? Hells Angels use the number 81 in their insignia because the initials H and A are the eighth and first numbers in the alphabet respectively
Turing's Vision: The Birth of Computer Science
Chris Bernhardt - 2016
This groundbreaking and powerful theory now forms the basis of computer science. In Turing's Vision, Chris Bernhardt explains the theory, Turing's most important contribution, for the general reader. Bernhardt argues that the strength of Turing's theory is its simplicity, and that, explained in a straightforward manner, it is eminently understandable by the nonspecialist. As Marvin Minsky writes, -The sheer simplicity of the theory's foundation and extraordinary short path from this foundation to its logical and surprising conclusions give the theory a mathematical beauty that alone guarantees it a permanent place in computer theory.- Bernhardt begins with the foundation and systematically builds to the surprising conclusions. He also views Turing's theory in the context of mathematical history, other views of computation (including those of Alonzo Church), Turing's later work, and the birth of the modern computer.In the paper, -On Computable Numbers, with an Application to the Entscheidungsproblem, - Turing thinks carefully about how humans perform computation, breaking it down into a sequence of steps, and then constructs theoretical machines capable of performing each step. Turing wanted to show that there were problems that were beyond any computer's ability to solve; in particular, he wanted to find a decision problem that he could prove was undecidable. To explain Turing's ideas, Bernhardt examines three well-known decision problems to explore the concept of undecidability; investigates theoretical computing machines, including Turing machines; explains universal machines; and proves that certain problems are undecidable, including Turing's problem concerning computable numbers.
Journey to Mars: What Our Journey To the Red Planet Might Look Like ?
Peter Thiel - 2019
Putting people into places and situations unprecedented in history is stirred the imagination while the human experience was expanding and redefining. Yet, space exploration compels humans to confront a hostile environment of cosmic radiations, radical changes in the gravity and magnetic fields, as well as social isolation. Therefore, any space traveller is submitted to relevant health-related threats. In the twenty-first century, human space flight is poised to continue, but it will enjoy the ongoing developments in science and technology. It will become more networked, more global, and more oriented toward primary goals. A novel international human space flight policy could help achieve these objectives by clarifying the rationale, the ethics of acceptable risk, the role of remote presence, and the need for balance between funding and ambition to justify the risk of human lives. In order to address such a challenge, a preliminary careful survey of the available scientific data is mandatory to set forth adequate countermeasures. Envisaged solutions should provide a sound and technically feasible approach for counteracting microgravity and cosmic rays effects, which represent the main health risk for space crews. This objective must necessarily be sustained by national/international space agencies, which would coordinate their common efforts into a defined international spaceflight program.
Linguistics
H.G. Widdowson - 1996
The author provides a succinct but lucid outline of the ways in which language has been defined, described, and explored, and guides readers towards further exploration of their own.
On Being a Data Skeptic
Cathy O'Neil - 2013
Data is nuanced, and "a really excellent skeptic puts the term 'science' into 'data science.'" The big data revolution shouldn't be dismissed as hype, but current data science tools and models shouldn't be hailed as the end-all-be-all, either."
A Shortcut Through Time: The Path to the Quantum Computer
George Johnson - 2003
Such a device would operate under a different set of physical laws: The laws of quantum mechanics. Johnson gently leads the curious outsider through the surprisingly simple ideas needed to understand this dream, discussing the current state of the revolution, and ultimately assessing the awesome power these machines could have to change our world.
Information Theory, Inference and Learning Algorithms
David J.C. MacKay - 2002
These topics lie at the heart of many exciting areas of contemporary science and engineering - communication, signal processing, data mining, machine learning, pattern recognition, computational neuroscience, bioinformatics, and cryptography. This textbook introduces theory in tandem with applications. Information theory is taught alongside practical communication systems, such as arithmetic coding for data compression and sparse-graph codes for error-correction. A toolbox of inference techniques, including message-passing algorithms, Monte Carlo methods, and variational approximations, are developed alongside applications of these tools to clustering, convolutional codes, independent component analysis, and neural networks. The final part of the book describes the state of the art in error-correcting codes, including low-density parity-check codes, turbo codes, and digital fountain codes -- the twenty-first century standards for satellite communications, disk drives, and data broadcast. Richly illustrated, filled with worked examples and over 400 exercises, some with detailed solutions, David MacKay's groundbreaking book is ideal for self-learning and for undergraduate or graduate courses. Interludes on crosswords, evolution, and sex provide entertainment along the way. In sum, this is a textbook on information, communication, and coding for a new generation of students, and an unparalleled entry point into these subjects for professionals in areas as diverse as computational biology, financial engineering, and machine learning.
The science of secrecy: The secret history of codes and codebreaking
Simon Singh - 1999
This book, which accompanies the major Channel 4 series, brings to life the hidden history of codes and code breaking. Since the birth of writing, there has also been the need for secrecy. The story of codes is the story of the brilliant men and women who used mathematics, linguistics, machines, computers, gut instinct, logic and detective work to encrypt and break these secrect messages and the effect their work has had on history. In each episode of "The Science of Secrecy" Simon Singh tells us a fascinating story from the history of codes: how the course of Crimean War was changed by the cracking of "unbreakable" Vigenere code; how the well-timed cracking of a single encoded telegram altered the course of World War I or how the mysteries of the Rosetta stone were revealed. The programme, and book, also investigates present day concerns about privacy on the internet and public key cryptography and looks to the future and the possibilities that quantum computing will radically change the science of secrecy in the 21st century.
How to Build a Brain and 34 Other Really Interesting Uses of Maths
Richard Elwes - 2010
You'll find out how to unknot your DNA, how to count like a supercomputer and how to become famous for solving mathematics' most challenging problem.
Data Structures Using C++
D.S. Malik - 2003
D.S. Malik is ideal for a one-semester course focused on data structures. Clearly written with the student in mind, this text focuses on Data Structures and includes advanced topics in C++ such as Linked Lists and the Standard Template Library (STL). This student-friendly text features abundant Programming Examples and extensive use of visual diagrams to reinforce difficult topics. Students will find Dr. Malik's use of complete programming code and clear display of syntax, explanation, and example easy to read and conducive to learning.