→ CoNsTaR: 可以看 FLOLAC 柯老師的型別論與邏輯,14 年的有錄影可以 12/12 23:52
→ CoNsTaR: 在官網找到 12/12 23:52
推 CoNsTaR: 剛剛回去看了一下那些影片,發現可能不是太適合初學者, 12/14 06:27
→ CoNsTaR: 因為貌似錄影錄得並不完整,沒有概念的人可能很難貫通 12/14 06:27
→ CoNsTaR: 記得我當初開始認真的學關於程式的邏輯是看 Carnegie Mel 12/14 06:27
→ CoNsTaR: lon 大學 Robert Harper 的 open course 的樣子 12/14 06:27
→ CoNsTaR: 還有 conceptual mathematics 也是一本很不錯的啟蒙書, 12/14 06:27
→ CoNsTaR: 參考看看 12/14 06:27