The course will give an introduction to theoretical linear algebra.
It's also an excuse to be practicing mathematical proof.