离散结构
柏拉图的双斜杠
重庆邮电大学
展开
-
离散结构:基础:逻辑和证明(Discrete Structures :The Foundations: Logic and Proofs)(1)
第一章:第一部分:命题逻辑(Chapter 1, Part I: Propositional Logic)章节摘要(Chapter Summary ) 命题逻辑(Propositional Logic) 命题语言(The Language of Propositions) 应用(Applications) 逻辑等价(Logical Equival...翻译 2018-09-10 16:57:47 · 4245 阅读 · 2 评论 -
离散结构:基础:逻辑和证明(Discrete Structures :The Foundations: Logic and Proofs)(2)
第一章,第二部分:谓词逻辑(Chapter 1, Part II: Predicate Logic)汇总(Summary ) 谓词逻辑(第一次序逻辑)述词计算(Predicate Logic (First-Order Logic (FOL), Predicate Calculus)) 量词语言(The Language of Quantifiers) 逻辑等价(...翻译 2018-09-10 19:56:35 · 1174 阅读 · 0 评论 -
离散结构:基础:逻辑和证明(Discrete Structures :The Foundations: Logic and Proofs)(3)
第一章,第三部分:证明汇总 有效的论据和推理规则 证明方法 证明策略 有效的论据和推理规则 小节汇总 有效论证 命题逻辑的推理规则 使用推理规则构建参数 量化陈述的推理规则 建立量化陈述的论据 有效论证 数学证明是确定数学陈述真实性的有效论据。 ...翻译 2018-09-12 12:36:48 · 2305 阅读 · 0 评论 -
离散结构:基础结构:集合,函数,序列,总和,和矩阵(Basic Structure:Set,Function,Sequences,Sums and Matrixes )(1)
第二章:章节汇总:集合: 集合语言,集合操作,集合 函数: 函数种类,函数操作,可计算性 序列: 序列种类,求和公式 总和: 可数集 矩阵: 矩阵算术Chapter SummarySets The Language of Sets, Set Operations, Set Identities Functions Types of Func...翻译 2018-11-07 21:09:13 · 1081 阅读 · 0 评论 -
离散结构:算法(1)
章节总结 算法 示例算法 算法范例 职能的增长 Big-O和其他表示法 算法的复杂性 Chapter Summary Algorithms Example Algorithms Algorithmic Paradigms Growth of Functions Big-O and oth...翻译 2018-11-18 17:06:02 · 1290 阅读 · 0 评论 -
离散结构:算法(3)
小节摘要 时间复杂性 最坏情况复杂性 算法范例 理解算法的复杂性 Section Summary Time Complexity Worst-Case Complexity Algorithmic Paradigms Understanding the Complexity of Algorithms 算法的复杂...翻译 2018-11-19 21:03:11 · 1061 阅读 · 0 评论