This course is an in-depth study of mathematical proofs and linear algebra. Topics will include specific skills and abstract approaches for mathematical proofs, and basic computational techniques, practical applications and theoretical results of linear algebra.