其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory我間U一定要讀,仲要讀下啲簡單proof of soundness and completeness
好似得一間必修
btw 以課程嚟講,如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory,當培養科研/解難能力都好
巴打都係cucs?
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
又真係唔多theory喎,有冇得take啲postgrad course
冇
elective入面揀5科,除左Principle of prog lang之外揀咩好?
quit u重練啦仲諗
compiler cu冇,俾我會想讀,好似會包埋啲formal language theory
Machine Learning同computer vision都好似幾正咁
不過都係睇興趣揀算啦,啱第二個嘅科又唔一定啱你
寫compiler/扮cpu咪computer architecture
利申讀緊
扮cpu
用c寫粒lc3b 粒u
咪扮cpu囉
http://www.cse.cuhk.edu.hk/~byu/CENG3420/index.html
睇lab2
呢個course content唔係好掂
望落已經覺得好煩