注意：只有与离散数学相关的软件开发问题才是主题。离散数学是与离散现象有关的数学分支 - 与几何，实分析，物理等连续现象相反。典型的离散数学主题是离散概率，组合学，图论，算法和复杂性，还有矩阵，差分方程。 ，复发。
我有以下功能需要按其增长率进行排序。但是我们怎样才能证明函数g（n）紧跟在列表中的函数f（n）之后，那么应该是f（n）...
如何使用Coq证明以下内容？ （q V p）∧（¬p - > q）（p V q）。我的尝试引理工作:( forall p q：Prop，（q \ / p）/ \（~p - > q）（p \ / q））。证明。介绍p q。分裂。介绍......
该程序与算术序列有关。我的程序安排了这些常量，用于索引F =（算术系列中的第一项），I =（增量/公差...
我在完成一个函数时遇到问题，当我在main中调用它时，目前不让我的程序使用cout。我试图找到另一种方法来创建一个函数定义：set
我正在寻找一种有效的算法来计算任何给定整数的乘法分区。例如，12的这种分区的数量是4，其中12 = 12 x 1 = 4 x 3 = 2 x 2 ...
我花了很多时间试图想出Simulink。我已经包含了我最好的尝试和输出图表。我已经创建了一个差分方程组，可以模拟流感在...中的传播方式。
是否有算法计算x模y（对于y <1000）的乘法顺序，不需要BigInteger类型？
我现在使用的算法很快就会遇到极高的数字。算法中的一步我将x提升到应用于y的totient函数的结果。结果是......
有没有一个算法来计算x模y的乘法顺序（对于y> 1000 execpt mod（x，y）.multipliative_order（））？
我需要计算乘法次序来解决离散对数问题。我试过在下面使用这个算法，但它不适用于大数字。 def multiplicativeOrder（A，N）：if（...
我有一个大项目，项目和项目之间的关系。我需要找到所有项目的所有传递关系。我复制所有链接并使用传递闭包。例如：A --- B --- C E -...
给定n个节点，如果每个节点连接到每个其他节点（除了它自己），连接数将为n *（n-1）/ 2如何证明这一点？这不是一个家庭作业问题。我一直在......
Arules包：将连续向量离散为具有特定类别的离散向量，以产生R中的频率表
概述我有一个名为“Canopy_Index”的连续向量和另一个名为“Species”的向量，这是一个因素。我的目标是使用下面的R代码将Canopy_Index向量离散化为...
我正在使用有序的unsigned typedef对 OP;和有序对的类型setdef集 SOP ;.我的计划的最终目标是检查...
我有一个方波（0-1.8V），具有不同的采样频率（来自电路模拟器）。它也不是一个完美的方波（高低信号可能非常接近但不是精确为零......
我正在通过我大学的While编程语言学习语义。论文：第3章The While编程语言。希拉里一词2012这里是一个教育机构...
我需要创建一个接受语言的图灵机a ^ 1 b ^ j c ^ k，其中i> = j> = k，但我甚至不确定如何开始。在这种情况下图灵机是我的一个难题......
这是一个被称为“邮票问题”的数学问题。您需要在信封（金额）上放一定数量的邮资。信封上只有n个邮票的空间（...
我正处于离散数学课程中，并试图复制De Morgan的补语定律（B联合C）=补语（B）与补语（C）相交。我试着寻找Python执行...的能力
我一直在做离散结构和学习真相证明和排序（ETC。（（A→B）∨B）→C，（¬p→q）⊕¬q等，可以知道这些工作如何以及如何到达一个答案，但最近的事情类似......
我有问题证明这套等价（离散数学）B∩~（~B∩~B）= B我使用了双重否定，de morgans然后是联想法则但我不能完全达到目的。
我正在阅读关于哈希表的文章。这是文本片段。哈希表对于任何图形理论问题都很有用，其中节点具有实名而不是数字。在这里，输入是......