CS Wiki

标签: 证明策略

此标签下有4条笔记。

  • 2026年4月20日

    1.8 证明方法与策略

    • 离散数学
    • 证明策略
    • 分情况证明
    • 存在性证明
    • 唯一性证明
    • 反例
    • 学习/离散数学/逻辑与证明
  • 2026年4月19日

    9.4 有效性形式证明的构造

    • 逻辑学
    • 命题逻辑Ⅱ
    • 证明构造
    • 证明策略
    • 推论规则
    • 学习/逻辑学/命题逻辑
  • 2026年4月19日

    9.5 构造更复杂的形式证明

    • 逻辑学
    • 命题逻辑Ⅱ
    • 复杂证明
    • 多步证明
    • 证明策略
    • 学习/逻辑学/命题逻辑
  • 2026年4月19日

    9.8 运用19个推论规则构建形式证明

    • 逻辑学
    • 命题逻辑Ⅱ
    • 形式证明
    • 推论规则
    • 证明策略
    • 学习/逻辑学/命题逻辑

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community