参考了各大名校 CS 第一学期的配置,娃终于敲定了如下课程
1) C programming (特地学习了一下 CS50)
2) ML (Meta Language) programming
3) Julia programming
4) Rust programming
5) Lean programming
抛砖引玉,各位选了什么课?
ps
这里 programming,不是指language syntax,而是背后的理论,机制和应用,比如
C programming 教了 数据结构和算法,从 graph search, priotity queues, restoring invariants, spanning trees, union find 到memory management, virtual machines, 还有些 unix system calls
Rust programming 教了 如何做 system programming
Lean programming 教了 做 math prover
Julia programming 教了 data science, imaging processing, transformations, numeric methods
ml programming 教了 function programming, lamda calculus 等等