[請益] 新手不知道在哪個版請教

看板Programming作者 (莫忘希比熊→←)時間7年前 (2017/07/16 16:36), 編輯推噓5(5014)
留言19則, 4人參與, 最新討論串1/3 (看更多)
先進們好,很對不起實在不知道要po在哪請教,拜讀版規似乎不在違規文之列, 當然若終究是違規,請版主告知,小弟自行砍文,謝謝。 小弟現在剛要入學IT研究所,但是我本身全無這方面背景知識(數學系畢業), 沒修過〝任何〞與電腦相關的課,特別是寫程式,像C、C++、JAVA,小弟都是不會的。 現在正徬徨課要怎麼選,不知先進們可否不吝給點建議。 以下是我IT系所開出的課,能否麻煩前輩們撥冗看看,拜託各位高手了,謝謝您們。 http://www.uq.edu.au/study/program_list.html?acad_prog=5581 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 115.64.215.82 ※ 文章網址: https://www.ptt.cc/bbs/Programming/M.1500194194.A.74D.html

07/16 19:30, , 1F
先學Agda或Idris之類的語言對你會不會比
07/16 19:30, 1F

07/16 19:30, , 2F
較輕鬆啊?
07/16 19:30, 2F

07/16 20:08, , 3F
呃 不懂 大大言下之意是還沒資格上IT所嗎?
07/16 20:08, 3F

07/16 23:05, , 4F
Agda Idris Coq 這些語言可以拿來做定理
07/16 23:05, 4F

07/16 23:05, , 5F
證明
07/16 23:05, 5F

07/16 23:08, , 6F
優點不用像其他語言一樣需要考慮機器相
07/16 23:08, 6F

07/16 23:08, , 7F
關的問題
07/16 23:08, 7F

07/16 23:08, , 8F
缺點是因為這種語言太嚴謹了所以很難上
07/16 23:08, 8F

07/16 23:08, , 9F
07/16 23:08, 9F

07/16 23:09, , 10F
不過因為原Po是數學系的,所以我才覺得
07/16 23:09, 10F

07/16 23:09, , 11F
應該很適合吧?
07/16 23:09, 11F

07/17 18:42, , 12F
謝謝C大看得起 不過小弟想這終究是程式語言
07/17 18:42, 12F

07/17 18:42, , 13F
本身的數學經驗大概幫不上什麼忙吧XD
07/17 18:42, 13F

07/17 18:43, , 14F
不過還是感謝提供資訊 我會記得這件事的
07/17 18:43, 14F

07/17 22:38, , 15F

07/18 17:09, , 16F
謝謝e大提供基本教學網頁
07/18 17:09, 16F

08/17 18:15, , 17F
foundation.nthu.edu.tw
08/17 18:15, 17F

08/17 18:15, , 18F
推煥宗教授的程式設計導論,對C語言
08/17 18:15, 18F

08/17 18:17, , 19F
的講解精闢入理,c大加油
08/17 18:17, 19F
文章代碼(AID): #1PQoMITD (Programming)
文章代碼(AID): #1PQoMITD (Programming)