計算機專業，數學類學科定理的證明要掌握到什麼程度?

現在是大一下學期，學的課程有高數下，離散數學，線性代數。可能是有時候上課沒認真聽的原因，有些定理（尤其是離散數學裡的），學過之後再自己證明好難，書上的思路有的忘記了或者根本沒記住，自己想思路感覺想不出來。

如果是為了找一份工作的話，你可以完全不會證明，只要會利用結果就好了。而且你甚至不需要自己去學習如何利用結果，你只要知道你該用哪個，如何利用這件事情也已經是現成的了。

同意樓上看法 這個要看個人追求

目的是找一份好的工作， 絕大部分數理證明都可以忽略。

目的是搞科研，或者搞ACM競賽， 很多證明和數學技巧都是要學的。

看樓主學的課程，猜測樓主應該是CS專業而不是軟體工程，既然是計算機科學，很多理論知識是不能輕易忽略的。

題主有興趣的話 可以不僅僅局限在《離散數學》《線性代數》《數學分析》這些教材上。

《具體數學》《組合數學》《近世代數》《初等數論》讀來都感覺大有收穫。

我覺得也看個人追求…

讀本科的時候我也只是為了考試拿高分才好好學，但是讀研之後，為了理解一個演算法我會好好地摳公式，推導每一步。

在這個過程中就發現了需要用到很多數學的知識。我覺得還是要結合研究方向來學。