摘要：
Description 消解算法 Input 合式公式 A 的合取范式 Output 当 A 是可满足时，回答“YES ”；否则回答“NO”。 输入公式的符号说明： ! 非，相当于书面符号中的 “ ¬ ” & 与，相当于书面符号中的 “ ∧ ” | 或，相当于书面符号中的 “ ∨ ” ( 前括号 ) 阅读全文
posted @ 2017-08-06 14:19
达达Mr_X
阅读(4300)
评论(0)
推荐(0)
摘要：
Description 输入命题公式的合式公式，求出公式的真值表，并输出该公式的主合取范式和主析取范式。 Input 命题公式的合式公式 Output 公式的主析取范式和主合取范式，输出形式为：“ mi ∨ mj ; Mi ∧ Mj” ，极小项和 ∨ 符号之间有一个空格，极大项和 ∧ 符号之间有一个 阅读全文
posted @ 2017-08-06 14:15
达达Mr_X
阅读(10430)
评论(0)
推荐(1)
摘要：
Input 输入偏序集，A中的元素数不超过20个，分别用单个小写的英文字母表示。 输入的第一行给出A中的各个元素，两个相邻的元素之间用逗号隔开。 输入的第二行给出偏序关系£，用有序对的形式给出，如,等等，两个相邻的有序对之间用逗号隔开。 Output 输出A的极小元与极大元。 输出的第一行给出各个极 阅读全文
posted @ 2017-08-06 14:11
达达Mr_X
阅读(4258)
评论(0)
推荐(0)
摘要：
CH1 数据库系统引论 1. 数据库系统的特点 数据结构化 数据独立性高 数据冗余少 数据共享 统一的数据保护功能 2. 数据模型 数据结构 数据操作 数据的完整性约束 3. 数据库系统的三级模式和二级映像 模式、内模式、外模式 外模式模式映像：逻辑独立性 模式内模式映像：物理独立性 4. DBMS 阅读全文
posted @ 2017-08-06 13:51
达达Mr_X
阅读(507)
评论(0)
推荐(0)
摘要：
CH1 古典密码学 1. 维吉尼亚密码的破解 Kasiski测试法+指数重合法确定密钥长度：找长度至少为3的相同的密文段 指数重合法确定密钥：$M_g=0.065$ CH2 完善保密加密机制 1. 完善保密的定义：攻击者即使有 无限的计算资源 ，也 无法 攻破密码体制 $Pr\left[ M=m|C 阅读全文
posted @ 2017-08-06 10:48
达达Mr_X
阅读(587)
评论(0)
推荐(0)
浙公网安备 33010602011771号