lair001 / lehman-math-csLinks
Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.
☆38Updated 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:
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆62Updated last month
- Solutions to OCaml Programming☆89Updated last month
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆303Updated 9 months 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 Susanna Epp's Discrete Mathematics book, 5th Edition☆115Updated last month
- My Solution to Velleman's book☆261Updated this week
- Python and MATLAB code for linear algebra textbook.☆191Updated last year
- Info on resources for studying math, stats, CS, etc.☆213Updated 2 years ago
- Practical Discrete Mathematics, published by Packt☆133Updated last month
- Lecture notes from Cambridge maths☆71Updated last year
- Code that accompanies the book "Linear Algebra for Data Science"☆371Updated last year
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆121Updated last year
- The user home repository for the Mathematics in Lean tutorial.☆417Updated last month
- Programs for the third edition of the Algorithm Design Manual☆140Updated 3 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆76Updated 2 months ago
- Haskell MOOC University of Helsinki☆398Updated last week
- Website for the textbook Mathematical Methods in Data Science (MMiDS) by Sebastien Roch☆59Updated 2 weeks ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- Unofficial solutions for Introduction to Probability, Second Edition by Joseph Blitzstein and Jessica Hwang.☆117Updated 3 weeks ago
- Basic Analysis, undergraduate real analysis textbook☆81Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆230Updated 6 months ago
- A curated list of awesome Category Theory resources.☆123Updated 5 months ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆247Updated last year
- Solutions to Linear Algebra Done Right, by Sheldon Axler.☆361Updated 4 months ago
- The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"☆867Updated last month
- The Dao of Functional Programming☆483Updated last month
- ☆20Updated 3 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated 11 months ago
- Introduction to Computation and Programming Using Python☆203Updated 4 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Updated last year