1回答
我是一名二年级学生，我的离散数学2的作业是制作一个自动定理证明器。我必须在4周内做一个简单的命题逻辑验证程序(假设证明总是存在的)。到目前为止，我已经用谷歌搜索过了，但那里的材料在4周内真的很难理解。有没有人能给我推荐一些适合初学者的书/站点/开放源码或者一些有用的提示？提前谢谢你。
浏览 0提问于2013-02-20得票数 4
回答已采纳
3回答
数组中的拆分值
、、、
关键词：贝塞尔函数，勒让德函数，微分方程，贝塞尔，勒让德，同质，作业和数学作业帮助。任何人都可以向我推荐这方面的正则表达式。
浏览 5提问于2011-08-20得票数 0
回答已采纳
4回答
我正在写一个线性代数库(长话短说，这是一个学校作业)，涉及矩阵、向量等。在创建这个库的过程中，我将创建对对象执行数学操作的函数。例如转置矩阵、逆矩阵、归一化向量等。我倾向于第一种选择，但我想知道这是否被推荐。
浏览 0提问于2014-02-22得票数 12
回答已采纳
不幸的是，数学不是我的强项，我似乎在任何地方都找不到这样的例子。
我向你保证这不是用来做作业的。这是一个厚颜无耻的变通办法，但它不需要比145x145像素图像更多的RAM (145x145 = 21,025，因此每个像素都有效地表示基于棋盘的推荐移动)。
浏览 0提问于2011-09-19得票数 10
回答已采纳
3回答
我学过数学，但那是很久以前的事了。我已经做了8年的程序员，但是当我开始研究AI和数据挖掘中的概念时，我发现很难理解这个理论。我不知道从哪里开始。你建议我从人工智能的角度开始阅读哪些书籍和教程。信息论，：熵，KL发散，等等。
在有限的情况下，更高级的数学是有用的。有人能
浏览 4提问于2012-10-23得票数 7
1回答
在我的例子中，负载平衡问题在某种意义上是更通用的-它具有更多的约束，即这样或那样的作业只能分配给这样的服务器(比方说作业M_{i}具有一些特殊的安全要求，因此只能在安全服务器N_{j}上分配/执行)。一般的负载平衡问题已经从IP转换为LP，利用LP可以导致将部分作业分配给机器的事实，该分配后来被舍入，增加了额外的O(MN)时间。然后，这个近似解被证明是从最小可能的2倍内。有没有人能给我推荐一些C/Java/Python/MATLAB的代码来实现这个算法？由于KL书几乎没有给出任何示例
浏览 0提问于2012-07-27得票数 5
我做了作业，在网上和StackOverflow上寻找信息，但我没有找到我的问题答案。w 11 36 w 1
在创建更多test_types的地方会发生什么？我的
浏览 4提问于2012-09-06得票数 0
回答已采纳
这个问题最初是我的作业，但我的答案是错误的，我很好奇什么是这个问题的最佳解决方案。编辑：关于这个问题的附加资料，关于netflix挑战的一些描述，以及关于这个问题的数学信息，可以在幻灯片12-24中找到。
浏览 0提问于2011-03-22得票数 18
7回答
如果你已经掌握了基础知识，练习是可以的，但是你如何进入数学证明的思维模式呢？归纳是什么时候点击的？哪些资源是教授这些主题的最佳资源？在沉迷于校样写作之前，应该研究哪些基础课题？
浏览 0提问于2009-08-26得票数 18
回答已采纳
我一直在很大程度上是一个独立的学习者，从维基百科和各种书籍中收集我能得到的东西。然而，我担心我的自我教育可能因为不经意遗漏了话题和概念而产生了偏差。我的目标是教自己相当于一所顶尖大学的计算机科学学士学位(不管是哪一所)。
麻省理工学院或斯坦
浏览 28提问于2008-09-27得票数 35
4回答
我想通过获取所有方向(360°-例如电影帧)的图片(天花板)来创建一个简单的房间2D地图，通过边缘检测识别墙壁，删除其他不需要的对象，将图像合并到正确的位置(参见。墙，全景图)，最后创建近似的2D地图(从上面看)。获取比例将是另一个参数，这可能是有用的。谢谢。
浏览 0提问于2010-05-04得票数 6
1回答
我正在尝试编写一个程序，它接受多个可变长度的输入序列(字符串)，并计算每个字符串中相同索引处的相同字符数，以找到匹配数最多的字符串。如果字符串的长度不同，我想在末尾加上'N‘字符，直到它们是相同的长度为止。 return ''.join(random.choice('CGTA') for i in range(length))
print(seq_lst)
from collections import
浏览 2提问于2019-05-06得票数 1
3回答
我试图优化这段代码，但不可能再进行优化了。A = [-1,0,1,2,3,5,6,8,10,13,19,23,45];N1 = length(A);t = 1;C = []; for j=1:N2 break if j==N2 t
浏览 2提问于2020-01-08得票数 0
回答已采纳
我在编程1的基础上，我的教授要求我们创建一个包含10个部分的txt文件，创建一个程序来读取分数，添加它们，得到和，然后找到平均值，最后将结果导出到一个不同的txt文件中。import java.io.*; public static void main(String[] args) throws IOException {
浏览 2提问于2015-02-26得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
