1樓：Qinxiang Cao
是會有碰上的時候，但是題主的判斷是對的，PLT以離散為主。
碰上再學不遲，可以先不學。不過，不要以『可能用不上』作為沒有學好的藉口。
當然，積分號會把PLTer嚇怕這個你也是想多了。當年 @王盛頤 和我開玩笑都是用測度論的。我們都是典型PLTer無疑。
2樓：shieldone
題主肯定沒有學過形式化。
計算機語言的形式化，就是用數學語言去形式化並分析計算機語言，用到的數學工具包括微積分。
數學是用來人們在長期的生產和生活中總結凝鍊（或者說抽象）的自然世界的客觀規律，計算機世界也是是用這些客觀規律來建立，實際上也是抽象客觀世界的，計算機語言是數學語言在計算機中的實現。
3樓：Tim
你考慮PL領域裡面其實有一波人研究numerical programming的啊，會用上連續數學的。
還有做smooth interpretation什麼的。
4樓：王盛頤
那個人也許指的是 Homotopy Type Theory？感覺也不像啊，這個理論冠以「同倫」應該只是模擬而言，並沒有真的去構造拓撲空間定義連續之類的。而且從「因果關係」上來講也不對，這個 HoTT 是可以作數學基礎的，那麼「連續」之類的概念應該建立在它「上層」，自己是不應該談的。
所以大概說的也不是這個，我自己也不過是這方面的初學者，答這個問題勉強了……抱歉。
已學《Thomas Calculus》，數學分析方面哪本書能看懂適合高階？
強烈建議rudin的數學分析原理，zorich的數學分析。菲赫金格爾茲神馬的還是算了，只是微積分的書，沒必要再看一遍，上面那兩本書，rudin對讀者證明能力的訓練非常好，可以說是一道分離數學系和其它系的鴻溝，zorich講的內容觀點非常高例項也不少習題異常難，放到學完微積分之後再來一遍也是很合適的。...
數學分析筆記整理（三）
今天喝闊落了嗎 上小學的時候老師讓寫自己的夢想是什麼我寫的是當科學家那個時候太幼稚覺得好多人都寫科學家我就寫了 長大一點以後有了自己真正的夢想乙個是演員乙個是髮型設計師想要當演員是因為我小時候還算是個戲精看到電視劇集裡的橋段？總要模仿一遍但是是偷偷模仿的怕被別人發現這個可能很多人小時候都做過哈哈印象...
數學分析對計算機有多重要？
已登出 有一門課叫做數值分析，是研究如何用計算機精確快速地解決數學的一些問題，比如線性方程組求救，迭代法求根，插值，擬合，解常微分方程，解特徵值等等。我在上這門課的時候，感覺用到比較多的乙個定理就是中值定理，用來估計誤差非常好用。當然，還有極限的一些性質，在分析迭代法求根的時候也會用到。當然數學分析...