 |
|
|
| 返回 | 主页 |
中科院《离散数学》考试要点
[摘要]
数理逻辑
考查要点：公式推演，谓词演算，符号化推理。
第一章：命题逻辑
符号化命题，命题定律；
重言式、蕴含式及其性质；
主合取范式、主析取范式，二者的关系（必考题，一般运算较繁，应力求熟练）；
推理理论，基本蕴含式和等价式（p43）；...
其它培训参考信息：
一点考研心得之专业课
2005考研“未雨绸缪”（二）——我有我选择
中科院《计算机操作系统》考试要点
2003金融学基础考试试题回忆
写作和翻译的几个问题
中科院《编译原理》考查要点
我考上清华大学的经验:英语数学篇
考研:我人生的第一次拼搏（准备篇）
信息来自互联网，敬请核实，谨慎使用