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 Susanna Epp's Discrete Mathematics book, 5th Edition☆126Updated 2 weeks ago
- Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)☆180Updated last year
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆71Updated 3 weeks ago
- ☆35Updated 3 years ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆126Updated last year
- Solutions to OCaml Programming☆91Updated 3 weeks ago
- A curated list of awesome Category Theory resources.☆128Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆329Updated last year
- Abstract thinking patterns and problem decomposition / solving strategies☆55Updated 7 months ago
- Info on resources for studying math, stats, CS, etc.☆217Updated 2 years ago
- Haskell MOOC University of Helsinki☆438Updated 2 weeks ago
- Unofficial solutions for Introduction to Probability, Second Edition by Joseph Blitzstein and Jessica Hwang.☆127Updated last month
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆79Updated 2 weeks ago
- Practical Discrete Mathematics, published by Packt☆137Updated last month
- ⚡️ The Elements of Computing Systems 📕☆117Updated 3 years ago
- "Mathematics is less related to accounting than it is to philosophy." - Leonard Adleman☆42Updated 6 years ago
- Programs for the third edition of the Algorithm Design Manual☆144Updated 3 years ago
- My Solution to Velleman's book☆266Updated 3 months ago
- Test cases for Writing a C Compiler☆349Updated last month
- Solutions to exercises and problems from "Introduction to Algorithms", Fourth Edition by Thomas H. Cormen, Charles E. Leiserson, Ronald L…☆352Updated 6 months ago
- A web-based IDE for https://nand2tetris.org☆194Updated 3 weeks ago
- CS50 Brown University☆67Updated 7 years ago
- Lecture notes from Cambridge maths☆72Updated last year
- Reviewing some online CS courses I took☆341Updated last month
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"☆895Updated 2 weeks ago
- Math & Physics Books☆158Updated 6 years ago
- MIT CS 6.042 opencourseware Fall 2010 problems + solutions☆296Updated 8 years ago
- The user home repository for the Mathematics in Lean tutorial.☆461Updated 5 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Updated last year