Scarlehh / Discrete_Math_Notes
First Semester Discrete Mathematics lectures typed in LaTeX in note form for Second Year Trinity College students.
☆32Updated 7 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
- Solutions to Algebra, by Michael Artin.☆34Updated 8 years ago
- An Infinite Descent into Pure Mathematics☆42Updated 4 years ago
- Course on Machine Learning with Applications in Media Engineering☆36Updated 6 years ago
- The lecture notes for my discrete mathematics classes.☆18Updated last year
- Latex notes on papers, courses, ideas: Pure math and computer science.☆60Updated last year
- Lecture notes from Cambridge maths☆66Updated last year
- Examination preparation material for Computer Science students at Trinity College Dublin.☆53Updated 3 weeks ago
- A CLI client in Rust to access the reverse-engineered LumiNUS API☆27Updated 3 years ago
- Repository for the QED interactive text and possible extensions☆96Updated 2 months ago
- CS341 for Spring 2024☆10Updated 8 months ago
- Lean Theorem Prover plugin for Vim.☆16Updated 3 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆62Updated last year
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆21Updated 3 years ago
- Student-run wiki for students interested in computer science at Cornell University☆92Updated last year
- A sample mathematics paper to illustrate basic ideas in LaTeX☆11Updated 8 months ago
- My typed-up math lecture notes☆15Updated 2 years ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- Tools for estimating problem difficulty, predictors rating trajectories, and tracking individual learning progress in algorithms.☆65Updated 6 years ago
- ☆229Updated 8 months ago
- A compilation of lecture notes☆15Updated 5 years ago
- A database app for ring theory☆21Updated last month
- CS61 section material☆25Updated 5 months ago
- My Waterloo course notes.☆10Updated 8 years ago
- LaTeX notes for a few courses I've taken at the University of Waterloo.☆50Updated 7 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- 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
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated last month
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆59Updated last year
- Solutions for various contest CCC, CCO, IOI .etc.☆26Updated 2 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆29Updated last year