24.244 模态逻辑

模态逻辑是可能性和必然性的逻辑,扩展了基本的谓词演算。这是一项很有趣的逻辑,取决于采用的公理(道义、真势模态、时态等等),可以表现成不同的逻辑系统。期末考试是课外开卷考试,所以我花了两天时间完成了它。分数:3/5。

  • 我的考试结果

24244-exam.pdf

  • MIT官方答案 失效

MIT 24.244 Modal Logic

14.20 产业组织学

经济学课程,通过假设完全竞争或垄断来简化分析。这门课移除了商行如何从战略上跟另一家商行竞争的设想和考虑。这门课完全点燃了我学习博弈论的兴趣。不幸的是,我没意识到期末考试的内容受限于课程内容,我只能尽力而为。分数:3/5。

  • 我的考试结果

1420-exam.pdf

MIT 14.20 Industrial Organization and Public Policy

14.23 政府的产业条例

这门课的内容和14.20很像,但是这门课侧重于历史背景和政治格局,而不是博弈论。有趣的课程,课本阅读的部分相当冗长(近900页),但是数学分析的水平较低,所以还是比较易读的。分数:3/5。

  • 我的考试结果

1423-exam.pdf

MIT 14.23 Government Regulation of Industry

14.48J 教育经济学

鉴于我挑战本身的性质,这门课非常有趣,揭示了多种教育理论。大多数课程感觉更像是基础的计量经济学的讨论,因为很多核心思想都是没有结论的(更小的课程更好吗?折扣券方案可行吗?)。这门课也讲述了教育的标准人力资本理论和信号效果理论的不同。但是,仍然没有定论。分数:3/5。

  • 我的考试结果

1448J-exam.pdf

MIT: 11.126J \14.48J\11.249 Economics of Education/11.126x_2 Introduction to Game Design

6.005 软件构建基础

这是MIT规定的软件开发课程。这门课挺难的,不是因为有什么智力要求,而是因为工作量繁重。这门课由3个团队项目,3个个人项目以及一些实验课组成。我当时很犹豫要不要上这门课,因为这次挑战的时间有限,很难上这样的课。但是最终我发现,最简单的方式就是做完所有的事情。
我花了大概三周的时间成功上完这门课,零零散散耗费了两个月。虽然很费时,但是这门课是最有回报的课程。我本想在每个项目上花费更多的时间补充更多特性,特别是最后的那个用Scratch做的即时通讯应用。如果你在编程方面刚入门,想学习高级的设计思想,写出优秀的代码而不是能够运行的代码,这门课是很棒的选择。
我把我写的所有的项目都发布在这里,需要安装Java环境才能运行。我也把我做的三个设计项目上传了(扫描之后清晰度降低了,很抱歉!)。分数:5/5。

6005-work.pdf

  • MIT提供的资料和作业

MIT: 6.005 Software Construction

6.801 计算机视觉

这门课讲述如何用算法去看,主要的背景就是通过看到的图像指导机器人运作。包括二进制图像处理、边缘检测、高斯扩展表面、方向、摄影测量等主题。这门课由两次课外考试来评分,并且是由两门研究生级别的课程合成的一门课。
总之,这门课很有挑战性,使用了傅里叶分析、矢量计算、线性代数、二次规划算法以及变分法等技术方法,所以这门课大概是应用数学相关最难的一门课了。很可惜没有编程的作业,不然一定会很有趣。分数:5/5。

  • 我的考试结果

6801-exam.pdf

MIT 6.801\6.866 Machine Vision

6.837 计算机图形学

这门课讲述了计算机图形学的基本原理,主要讲了射线追踪,当然扫描线方法也讲了。这门课基本由作业来评分(本来有两次小考的,但是没有提供答案,所以没用它们来计分)。从简单的光线投射和平面着色开始,作业逐渐包含了毛面着色、反射模糊、投射阴影、带有折射指数的透明表面、镜面反射以及过程贴图。一个网格加速数据结构的过程也完成了,它没有任何视觉效果,却大大加快了相对缓慢的射线的图像路径。
具体的编程环境写在了代码的README.rtf文件里。文件比较大,包含了渲染出的图片,这样不用运行代码就能看到问题需求的输出了。(作为对比,MIT的官方输出在sample_res.pdf里)。提示:我之前上的课被替换了,新的版本。分数:5/5。

MIT 6.837 Computer Graphics

COSC 545 计算理论

这门课不是MIT的课程,而是乔治城大学Cal Newport教授的计算理论的研究生课程。在享受完MIT的两门算法课之后,这是我非常想学习的主题,但是MIT复杂的理论课程缺乏任何可用的评分工具。这门课很有趣的思想就是哪些问题可以被算法解决(这意味着处理任何形式的问题都有一个过程),以及处理确定类型的问题所需的速度和内存限制。
这门课还包含了对于NP问题(P=NP?)的宽泛讨论。这是数学界最重要且悬而未决的问题,其答案会对整个社会产生巨大的影响。尽管已经研究了数十年,以及100万美金的激励,这个问题仍然没能有答案。分数:5/5。

COSC-exam.pdf