当前分类：proof

algorithm - 霍夫曼最小方差编码

algorithm - 显示 f(n) = O(f(n) + g(n))？

algorithm - Big-O 表示法和多项式？

proof - 证明算法的正确性

Coq 计算风格双条件链

algorithm - 渐近符号性质证明？

algorithm - 在无向图中按产品而不是总和减少最小权重

coq - 应用程序定义失败并显示 "unable to unify Prop with [goal]"

types - 我如何才能让 Agda 相信我的函数具有一定的值(value)？

algorithm - 具有一个键违规的二叉树，不会影响输入的其余键

logic - 如何在 coq 中向后使用引理 a=b ？

algorithm - 证明一台共享机器和一台具有无限并行容量的调度算法

algorithm - T(n) = T(n/2) + clog(n) = O(log(n)^2) 的归纳证明

algorithm - 您可以通过取数组的和然后再乘积来检查重复项吗？

theory - 为什么所有 LL(1) 文法都是 LR(1)？

proof - 使用 coq，尝试证明树上的简单引理

syntax - 语言是否应该提供方法链的语法替代方案？

algorithm - 我的贪心算法有缺陷吗？

proof - agda的inspect功能是如何工作的？

theory - 证明冒泡排序是按引理排序的

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们