lair001 / lehman-math-cs
Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.
☆26Updated 2 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
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆50Updated 3 months ago
- This is the repository for PLP, An introduction to mathematical proof, book☆15Updated 8 months ago
- Solutions to OCaml Programming☆79Updated 7 months ago
- Programs for the third edition of the Algorithm Design Manual☆135Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆23Updated 2 weeks ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆159Updated last year
- Notes for using Julia while learning calculus☆158Updated 2 months ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆62Updated last year
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆61Updated 7 months ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆36Updated last year
- A curated list of awesome Category Theory resources.☆113Updated last year
- CS341 for Spring 2024☆10Updated 8 months ago
- CS61 lecture material☆97Updated 3 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆203Updated last week
- ☆82Updated 3 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆233Updated 3 months ago
- The user home repository for the Mathematics in Lean tutorial.☆313Updated 3 weeks ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)☆152Updated 6 months ago
- Classwork from MIT's course 6.009 Fundamentals of Programming☆17Updated 5 years ago
- My study guide for SICP☆125Updated 4 years ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆107Updated last year
- Introduction to Computation and Programming Using Python☆175Updated 4 years ago
- Website for Dynamic Programming TextBook☆55Updated 3 months ago
- Basic Analysis, undergraduate real analysis textbook☆71Updated last month
- Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition☆98Updated 2 weeks ago
- Lecture notes from Cambridge maths☆66Updated last year
- Reading list for Probability and Statistics☆27Updated 2 years ago
- Computer Science☆127Updated 3 months ago
- Unofficial solutions for Introduction to Probability, Second Edition by Joseph Blitzstein and Jessica Hwang.☆104Updated last week