目录 1 命题逻辑：语义 1.1 命题和连接符 1.2 真值函数和真值表 1.3 操作和替换规则 1.4 范式 1.5 连接符的完备集 1.6 推理及有效性 勘误集 ml-1_1.pdf ...

目录 4 一阶逻辑：证明论 4.4 前束范式和子句范式 12之第一组 12之第二组 12之第三组及总结 弱等价性定理 子句范式 勘误集 ...

目录 3 一阶逻辑：模型论 3.1 谓词和量词 3.2 一阶语言 复杂度和权重 3 一阶逻辑：模型论 3.1 谓词和量词 Q: 为什么说命题逻辑\(L\)的表达能力不够？ A: 比如难以 ...

1. 原码、反码、补码简单介绍 原码、反码、补码都是含有一个符号位的、对带符号数的二进制表示，对应于同一个真值。 原码带符号位直接读出来就是真值。 正数三码合一。 负数的反码为符号 ...

有时想查找某个文件时，却忘记了文件在计算机中存放的位置，这是一个经常遇到的问题。 当然如果你使用windows 7的话，可以直接用右上角的搜索框来搜索。 最近在学习python，正好拿这个来练练手，写一个查找文件的脚本。 主要思路是遍历目录下所有的文件和子目录，与要查找的文件对比，如果匹配 ...

原因在于，使用补码，可以将符号位和数值域统一处理；同时，加法和减法也可以统一处理。此外，补码与原码相互转换，其运算过程是相同的，不需要额外的硬件电路。补码是现代计算机使用的编码格式，解决了反码的两个缺点。正数的补码与原码格式相同，负数的补码是将负数绝对值的原码分别按位取反，并加1， 目录 ...

命题逻辑 命题与公式 1.命题 一句有真假意义的话（陈述句），记作P。不能是悖论、祈使句、疑问句、感叹句 命题的否定：记以 \(\lnot\)P 2.析取 P\(\lor\)Q 读作“P或Q” 真值规定：P\(\lor\)Q是真的当且仅当P，Q中至少有一个是真的。注意可兼或。 3.合取 P ...

计算机中的时间处理 目录 计算机中的时间处理 统一概念 标准时间 时区 时间戳 字符串表示 RFC2822 ISO 8601 ...