5

离散数学（也是有限数学）处理诸如逻辑、集合论、信息论、部分有序集合、证明、关系和许多其他主题的主题。

对于其他数学分支，也有支持编程的工具。对于统计，R和S内置了许多有用的统计函数。对于数值分析，Octave可以用作语言或集成到 C++ 中。

我不知道任何专门处理离散数学的语言或包（尽管几乎每种语言都可用于实现离散数学中使用的算法，但应该有专门为这些应用程序设计的库或环境）。

4

8 回答 8

5

Mathematica的当前版本是 7。许可证费用：

  1. 家庭版：295 美元。
  2. 标准：$2,495 Win/Mac/Linux PC（$3,120 for Solaris）
  3. 政府：1,996 美元（Solaris 为 2,496 美元）
  4. 教育：1,095 美元（Solaris 为 1,370 美元）
  5. 学生：139.95 美元（无 Solaris）

上面，家庭版链接说：

Mathematica Home Edition 是 Mathematica Professional 的全功能版本，具有相同的功能。

Maple的当前版本是 12。 许可费用：

  1. 学生：99美元
  2. 商业：1,895 美元
  3. 学术：995 美元
  4. 政府：$1,795

是的，看看上面 Thomas Owens 提到的 Sage。

于 2009-02-07T23:30:14.177 回答
3

数学

于 2008-10-22T11:59:49.023 回答
3

Mathematica 有一个 Combinatorica 包，虽然在这一点上相当古老，但它为组合数学和图形提供了很好的支持。可以使用这样的命令： NecklacePolynomial[8, m, Cyclic]; GrayCodeSubsets[{1, 2, 3, 4}]; 整数分区[6]

于 2012-11-03T16:35:35.057 回答
2

我会说 Mathematica 是您最好的选择.. 即使它没有开箱即用的某些功能，它也有设计精良的补充包，可在网上
查看http://www.wolfram.com/ products/mathematica/analysis/
您可能对数论、图形可视化的链接感兴趣

于 2008-10-22T12:00:54.870 回答
2

我还找到了Sage。它似乎是最接近 Mathematica 的开源软件，但我不确定它处理离散数学的能力如何。

于 2008-10-22T15:15:42.513 回答
2

Maple和Matlab将是几个数学软件包，可能涵盖您想要的部分内容。

于 2008-12-15T19:54:06.143 回答
0

主要由 Donald Knuth 编写的Stanford GraphBase是一个很棒的组合计算包。我不会称它为广泛的代码库，但它对图有很好的支持，并且可以根据图论来制定大量离散数学。它是用 CWEB 编写的，它是（IMO）一个更易读的 C 版本。

编辑：它是免费的。

于 2011-12-05T01:56:42.970 回答
0

我喜欢 Mathematica，并在我攻读计算物理学博士学位期间用它来原型化想法。然而，Mathematica 试图成为所有人的一切，但也有一些缺点：

  • 作为一家营利性公司，错误修复有时会在下一个主要版本中出现：您付费。
  • 作为专有产品，与非 Mathematica 人员（世界）共享代码是有问题的。
  • 当您尝试将其扩展到嵌入式示例之外时，新功能通常是半生不熟的。
  • 它的用户群（教程、建议、外部库）不如 python 活跃，
  • 多面板图很难生成；请参阅SciDraw库。

话虽如此，Mathematica 的核心功能令人惊叹，原因如下：

  • 它的默认数学功能非常强大，可以快速解决问题。
  • 它允许函数式和过程式编程。
  • 可以快速编码并以多种格式发布：pdf、交互式网站。
  • 一本新的离散书问世了。

底线

  • 期待易用性的 Apple 用户会喜欢 Mathematica，因为它具有 Apple 式的、易于使用的感觉。
  • 想要可扩展性的 Linux 用户会发现 Mathematica 令人沮丧，因为它具有类似 Apple 的盒式焊接闭合设计。
于 2014-11-06T02:14:21.333 回答