lair001 / lehman-math-cs
Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.
☆26Updated 2 years ago
Alternatives and similar repositories for lehman-math-cs:
Users that are interested in lehman-math-cs are comparing it to the libraries listed below
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆51Updated 4 months ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆109Updated last year
- Solutions to OCaml Programming☆80Updated 8 months ago
- Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)☆156Updated 7 months ago
- Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition☆100Updated last month
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆66Updated last year
- https://learnaifromscratch.github.io/☆11Updated 2 weeks ago
- Programs for the third edition of the Algorithm Design Manual☆136Updated 2 years ago
- Unofficial solutions for Introduction to Probability, Second Edition by Joseph Blitzstein and Jessica Hwang.☆104Updated 3 weeks ago
- Lecture notes from Cambridge maths☆66Updated last year
- CLRS(Introduction to Algorithms) - Python/C++/Java Implementation of all the major Algorithms in the CLRS Textbook as well as additional …☆55Updated last year
- Exercises from the book "Operating systems: Three easy pieces"☆74Updated 4 years ago
- ⚡️ The Elements of Computing Systems 📕☆101Updated 2 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆239Updated 4 months ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Solutions to exercises and problems from "Introduction to Algorithms", Fourth Edition by Thomas H. Cormen, Charles E. Leiserson, Ronald L…☆312Updated last month
- Abstract thinking patterns and problem decomposition / solving strategies☆33Updated 2 weeks ago
- The Coursera course Coding the Matrix: Linear Algebra through Computer Science Applications by Philip Klein☆32Updated 9 years ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated 8 months ago
- The user home repository for the Mathematics in Lean tutorial.☆325Updated 2 weeks ago
- A complete collection of my undergraduate notes☆34Updated 2 years ago
- Notes on CMU Intro to Computer Systems☆32Updated 2 years ago
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆83Updated 2 years ago
- Computer Systems: A Programmer's Perspective – Lab Assignments☆18Updated 6 months ago
- This is the repository for PLP, An introduction to mathematical proof, book☆16Updated 9 months ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆99Updated last year
- My Solution to Velleman's book☆253Updated 4 months ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆46Updated 10 months ago
- Descriptions and python solutions to all leetcode problems in a single 1985-page pdf☆40Updated 4 years ago
- 💡algorithmsilluminated.org by Tim Roughgarden☆164Updated last year