by chillpenguin on 5/20/23, 6:57 PM with 16 comments
Here are some things I have already studied:
- Calculus
- Differential, Integral, Sequences and Series, Vector (partial differential equations, gradients, Lagrange multipliers)
- Statistics and Probability basics
- normal distributions, hypothesis testing ("rejecting null hypothesis"), combinations/permutations
- Linear Algebra
- matrices, vector spaces
- Abstract algebra concepts from my studies in Functional Programming
- monads, monoids, higher order functions
- Discrete Structures and other CS stuff
- proof theory, set theory basics, logic, boolean algebra, graph theory
- Computer Science
- Deterministic Finite Automata, Grammars, Turing Machines (and Chomsky hierarchy of languages)
- Fractals, Cellular Automata
- Algorithms and analysis of algorithms
- alternative number system: base 2 number system (binary)
Recommend me something new!by ggr2342 on 5/23/23, 1:48 PM
There is one course on MIT Opencourseware that teaches it: https://ocw.mit.edu/courses/18-098-street-fighting-mathemati...
The book used in the course is also very good. The author is the same as the course instructor Prof Sanjoy Mahajan.
by hnthrowaway0315 on 5/20/23, 11:14 PM
Mathematical Logic also looks interesting, especially from a historical perspective.
Please also check out "Gödel, Escher and Bach" if you haven't done so.
Just a note that studying Mathematics, especially tough topics needs a lot of discipline, time and energy, so be prepared mentally and physically. I don't think it's something one can do one hour daily and accumulate. Without many hours of study the more difficult topics just don't stick.
by AprilPhoenix on 5/21/23, 9:18 AM
Also, if you are interested in more sophisticated ways of capturing quantum physics, geometric algebra is really cool.
by SOTGO on 5/20/23, 7:35 PM
by jay-c on 5/20/23, 11:38 PM
A proof-based linear algebra course would be the next course that is typical in the progression. If you've already done that, then an introductory real analysis course.
If you want something a bit more practical then maybe a probabilistic modeling course? ( think Gaussian mixture models, bayesian networks, plate models).
by AtlasBarfed on 5/21/23, 5:35 AM
by beyondCritics on 5/21/23, 5:40 AM
My personal recommendation would be to cover functional programming from the ground up. I consider the benefits of learning this as enormous for me.
by deterministic on 5/22/23, 4:20 AM
https://softwarefoundations.cis.upenn.edu/
It will not only make you a better software developer (by improving how you think) it will also show you how to prove software correct. And it is fun!
by euix on 5/20/23, 7:11 PM
by rahimnathwani on 5/22/23, 4:58 AM
See page 15 of this PDF for his treatment of eigenvectors: https://linear.axler.net/Eigenvalues.pdf
by bordercases on 5/23/23, 6:12 PM
by jstx1 on 5/21/23, 11:03 AM