lair001 / lehman-math-csLinks
Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.
☆39Updated 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)☆172Updated last year
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆65Updated last week
- Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition☆116Updated last month
- Solutions to OCaml Programming☆89Updated 3 weeks ago
- Programs for the third edition of the Algorithm Design Manual☆140Updated 3 years ago
- ⚡️ The Elements of Computing Systems 📕☆114Updated 3 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆308Updated 10 months ago
- Unofficial solutions for Introduction to Probability, Second Edition by Joseph Blitzstein and Jessica Hwang.☆120Updated this week
- ☆31Updated 3 years ago
- My study guide for SICP☆128Updated 5 years ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆121Updated last year
- ☆20Updated 3 years ago
- Info on resources for studying math, stats, CS, etc.☆214Updated 2 years ago
- A web-based IDE for https://nand2tetris.org☆173Updated last month
- The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"☆870Updated last week
- My Solution to Velleman's book☆264Updated 3 weeks ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆250Updated last year
- A curated list of awesome Category Theory resources.☆125Updated 6 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆26Updated 6 months ago
- CS61 lecture material☆100Updated last week
- MIT CS 6.042 opencourseware Fall 2010 problems + solutions☆291Updated 8 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆125Updated 10 months ago
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆16Updated last year
- Collection of MIT owc Courses and some Information about them. Description, prerequisites, link and what they include☆46Updated 3 years ago
- Haskell MOOC University of Helsinki☆402Updated 2 weeks ago
- Study of the Wizard Book.☆72Updated 3 months ago
- Solutions to exercises and problems from "Introduction to Algorithms", Fourth Edition by Thomas H. Cormen, Charles E. Leiserson, Ronald L…☆339Updated 3 months ago
- Exercises and projects for Jane Street's OCaml Workshop☆657Updated 3 years ago
- Problem sets completed from HUJI's offering of From NAND to TETRIS - The Elements of Computing Systems, 2017. A complete description for…☆125Updated 6 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆76Updated last week