Comment by jaredlwong

18.06 is the very basic, more applied version of linear algebra at MIT. About half of the students that take it aren't in the math department. The more theoretical option is 18.700. And then there's 18.701, Algebra 1, taught by Artin using his book. The latter two are almost completely theoretical/proof based.