Homotopy Type Theory
Homotopy Type Theory presents a landmark synthesis of abstract algebra, topology, and computer science. Written by a collaborative team at the Institute for Advanced Study, this work introduces a new framework for mathematical reasoning that bridges the gap between human intuition and machine verification. It moves beyond traditional set theory by treating types as spaces and equalities as paths,…
Shelves
More like this
The Code Book: The Science of Secrecy from Ancient Egypt to Quantum Cryptography
In his first book since the bestselling Fermat’s Enigma, Simon Singh offers the first sweeping history of encryption, tracing its evolution and re…
Mathematics for 3D Game Programming and Computer Graphics, Third Edition
This updated third edition illustrates the mathematical concepts that a game developer needs to develop 3D computer graphics and game engines at t…
Concrete Mathematics: A Foundation for Computer Science
Concrete Mathematics is a blending of CONtinuous and disCRETE mathematics. "More concretely," the authors explain, "it is the controlled manipulat…
Let Over Lambda
Let Over Lambda is one of the most hardcore computer programming books out there. Starting with the fundamentals, it describes the most advanced f…
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 Book of Why: The New Science of Cause and Effect
A Turing Award-winning computer scientist and statistician shows how understanding causality has revolutionized science and will revolutionize art…
The New Turing Omnibus: 66 Excursions In Computer Science
No other volume provides as broad, as thorough, or as accessible an introduction to the realm of computers as A. K. Dewdney's The Turing Omnibus.<…
Information Theory, Inference, and Learning Algorithms
Information theory and inference, often taught separately, are here united in one entertaining textbook. These topics lie at the heart of many exc…
Gödel, Escher, Bach: An Eternal Golden Braid
Douglas Hofstadter's book is concerned directly with the nature of “maps” or links between formal systems. However, according to Hofstadter, the f…
Introduction to Automata Theory, Languages, and Computation
It has been more than 20 years since this classic book on formal languages, automata theory, and computational complexity was first published. Wit…
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…
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…