Hey everyone, I'm a sophomore computer science student. As part of the major we have to take some math. I've taken Calc I, II, and I'm currently taking a Discrete Math course. I have to take one more math class, and I think I've narrowed it down to two classes: elementary linear algebra and introduction to mathematical proof. I was just wondering if you knew any applications of linear algebra/ mathematical proof in comp sci. I think linear algebra has importance when talking about graphics, but that's about it.

A speedy response would be appreciated, I have to register tomorrow... I've kinda procrastinated a bit.

Side note: I'm kind of struggling to find applications of discrete math in computer science, Aside from the graph data structure. If you could help me out there too that would be awesome as well.