lair001 / lehman-math-csLinks
Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.
☆44Updated 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)☆176Updated last year
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆70Updated 2 months ago
- Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition☆122Updated 4 months ago
- Unofficial solutions for Introduction to Probability, Second Edition by Joseph Blitzstein and Jessica Hwang.☆124Updated last week
- A curated list of awesome Category Theory resources.☆126Updated 8 months ago
- Solutions to OCaml Programming☆90Updated 2 months ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆124Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆326Updated last year
- CS61 lecture material☆101Updated last month
- Programs for the third edition of the Algorithm Design Manual☆141Updated 3 years ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆255Updated last year
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆78Updated 3 weeks ago
- Reading list for Probability and Statistics☆29Updated 6 months ago
- ☆27Updated 8 years ago
- Lecture notes from Cambridge maths☆72Updated last year
- Solutions to exercises and problems from "Introduction to Algorithms", Fourth Edition by Thomas H. Cormen, Charles E. Leiserson, Ronald L…☆350Updated 5 months ago
- ⚡️ The Elements of Computing Systems 📕☆115Updated 3 years ago
- ☆34Updated 3 years ago
- Info on resources for studying math, stats, CS, etc.☆217Updated 2 years ago
- Practical Discrete Mathematics, published by Packt☆136Updated 2 weeks ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 4 years ago
- List of resources for learning Category Theory☆273Updated last year
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Updated 2 weeks ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- My homework, project and exam answers from Brian Harvey's CS61A: Structure and Interpretation of Computer Programs☆54Updated 3 years ago
- Python and MATLAB code for linear algebra textbook.☆198Updated last year
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Updated last year
- A web-based IDE for https://nand2tetris.org☆189Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆241Updated 9 months ago
- Exercises from the book "Operating systems: Three easy pieces"☆110Updated 5 years ago