lair001 / lehman-math-csLinks
Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.
☆32Updated 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:
- Solutions to OCaml Programming☆85Updated last month
- Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition☆102Updated 2 months ago
- Unofficial solutions for Introduction to Probability, Second Edition by Joseph Blitzstein and Jessica Hwang.☆112Updated last month
- List of resources for learning Category Theory☆262Updated 7 months ago
- The Coursera course Coding the Matrix: Linear Algebra through Computer Science Applications by Philip Klein☆32Updated 10 years ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- Practical Discrete Mathematics, published by Packt☆130Updated 2 months ago
- Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)☆162Updated 10 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆271Updated 7 months ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆58Updated 6 months ago
- Haskell MOOC University of Helsinki☆381Updated 2 months ago
- Info on resources for studying math, stats, CS, etc.☆212Updated 2 years ago
- Exercises from the book "Operating systems: Three easy pieces"☆90Updated 4 years ago
- Want to play around with C but aren't sure where to start? This project template will help.☆101Updated 8 months ago
- ⚡️ The Elements of Computing Systems 📕☆108Updated 2 years ago
- Problem sets completed from HUJI's offering of From NAND to TETRIS - The Elements of Computing Systems, 2017. A complete description for…☆124Updated 6 years ago
- Programs for the third edition of the Algorithm Design Manual☆137Updated 3 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆71Updated last year
- Solutions to exercises and problems from "Introduction to Algorithms", Fourth Edition by Thomas H. Cormen, Charles E. Leiserson, Ronald L…☆319Updated this week
- CS61 lecture material☆98Updated 7 months ago
- Solutions to the problems in the book: Linear Algebra and Learning from Data by Gilbert Strang, MIT☆283Updated 2 years ago
- ☆85Updated 3 years ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆206Updated 10 months ago
- The user home repository for the Mathematics in Lean tutorial.☆383Updated last week
- Solutions to Linear Algebra Done Right, by Sheldon Axler.☆323Updated last month
- ⚡️λ Ghosts in the Shell : Function Composition in a Network of Brains☆85Updated 6 years ago
- ☆43Updated 2 years ago
- A curated list of awesome Category Theory resources.☆116Updated 2 months ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 3 years ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆219Updated 3 months ago