加粗的是我喜欢的。
计算理论：
Peter J. Denning
什么能被计算（递归论）
实施这些计算所需资源（计算复杂性理论）
P=NP？自动机理论，密码学，量子计算
书：introduction to the theory of computation（Sipser），灰姑娘书，龙书
算法与数据结构：
算法分析，算法，数据结构，计算几何，并行计算，随机算法
书：introduction to algorithms（CLRS），TAOCP
编程语言理论：
数学+软件工程+语言学
处理编程语言的设计、实现、分析、描述、分类、个体特性
类型论，编译器设计，编程语言
人工智能：
应用数学，逻辑，符号学，电机工程学，精神哲学，神经生理学，社会智力
数据挖掘，机器学习，自然语言处理，搜索引擎，数据库系统
书：AI（Winston），AI（Nillson）
计算机系统结构与工程：
数字计算机组织（CPU，Memory）
书：计算机系统：软硬件接口，unix环境编程，OS设计精髓
计算机图形与视觉：
计算机图形学，计算机视觉，图像处理，计算几何
书：计算机图形学，线性代数
科学计算：
构建模型和量化分析技术
数值计算，计算物理学/化学，生物信息学
书：SICP，TAOCP，Signal&System（Oppenheim），ODE
软件工程：
设计，实现，修改软件，确保软件高质量，适中的价格及可维护性，能够快速构建
IT发展历史和人物
书：design patterns，uml2.0，TCPL，TC++PL，how to think like a computer scientist(python)，SICP，how to design programs，微观经济学
数理科学：
discrete math，随机过程，微分方程，抽象代数，图理论，线性代数/矩阵论，复分析
书：concrete math，古今数学思想，庞加莱三书，什么是数学，高观点下的初等数学，surreal numbers，
大学物理，费曼物理学讲义，大设计/时间简史，生命是什么，普通生物学