作者chiij (莫忘希比熊→←)
看板Programming
标题[请益] 新手不知道在哪个版请教
时间Sun Jul 16 16:36:27 2017
先进们好，很对不起实在不知道要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://webptt.com/cn.aspx?n=bbs/Programming/M.1500194194.A.74D.html
1F：推 CoNsTaR: 先学Agda或Idris之类的语言对你会不会比 24.114.101.177 07/16 19:30
2F：→ CoNsTaR: 较轻松啊？ 24.114.101.177 07/16 19:30
3F：→ chiij: 呃 不懂 大大言下之意是还没资格上IT所吗? 115.64.215.82 07/16 20:08
4F：推 CoNsTaR: Agda Idris Coq 这些语言可以拿来做定理 24.114.84.143 07/16 23:05
5F：→ CoNsTaR: 证明 24.114.84.143 07/16 23:05
6F：推 CoNsTaR: 优点不用像其他语言一样需要考虑机器相 24.114.84.143 07/16 23:08
7F：→ CoNsTaR: 关的问题 24.114.84.143 07/16 23:08
8F：→ CoNsTaR: 缺点是因为这种语言太严谨了所以很难上 24.114.84.143 07/16 23:08
9F：→ CoNsTaR: 手 24.114.84.143 07/16 23:08
10F：→ CoNsTaR: 不过因为原Po是数学系的，所以我才觉得 24.114.84.143 07/16 23:09
11F：→ CoNsTaR: 应该很适合吧？ 24.114.84.143 07/16 23:09
12F：→ chiij: 谢谢C大看得起 不过小弟想这终究是程式语言 115.64.215.82 07/17 18:42
13F：→ chiij: 本身的数学经验大概帮不上什麽忙吧XD 115.64.215.82 07/17 18:42
14F：→ chiij: 不过还是感谢提供资讯 我会记得这件事的 115.64.215.82 07/17 18:43
16F：→ chiij: 谢谢e大提供基本教学网页 49.197.116.77 07/18 17:09
17F：推 wastony1107: foundation.nthu.edu.tw 36.235.91.176 08/17 18:15
18F：→ wastony1107: 推焕宗教授的程式设计导论，对C语言 36.235.91.176 08/17 18:15
19F：→ wastony1107: 的讲解精辟入理，c大加油 36.235.91.176 08/17 18:17