Lecture notes
Handwritten Lecture Notes Digital Systems, Linear Algebra, Introduction to Formal Proof (A10101W1)
- Institution
- Oxford University (OX)
Prof. Alan Lauder The core of linear algebra comprises the theory of linear equations in many variables, the theory of matrices and determinants, and the theory of vector spaces and linear maps. All these topics were introduced in the Prelims course. Here they are developed further to provide the t...
[Show more]