lair001 / lehman-math-csLinks
Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.
☆43Updated 3 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:
- Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)☆175Updated last year
- Solutions to OCaml Programming☆90Updated 2 months ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆69Updated last month
- CLRS(Introduction to Algorithms) - Python/C++/Java Implementation of all the major Algorithms in the CLRS Textbook as well as additional …☆70Updated 2 years ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆123Updated last year
- Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition☆121Updated 3 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆319Updated last year
- Info on resources for studying math, stats, CS, etc.☆214Updated 2 years ago
- MIT CS 6.042 opencourseware Fall 2010 problems + solutions☆291Updated 8 years ago
- Haskell MOOC University of Helsinki☆419Updated last month
- ⚡️ The Elements of Computing Systems 📕☆115Updated 3 years ago
- CS50 Brown University☆64Updated 7 years ago
- The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"☆884Updated 3 weeks ago
- A curated list of awesome Category Theory resources.☆126Updated 7 months ago
- ☆33Updated 3 years ago
- Programs for the third edition of the Algorithm Design Manual☆141Updated 3 years ago
- CS341 for Spring 2024☆11Updated last year
- A Literate Program about Data Structures and Object-Oriented Programming☆288Updated last year
- Math & Physics Books☆153Updated 6 years ago
- A web-based IDE for https://nand2tetris.org☆183Updated this week
- Practical Discrete Mathematics, published by Packt☆136Updated last month
- Solutions to exercises and problems from "Introduction to Algorithms", Fourth Edition by Thomas H. Cormen, Charles E. Leiserson, Ronald L…☆347Updated 5 months ago
- Reviewing some online CS courses I took☆335Updated this week
- Exercises and projects for Jane Street's OCaml Workshop☆662Updated 3 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆130Updated 11 months ago
- Solutions to Linear Algebra Done Right, by Sheldon Axler.☆376Updated 6 months ago
- Berkeley cs61a Spring 2011 Computer Science Course☆121Updated 6 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆76Updated last week
- A detailed guide to the xv6 code.☆305Updated 2 years ago
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆58Updated 2 weeks ago