05年出了两道大题，四个小题，第一小题，命题逻辑的证明题，可以直接用定理证明；第二小题，公理系统题可以直接用演绎定理证明，而且这是第三章课后题的第一个原题；第三个小题，是出自课本P66(3)3;第四小题出自P112，9(5) 和课本P56。

    06年三个大题:第一题，出自命题逻辑部分，出自P24定理1.8和P35 T20；第二题是一道等值式的证明用三种方法（解析法、公里系统、归结法）；第三题出自P60例题2.17；从两年的出题情况来看，出题老师不是出课本的原题，而是从课本中综合一些知识出题，综合程度极高，想那满分也十分不易。但是出的题目全部来自课本，所以只要搞熟课本，问题也不是很大。

    我们应以课本为主，重点掌握定义、定理、例题、课后题。并多做几遍，多想几遍。多想一下各章节之间的联系。近年出的题都是大综合题，一道题把几章的内容综合起来，不难，但一定要熟。课本要多看几遍，课后习题尤其是第二章的题一定要认真做几遍才行，多想一下题目的解题方法。

    第三章公里系统比较难，要多下点功夫，可以先看1，2，4章，再回头来看第3章，课后习题要争取完完整整做2遍，要做到熟练，因为专业课的考试时间非常紧张，没有给你多余的冥思苦想问题的时间

    操作系统总结

    北航的操作比起其他的学校,还是比较简单.名词解释大家把书上的都总结一下,比如 spooling技术,进程,线程,等等.进程同步要做熟,是必考的题目.页面置换算法也是重点,但是不难.还有就是一些判断题目，复习好了没问题。

    注意：操作系统复习要全面，近2年北航操作系统的出题老师变了，总的来说要求背的东西少了，理解的东西多了，所以大家不仅要搞定历年的操作系统真题，而且要多看几遍操作系统的书。

    关于PV操作题，连续好几年没考，但每年都是热门。推荐一本书电子工业出版社考研真题解析，或是随便一本介绍很多PV操作的习题都可以，（至少要总结50个算法）上面介绍了各高校历年出过的PV操作题,，要认真总结上面的算法，并能转化为那三种经典问题（生产者/消费者、读/写、哲学家进餐）来解决问题，其中生产者/消费者问题又分三种，读/写又分三种问题，这些都是需要总结的，把这近十种方法熟练掌握，遇到新问题时能够转化为这基本的问题，用我们熟悉的方法来解决。

    另：转贴一位考研数学强人的经验谈，我觉得写的不错，希望对大家有帮助

    数学复习:

    基本分六个阶段:

    第一阶段:看课本

    时间:用12周左右，其中高数7周，线代2.5周，概率2.5周。

    要求:1 结合陈文灯/李永乐的复习指南，先看知识点在看课本的知识点讲解。

    2 课本例题是重点题型要认真分析掌握。

    3 课后习题，结合那本同济大学的课后习题解答，没必要权做，自己掌握好时间，选择重点体型，基础类题型重点掌握。

    ④ 做题时最好能写在本子上，真正掌握。

    ⑤ 每天必须保证3小时，而且精力必须集中，最好是上午2小时晚上一小时。

    第二阶段:做一本系统的辅导书，陈文灯的《复习指南》或是利用乐的《复习全书》。

    时间:时间是最长的大约3.5月的时间，不要太长了。做完后大约到了9月中旬。所以平均每天6页，但是要要求自己完成八页，因为有的地方简单，有的地方难。

    要求:1 快速回顾知识点