And the two categories I'm going to divide them into are declarative and imperative knowledge.

我会把它分成两类：,陈述性的知识和程序性的知识。

麻省理工公开课 - 计算机科学及编程导论课程节选

Not just in sort of mathematical things like chess or math, there are, as you know, programs that can write music.

不止是下棋或数学这类跟数理有关的事,你知道,有些程序甚至能创作音乐

耶鲁公开课 - 死亡课程节选

I'm gonna run a.out and your teaser for the kinds of programs you can write after years and years and years of practice will give you output like this.

运行a，out，这类麻烦的程序,你多年多年之后也能写,因为最后的结果是这样的。

哈佛公开课 - 计算机科学课程节选