Formal Foundations of Artificial Intelligence

Catalog description

The language of sets, propositional and predicate logic. Methods of proof including mathematical induction. Linear equations, matrices and Gaussian elimination. Vector spaces, linear independence, basis and dimension. Linear transformations, orthogonality, Gram-Schmidt orthogonalization. Eigenvalues, eigenvectors and diagonalization.