lair001 / lehman-math-csLinks
Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.
☆30Updated 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
Sorting:
- Practical Discrete Mathematics, published by Packt☆130Updated 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)☆158Updated 9 months ago
- Solutions to some exercises from Walter Rudin's Functional Analysis☆16Updated 2 months ago
- Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition☆100Updated 3 weeks ago
- Lecture notes from Cambridge maths☆69Updated last year
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆67Updated last year
- Computer Systems: A Programmer's Perspective – Lab Assignments☆20Updated 7 months ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆89Updated 2 years ago
- The user home repository for the Mathematics in Lean tutorial.☆359Updated this week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Programs for the third edition of the Algorithm Design Manual☆137Updated 3 years ago
- Source code for supplementary resources to accompany lectures☆25Updated last month
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆113Updated last year
- My typed-up math lecture notes☆16Updated 2 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆254Updated 5 months ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Supplementary code for Introduction to Theoretical Computer Science book.☆65Updated last year
- Unofficial solutions for Introduction to Probability, Second Edition by Joseph Blitzstein and Jessica Hwang.☆108Updated last week
- data sets and other files used in Statistics Playbook☆11Updated last year
- Hands-On Genetic Algorithms with Python, Second Edition, published by Packt☆37Updated 3 weeks ago
- Info on resources for studying math, stats, CS, etc.☆208Updated last year
- ⚡️ The Elements of Computing Systems 📕☆103Updated 2 years ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆217Updated 2 months ago
- Source code for the Mathematics in Lean tutorial.☆148Updated this week
- ☆143Updated 6 years ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆54Updated 5 months ago
- My solutions to the problems in Fifty Challenging Problems in Probability by Frederick Mosteller☆239Updated 6 years ago
- List of resources for learning Category Theory☆255Updated 6 months ago
- Server to host lean games.☆269Updated last week