lair001 / lehman-math-csLinks
Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.
☆32Updated 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
Sorting:
- Programs for the third edition of the Algorithm Design Manual☆137Updated 3 years ago
- A curated list of awesome Category Theory resources.☆115Updated 2 months ago
- Notes for using Julia while learning calculus☆162Updated last week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆262Updated 6 months ago
- Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition☆100Updated last month
- Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)☆160Updated 9 months ago
- Computer Organization & Systems, taught by Julie Zelenski☆42Updated 5 years ago
- Problem sets completed from HUJI's offering of From NAND to TETRIS - The Elements of Computing Systems, 2017. A complete description for…☆123Updated 6 years ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆56Updated 6 months ago
- "Mathematics is less related to accounting than it is to philosophy." - Leonard Adleman☆35Updated 6 years ago
- Unofficial solutions for Introduction to Probability, Second Edition by Joseph Blitzstein and Jessica Hwang.☆111Updated last month
- CLRS(Introduction to Algorithms) - Python/C++/Java Implementation of all the major Algorithms in the CLRS Textbook as well as additional …☆57Updated 2 years ago
- 💡algorithmsilluminated.org by Tim Roughgarden☆168Updated last year
- Exercises from the book "Operating systems: Three easy pieces"☆87Updated 4 years ago
- Chapter notes and exercise solutions for Reinforcement Learning: An Introduction by Sutton and Barto☆24Updated 3 weeks ago
- Lecture notes from Cambridge maths☆68Updated last year
- Repository to Store my Machine Learning Electronic Sources Including both English and Chinese stuff☆43Updated 7 years ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆112Updated last year
- Info on resources for studying math, stats, CS, etc.☆209Updated 2 years ago
- Repo for Statistical Learning course offered by Stanford University☆50Updated 5 years ago
- Implementations for algorithms from lectures from MIT 6.006☆50Updated 5 years ago
- Website for the textbook Mathematical Methods in Data Science (MMiDS) by Sebastien Roch☆47Updated 3 weeks ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- Source files for https://web.evanchen.cc☆48Updated 2 weeks ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆205Updated 9 months ago
- ☆144Updated last year
- Computer Systems: A Programmer's Perspective – Lab Assignments☆20Updated 8 months ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆65Updated last year
- Solutions to Linear Algebra Done Right by Sheldon Axler, 3rd Edition☆16Updated 2 years ago
- CS50 Brown University☆61Updated 7 years ago