南京航空航天大学2012年离散数学与编译原理考研复试试题(回忆版)
离散数学
1.先用谓词符号表示,再给出证明,这个20分
2.定义C(X)=U{B|X包含于B} 这个20分
……
更多内容,点击附件下载查看。