1樓：風無名
如果你想要去學理論電腦科學，就需要並且必須學好數理邏輯。
如果只是去工業界搬磚，確實不需要學數理邏輯。畢竟不是每乙個人都需要學習相對論、量子力學與Godel不完備定理的。
2樓：
沒有必要專門學，因為其本身就是非常有意思需要專門回顧和發展的基礎學科；出於為了提高計算機應用的技巧而專門去學是捨近求遠的，但為了理解計算的思想本質而付出時間系統學卻是值得的。但究竟需要學到什麼程度呢？了解些入門的知識也是學呀，可深入就跟自己的信念和期許有關了。
3樓：
要學，但不是重點。
計算理論是電腦科學的必修基礎課。裡面很大篇幅就是講形式邏輯和數理邏輯的。找一本好的計算理論教材，好好學透，你會發現。。。你好像變聰明了一點點。
上世紀人工智慧符號主義盛行時期，人們認為智慧型就是邏輯推理能力，當時學界搞出了很多黑科技。比較老的人工智慧教材比如陸汝鈐老先生的教材，外國的paradigm of artificial intelligence還有很大篇幅是講這個的。但是後面幾次ai寒冬揭示了這條路走不通，現在人工智慧的前沿是統計學習。
雖然符號主義風光不再，個人很喜歡符號邏輯。函式式程式設計，自動推理機等都是那個輝煌時代的神奇造物。你從wolfram mathematica,lisp系語言上還能一睹大神們的風采。
形式邏輯和數理邏輯本身還是很有意思的，都是能讓人變理性變聰明的學問。
為什麼數學專業要學計算機？
Yanx 應該不怎麼涉及硬體 只有軟體層面吧 程式設計是一種思想，一種嚴謹的富有邏輯性的思想和數學是相輔相成的 而且很多問題都要用到計算機輔助啊 求乙個微分方程到數值解 迭代五六次還能手算 五六十次的呢 對於本科階段 用計算機去印證所學所想，對學習更有幫助 更何況作為理工科的學生 C語言很難嗎 私以...
為什麼大學計算機專業要學高數？
心臟跳動 數學對計算機意義重大 計算機計算功能本質原理是數學，沒有數學知識就沒有計算機。作為計算機普通使用者來講，一直享受軟體應用帶來的方便，但一般沒有去思考如何實現。計算機所形成的生態系統中數學起到了相當大的作用，比如應用中使用到的非對稱加密，理論基礎是數論的知識，計算機網路中拓撲學有很大幫助，生...
機械專業，想入計算機行業，要學些什麼？
神州才子 利益相關 本科機械設計製造及其自動化，目前研一，機械工程，做機設方向。答主的問題我也想過，機械前景不好，加上興趣。建議最好充實自己，考研，考機械電子方向或直接跨考計算機。1考機械電子的話，以後可以做機械人，人工智慧，ai等等。要學演算法和程式設計，matlab和Python。這都需要計算機...