lair001 / lehman-math-csLinks
Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.
☆40Updated 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☆119Updated 2 months ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆67Updated 3 weeks ago
- Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)☆171Updated last year
- Solutions to OCaml Programming☆90Updated last month
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆314Updated 11 months ago
- Haskell MOOC University of Helsinki☆408Updated this week
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆121Updated last year
- Info on resources for studying math, stats, CS, etc.☆214Updated 2 years ago
- A curated list of awesome Category Theory resources.☆126Updated 6 months ago
- ☆33Updated 3 years ago
- A web-based IDE for https://nand2tetris.org☆176Updated last month
- The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"☆876Updated this week
- Want to play around with C but aren't sure where to start? This project template will help.☆106Updated last year
- Abstract thinking patterns and problem decomposition / solving strategies☆53Updated 4 months ago
- Unofficial solutions for Introduction to Probability, Second Edition by Joseph Blitzstein and Jessica Hwang.☆120Updated 3 weeks ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆250Updated last year
- ⚡️λ Ghosts in the Shell : Function Composition in a Network of Brains☆93Updated 7 years ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- Practical Discrete Mathematics, published by Packt☆135Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆239Updated 7 months ago
- ⚡️ The Elements of Computing Systems 📕☆114Updated 3 years ago
- Lecture notes from Cambridge maths☆71Updated last year
- My homework, project and exam answers from Brian Harvey's CS61A: Structure and Interpretation of Computer Programs☆53Updated 3 years ago
- Reviewing some online CS courses I took☆334Updated 8 months ago
- CS50 Brown University☆62Updated 7 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆655Updated 3 years ago
- A Literate Program about Data Structures and Object-Oriented Programming☆285Updated last year
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆129Updated 10 months ago
- Collection of MIT owc Courses and some Information about them. Description, prerequisites, link and what they include☆47Updated 3 years ago
- Software Foundations☆145Updated last year