Difference between revision 7 and current revision
No diff available.Material already "learned" in class that should be reviewed (this has first priority because the reward per unit time is better since I already half understand this stuff):
Name | Description | Status | Notes | ||||||
Vaughn Pratt stuff: algebraic logic | i read a little bit on airplanes, etc | CS353 handouts chapters 1-3 | |||||||
Vaughn Pratt stuff: category theory | Graphs with paths. Also, a very general framework for universal algebra | i read a little bit on airplanes, etc | CS353 handout, chapter 4 | ||||||
Vaughn Pratt stuff: Chu spaces | i don't understand them intuitively yet, but anything Vaugn likes must be cool | not started | CS353 Chu Space quarter class notes, also http://chu.stanford.edu/guide.html | ||||||
Chuck's physics book | The mathematics of modern physics in one concise package | on first chapter | |||||||
Review linear algebra | not started | ||||||||
harvard's intro math courses | \ http://www.math.harvard.edu/~ctm/home/text/class/harvard/55a/08/html/index.html http://www.math.harvard.edu/~ctm/home/text/class/harvard/55b/09/html/index.html https://www.google.com/search?client=ubuntu&channel=fs&q=harvard+55a+55b&ie=utf-8&oe=utf-8 | ||||||||
Review modern algebra | not started | ||||||||
(Re)read Enderton | in middle of book | ||||||||
Review linear systems theory and intro control theory | not started | ||||||||
Review the reader from graduate linear systems class | not started | ||||||||
Review statistical signal processing | not started | ||||||||
Read Basic Category Theory for Computer Scientists by Pierce | not started | ||||||||
Mine that combinatorics paper | Learn the details of the stuff in https://www.dpmms.cam.ac.uk/~wtg10/2cultures.pdf | read the paper once |
New material:
Name | Description | Status | Notes | ||||||
Differential geometry | not started | Need to learn in order to understand grandfather's thesis! | |||||||
Algebraic geometry | not started | ||||||||
Differential topology | not started | ||||||||
Algebraic topology | not started | ||||||||
Set theory and transfinite stuff | not started | ||||||||
Statistics | not started | ||||||||
Grandy's thesis | Learn enough math to understand my grandfather's thesis | not started | "Homothetic Correspondences Between Riemannian Spaces" by E. Baylis Shanks | ||||||
cohomology | Learn about cohomology (and homology and homotopy to boot) | not started | |||||||
homotopy type theory | http://homotopytypetheory.org/book/ | not started | |||||||
network science, extremal properties of graph metrics | http://thesis.library.caltech.edu/6749/1/DionysiosBarmpoutis-PhDThesis.pdf | not started | |||||||
game theory | not started |
the books that chuck recommended