An Investigation of the Laws of Thought
George Boole changed the course of human history with this foundational 1854 masterpiece. Before its publication, logic remained largely unchanged since the era of Aristotle. Boole introduced a mathematical framework that treated logical propositions as algebraic equations. By translating thoughts into symbolic language, he bridged the gap between philosophy and mathematics, creating a system whe…
Shelves
More like this
An Introduction to Functional Programming Through Lambda Calculus
Functional programming is rooted in lambda calculus, which constitutes the worlds smallest programming language. This well-respected text offers a…
The Visual Display of Quantitative Information
The classic book on statistical graphics, charts, tables. Theory and practice in the design of data graphics, 250 illustrations of the best (and a…
The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World
A thought-provoking and wide-ranging exploration of machine learning and the race to build computer intelligences as flexible as our own In the wo…
Pearls of Functional Algorithm Design
Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particula…
Understanding Computation: From Simple Machines to Impossible Programs
Finally, you can learn computation theory and programming language design in an engaging, practical way. Understanding Computation explains theore…
Algorithm Design
Algorithm Design introduces algorithms by looking at the real-world problems that motivate them. The book teaches students a range of design and a…
Discrete Mathematics and its Applications
Discrete Mathematics and its Applications is a focused introduction to the primary themes in a discrete mathematics course, as introduced through …
The Art of Computer Programming, Volumes 1-4A Boxed Set
"The bible of all fundamental algorithms and the work that taught many of today's software developers most of what they know about computer progra…
The Computer and the Brain
With a foreword by Paul M. Churchland and Patricia S. ChurchlandThis book represents the views of one of the greatest mathematicians of the twenti…
Applied Cryptography: Protocols, Algorithms, and Source Code in C
"…the best introduction to cryptography I've ever seen. … The book the National Security Agency wanted never to be published." –Wired Magazine…
Turing's Cathedral: The Origins of the Digital Universe
“It is possible to invent a single machine which can be used to compute any computable sequence,” twenty-four-year-old Alan Turing announced in 19…
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Programming Legend Charles Petzold unlocks the secrets of the extraordinary and prescient 1936 paper by Alan M. Turing Mathematician Alan T…