ystael / chicago-ug-math-bibLinks
Chicago undergraduate mathematics bibliography
☆723Updated 6 years ago
Alternatives and similar repositories for chicago-ug-math-bib
Users that are interested in chicago-ug-math-bib are comparing it to the libraries listed below
Sorting:
- SICP in Guile & Emacs Lisp☆704Updated 3 years ago
- My Solution to Velleman's book☆258Updated 7 months ago
- The transcript of a Donald Knuth interview in 2006☆227Updated 8 years ago
- A Modern CompSci Curriculum☆302Updated last week
- An open-source, customizable intermediate logic textbook☆1,181Updated 2 weeks ago
- Info on resources for studying math, stats, CS, etc.☆212Updated 2 years ago
- Book in preparation: introduction to theoretical computer science☆970Updated last year
- Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.☆1,125Updated 8 months ago
- Collection of quotes on notation design & how it affects thought.☆1,888Updated 4 years ago
- Notes for courses taken at Harvard (2015--2019)☆475Updated 6 years ago
- ☆343Updated 7 years ago
- Public repository for Abstact Algebra Theory and Applications☆172Updated last month
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆622Updated 4 years ago
- My personal notes on various computer languages☆223Updated 4 years ago
- Interactive Structure and Interpretation of Computer Programs☆1,160Updated 5 years ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆260Updated last month
- A collection of resources for learning type theory and type theory adjacent fields.☆2,326Updated 3 months ago
- Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete imple…☆1,240Updated 3 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆109Updated last year
- Blog post previews in need of peer review☆2,200Updated 2 years ago
- My study guide for SICP☆127Updated 5 years ago
- Labs for the Foundations of Applied Mathematics curriculum.☆223Updated 8 months ago
- SICP Course☆229Updated 4 years ago
- An Infinitely Large Napkin☆1,553Updated 3 weeks ago
- Math & CS Awesome List, distinguished by proof and logic and technique☆929Updated last week
- ☆147Updated last week
- papers of Per Martin Löf☆795Updated last year
- Resources for learning Category Theory for an enthusiast☆632Updated 2 years ago
- Domain-Specific Languages of Mathematics☆441Updated 4 months ago
- An intuitive and visual guide to understanding Maxwell's equations.☆795Updated 5 years ago