boazbk / tcscode
Supplementary code for Introduction to Theoretical Computer Science book.
☆62Updated last year
Alternatives and similar repositories for tcscode:
Users that are interested in tcscode are comparing it to the libraries listed below
- Jupyter notebooks with some NAND code☆19Updated 6 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆71Updated last year
- Applied Discrete Structures using PreTeXt☆43Updated 3 weeks ago
- Algebra Number Theory book☆48Updated 2 years ago
- An Infinite Descent into Pure Mathematics☆42Updated 4 years ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆218Updated this week
- Book in preparation: introduction to theoretical computer science☆938Updated 11 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated 4 months ago
- A LaTeX template I used for pimbook☆42Updated 4 years ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆70Updated 2 months ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆28Updated 9 months ago
- Tim Button's open textbook on set theory☆32Updated last year
- Lecture notes on Distributed Computing that are publicly accessible.☆64Updated 3 years ago
- A Literate Program about Data Structures and Object-Oriented Programming☆245Updated 9 months ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated last year
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Elementary Number Theory: Primes, Congruences, and Secrets☆108Updated last year
- Adding a table of contents to Specifying Systems, TLA+.pdf☆65Updated 7 years ago
- ☆18Updated 5 months ago
- P.D. Magnus' forallx logic textbook☆64Updated last year
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- Lecture notes from Cambridge maths☆65Updated last year
- Support for for students (Python)☆59Updated 2 months ago
- ☆18Updated 4 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Open-source number theory textbook☆57Updated 6 months ago
- A collection of open source math notes.☆30Updated 6 months ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆159Updated last year
- Programs for the third edition of the Algorithm Design Manual☆133Updated 2 years ago