Scarlehh / Discrete_Math_NotesLinks
First Semester Discrete Mathematics lectures typed in LaTeX in note form for Second Year Trinity College students.
☆32Updated 8 years ago
Alternatives and similar repositories for Discrete_Math_Notes
Users that are interested in Discrete_Math_Notes are comparing it to the libraries listed below
Sorting:
- Latex notes on papers, courses, ideas: Pure math and computer science.☆64Updated 2 years ago
- Notes from various courses at the University of Waterloo.☆90Updated 6 years ago
- My Solution to Velleman's book☆264Updated last month
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆58Updated 8 months ago
- Let's translate works of Grothendieck☆30Updated 6 years ago
- Solutions to Algebra, by Michael Artin.☆35Updated 8 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆68Updated last year
- A community database for the problems on the erdosproblems.com site☆101Updated this week
- Open-source number theory textbook☆61Updated last year
- Study of language design and implementation.☆66Updated 5 years ago
- Discrete Mathematics☆256Updated 2 years ago
- Olympiad problem database☆53Updated 3 weeks ago
- A sample mathematics paper to illustrate basic ideas in LaTeX☆11Updated last year
- Applied Discrete Structures using PreTeXt☆45Updated last week
- Princeton University COS 461: Computer Networks☆188Updated 3 years ago
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆22Updated 3 years ago
- Repository for the QED interactive text and possible extensions☆106Updated 9 months ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆265Updated last week
- MOVING to: https://ourbigbook.com Mission: live in a world where you can learn university-level mathematics, physics, chemistry, biology …☆130Updated last year
- ☆151Updated last week
- The WIP book for CPSC 411☆66Updated 4 months ago
- Lecture notes and code from class☆16Updated 8 years ago
- Public repository for Abstact Algebra Theory and Applications☆174Updated 2 months ago
- My lecture notes for all semesters spent studying CS at EPFL. Enjoy the read and feel free to approach me for corrections.☆151Updated 4 years ago
- Student-run wiki for students interested in computer science at Cornell University☆97Updated 2 years ago
- HackerRank, Codeforces, Geeks for Geeks, and LeetCode problem solutions☆110Updated 5 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 4 months 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
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago
- Short essays I've written☆79Updated last year