Mathematics for Computer Science
people.csail.mit.edu · 8,268 words · saved by 2 readers
N/A
“mcs” — 2015/5/18 — 1:43 — page i — #1 Mathematics for Computer Science revised Monday 18th May, 2015, 01:43 Eric Lehman Google Inc. F Thomson Leighton Department of Mathematics and the Computer Science and AI Laboratory, Massachussetts Institute of Technology; Akamai Technologies Albert R Meyer Department of…
saved by
related reading
- How To Prove Itia800501.us.archive.org
- HOW TO PROVE IT: A Structured Approach, Second Editionusers.metu.edu.tr
- Intro to Proofs for the Morbidly Curiousweb.evanchen.cc
- The fall of the theorem economydavidbessis.substack.com
- Formalizing Fermat's Last Theoremanthropic.com
- startup review: axiom mathil0vemilktea.substack.com
- Artificial Intelligence Blogartent.net
- Lean Game Serveradam.math.hhu.de
- Gödel's incompleteness theorems - Wikipediaen.wikipedia.org
- Type theory - Wikipediaen.wikipedia.org
- startup review: axiom mathsubstack.com
- The Incredible Proof Machineincredible.pm