induction
投稿

induction

文章 0 浏览 1

证明二进制添加功能

我对COQ语言的新手是新手，我想证明一个功能，该函数从表示为列表的数字（最不重要的前期）。 我创建了一个可以做到这一点的糟糕功能，现在我想证明这…

无尽的现实 2025-01-22 12:49:48 0 0

如何做归纳证明

我必须证明： Lemma bsuccOK: forall l, value (bsucc l) = S (value l). 有一个归纳证明，但我不明白该怎么做。 这是BSUCC函数： Fixpoint bsucc (l:…

凉风有信 2025-01-21 23:01:44 0 0

归纳规范：自上而下与自下而上与推理规则？

请耐心听我讲这一点。我首先要描述书中的一个例子，然后在最后提出我的问题。 根据编程语言范式的文本： 归纳规范是指定一组的强大方法 价值观。为了…

当爱已成负担 2025-01-02 16:53:25 1 0

树中内部节点数量的证明

我正在阅读有关压缩 trie 的内容，并阅读以下内容： 压缩 trie 是一棵具有 L 个叶子的树，并且 trie 中的每个内部节点至少有 2 个子节点。 然后作者写…

迟月 2024-12-27 01:25:42 3 0

显示两个不同的斐波那契函数是等价的

我正在尝试确切地了解证明程序正确意味着什么。我从头开始，并沉迷于第一步/该主题的介绍。 在 这篇关于全函数式编程的论文给出了斐波那契函数的两个…

情场扛把子 2024-12-20 07:34:17 3 0

归并排序是 O(n) 的归纳证明有什么问题？

基于比较的排序是nlog(n)的大欧米伽，所以我们知道归并排序不可能O(n)。尽管如此，我无法通过以下证明找到问题： Proposition P(n): For a list of le…

请别遗忘我 2024-12-15 11:43:37 3 0

通过归纳法证明递推关系

Closed. This question is off-topic. It is not currently accepting answers. 想要改进此问题吗？更新问题，使其关于- Stack Overflow 的主题。 13…

几度春秋 2024-12-12 08:03:34 5 0

伪代码归纳证明

我不太明白如何在伪代码上使用归纳证明。它的工作方式似乎与在数学方程上使用它的方式不同。 我正在尝试计算数组中可被 k 整除的整数的数量。 Algorit…

美煞众生 2024-12-08 14:23:23 5 0
  • 共 1 页
  • 1
更多

热门标签

操作系统 程序设计 IT运维 Linux系统管理 JavaScript 服务器应用 solaris C/C++ PHP Shell BSD Vue.js aix Oracle Python HTML 系统管理 HTML5 CSS 前端
更多

推荐作者

饮湿

文章 0 评论 0

明月

文章 0 评论 0

02

文章 0 评论 0

hs1283

文章 0 评论 0

风向决定发型

文章 0 评论 0

落花浅忆

文章 0 评论 0

更多

友情链接

文江博客
    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站，即表示您同意使用 Cookies 和您的相关数据。
    原文