同济大学 离散数学 考博试题（2012）
一、给定式子，求主析取范式和主合取范式。（12分）
二、谓词逻辑推理方面的。（12分）
三、比较简单的，忘记了。（16分）
四、给定条件，画出哈斯图，并求出某一个子集的极大值、极小值；最大值、最小值；上界、下界。（16分）
五、证明子群。（16分）
六、给定条件，证明子格。（10分）
七、图的应用。（18分）