This course aims to cover the basic tools of linear algebra, and provides a rigorous theoretical treatment of the subject while at the same time addressing issues of computational aspects. This includes a thorough study of linear transformations and the theory of matrices. These concepts are crucial to many theoretical and practical applications of linear algebra.