This list reflects my interests academically. A quick glance would show you that my
interests are rather scattered and seem random, I would have to agree!
A Lot of these books I have worked through in full, some partially, and some serve
to remind me to read/look_at because someone way smarter than me recommended it...
I hope you will find in these books what I have.
Cheers
- Noah
Last edit was made on wednesday, May 5th, at 23:10
SEARCH TAG INDEX
[INTRO] := Any book I deem to be intro material, this is a good place to start!
[LA] := Linear Algebra
[FOUND] := Foundations x Logic
[ANAL] := All things ANALysis, FA, R, C
[TOP] := Topology
[MT] := Measure Theory
[ALG] := General Algebra books
[DES] := PDEs x ODEs
[DFGEO] := Differential geometry
[NANAL] := Numerical methods stuff
[QM] := Quantum
[NT] := All things Number Theory, Anal, Alg, Elementary
[ML] := Machine Learning, Deep Learning, Stats Stuff
[TCS] := Theoretical Computer Science
[CT] := Category Theory
[COMBI] := Combinatorics
[GT] := Galois Theory
[ALGGEO] := Algebraic Geometry
[MPHYS] := Mathematicl Physics
[RINGT] := Ring Theory
[REPT] := Representation Theory
[GRAPH] := Graph Theory
Use the above tags to search.
Book of proof. Hammack
Open Logic Project: Forall x: Calgary
Open Logic Project: Sets, Logic, Computation
Open Logic Project: Incompleteness and Computability
How to Prove it. Velleman
Linear Algebra. Friedberg
Linear Algebra. Axler
Naive Set Theory. Paul Halmos
Principles of Mathematical Analysis. Rudin
Understanding Analysis. Abbott
Real analysis. Carothers
Topology. Munkres
Measure Theory. Cohn
Abstract Algebra. Dummit and Foote
A Book of Abstract Algebra. Pinter
Ordinary Differential Equations. Tenenbaum
Differential geometry of curves and surfaces. do Carmo
From Vector Spaces to Function Spaces. Yamamoto
Functional analysis. Conway
Scientific Computing, An Introductory Survey. Michael T. Heath
Measure, Integration & Real Analysis. Axler
Measure Theory and Integration. Michael E. Taylor
Quantum physics. Stephen Gasiorowicz
A Classical Introduction to Modern Number Theory. Kenneth Ireland and Michael Rosen
The Elements of Statistical Learning. Trevor Hastie , Robert Tibshirani , Jerome Friedman
Concrete Mathematics. Donald Knuth, Oren Patashnik, and Ronald Graham
A mathematical introduction to logic. Herbert Enderton
Category Theory in Context. Emily Riehl
Algebra: Chapter 0. Paolo Aluffi
Algebra. Serge Lang
Partial differential equations. Lawrence C. Evans
A Course in Enumeration. Martin Aigner
Galois Theory. Escofier
Galois Theory. Edwards
Introduction to the Theory of Computation. Michael Sipser
Computational Complexity: A Modern Approach. Barak and Arora
Elliptic Partial Differential Equations of Second Order. Gilbarg and Trudinger
Structure and Interpretation of Computer Programs (SICP)
Introduction to Algorithms (CLRS)
Algorithm Design. Kleinberg and Tardos
Compilers: Principles, Techniques, and Tools (Dragon book)
Types and Programming Languages. Pierce
Computational Complexity. Goldreich
Analytic Combinatorics. Flajolet and Sedgewick
Introduction to Compilers and Language Design. Thain
Deep Learning Architectures. Calin
Typed Lambda Calculus / Calculus of Constructions. Brandl
Type Theory and Formal Proof An Introduction. Geuvers and Nederpelt
Category Theory. Awodey
Haskell: the Craft of Functional Programming. Thompson
Lambda-Calculus and Combinators: An Introduction. Hindley and Seldin
The geometry of schemes. Eisenbud
Lectures on the Curry-Howard Isomorphism. Sorensen and Urzyczyn
Introduction to Smooth Manifolds. Lee
Basic Abstract Algebra: For Graduate Students and Advanced Undergraduates. Ash
Topoi: The Categorial Analysis of logic. Goldblatt
Computability Theory. Cooper
Model Theory : An Introduction. Marker
Set Theory: An Introduction to Independence Proofs. Kunen
Algorithmic Randomness and Complexity. Hirschfeldt and Downey
Recursively Enumerable Sets and Degrees. Soare
Homotopy Type Theory: Univalent Foundations of Mathematics
Introduction to Analytic Number Theory. Apostol
Basic Category Theory for Computer Scientists. Pierce
Categorical Logic and Type Theory. Jacobs
Proof Theory and Logical Complexity. Girard
Partial Differential Equations. Mikhailov
Partial Differential Equations. Wloka
An Introduction to Partial Differential Equations. Renardy and Rogers
Partial Differential Equations (All volumes). Taylor
A First Course in Partial Differential Equations. Weinberger
Differential Equations with Applications and Historical Notes. Simmons
Elements of Partial Differential Equations. Sneddon
Partial Differential Equations: An Introduction. W.Strauss
Introduction to Partial Differential Equations with Applications. Thoe and Zachmanoglou
Partial Differential Equations. Hillen, Leonard and Roessel
Logic Matters project (Peter Smith)
Category Theory I: Notes towards a gentle introduction
Category Theory II: More notes towards a gentle introduction.
Godel Without (Too Many) Tears
An Introduction to Godel’s Theorems
Beginning Mathematical Logic
An Introduction to Formal Logic
Quantum Computation and Quantum Information. Chuang and Nielsen A.K.A (Mike and Ike Book)
Quantum Computer Science: An Introduction. Mermin
Representation Theory: A First Course. Fulton and Harris
Mathematical Methods of Classical Mechanics. Arnold
Differential Topology. Hirsch
A First Course In Noncommutative Rings. Lam
Introduction to Representation Theory. Etingof
Group Theory and Physics. Sternberg
Linear Representations of Finite Groups. Serre
Representation Theory of Finite Groups. Steinberg
Quantum theory for mathematicians. Hall
Mechanics. Landau-Lifschitz
Quantum Mechanics. Landau-Lifschitz
The Symmetric Group Representations Combinatorial Algorithms Symmetric Functions. Sagan
Representation Theory of Finite Groups. Martin
Representation and characters of groups. James Liebeck
Matrix Groups for Undergraduates. Kristopher
Groups and Representations. Alperin Bell
Modern Compiler Implementation in C. Appel (Plz dont use the shit Java version...)
Automata and Computability. Kozen
Introduction to Automata Theory, Languages and Computation. Ullman and Hopcroft (Buy the older version, the newer copies are watered down for undegrads...)
A Second Course in Formal Languages and Automata Theory. Shallit
Expander Families and Cayley Graphs. Krebs and Shaheen