07 2024 档案
摘要：命题逻辑的应用 自然语言命题的符号化 为什么要将自然语言命题符号化？ 自然语言命题转换为逻辑公式的过程也称为自然语言命题的符号化 是将命题逻辑知识（等值演算和推理理论）用于求解应用问题的第一步
摘要：命题逻辑的推理理论 推理的有效性 推理是从一组作为前提的命题得到一个作为结论的命题的过程 推理的有效性并不保证结论真，有效的推理没要求所有的前提都必须为真 有效推理的保真是针对从前提得到结论这个过程，从真前提必得到真结论 但前提和结论本身是否为真是另外一回事，与推理是否有效没有关系 自然推理系统 自
阅读全文
摘要：命题逻辑公式的范式 析取范式与合取范式 析取范式是一个或多个简单合取式的析取 • 简单合取式是一个或多个文字的合取 文字(literal)是命题变量或命题变量的否定 合取范式是一个或多个简单析取式的合取 • 简单析取式是一个或多个文字的析取 析取范式举例 单个文字既是简单合取式也是析取范式：p, ¬
阅读全文
摘要：命题逻辑的等值演算 命题逻辑公式的逻辑等值 称命题逻辑公式A和B逻辑等值(logically equivalent)，简称等值，记为A≡B，如果对任意真值赋值函数
摘要：命题逻辑公式语法和语义 命题逻辑基本概念 命题及其真值 对事物性质或关系进行判断，有真假值的陈述句 非陈述句（感叹句、疑问句、祈使句）不是命题 带变量的句子、认为是悖论的句子，没有真假值，不是命题 命题的真值包含两个值，一个为真(true)，一个为假(false) 使用0或F表示假，1或T表示真，真
阅读全文
摘要：简介及基础知识 什么是离散数学？ 离散数学(Discrete mathematics)是以可枚举(enumerable)的数量或形状作为研究对象的数学分支 可枚举指对象与对象间有清晰明确界限，可一一罗列 离散数学研究与自然数集或其子集有一一对应关系的对象集合 现在的计算机只能处理可枚举的信息 任何由
阅读全文
摘要：列表(List) 线性表的定义 ➢ 线性表：简称表，是n（n≥0）个具有相同类型的数据元素的有限序列 ➢ 线性表的长度：线性表中数据元素的个数 ➢ 空表：长度等于零的线性表，记为：𝐿 = () ➢ 非空表记为：𝐿 = e0, e1, … , ei-1, ei , … , en-1 其中， ei（
阅读全文
摘要：算法复杂度 算法分析 ➢ 同一算法用不同语言实现，用不同编译器，或是在不同计算机上运行，效率均不同 ➢ 使用绝对时间衡量算法效率不合适 ➢ 基本操作重复执行的次数作为算法的时间度量 判断一个算法的效率时，函数中的常数和其他次要项常常可以忽略，而更应该关注主项（最高阶项）的阶数 算法复杂度的记法 ➢
阅读全文
摘要：绪论 数据结构基本概念 ➢ 数据：所有能输入到计算机中并能被计算机程序识别和处理的符号集合。 数值数据：整数、实数等 非数值数据：图形、图象、声音、文字等 ➢ 数据元素：数据的基本单位，在计算机程序中通常作为一个整体进行考虑和处理 数据、数据元素、数据项之间的关系 包含关系：数据由数据元素组成，数据
阅读全文
摘要：图的基本概念 多个点连成的线就构成了图 图的种类 （加权）有向图 （加权）无向图 度 无向图中有几条边连接该节点，该节点就有几度 有向图中，每个节点有出度和入度 出度：从该节点出发的边的个数 入度：指向该节点边的个数 连通性 连通图 无向图中，任何两个节点都是可以到达的，我们称之为连通图 强连通图
阅读全文
