Math 编程是数学的一个子集吗?

Math 编程是数学的一个子集吗?,math,Math,我听过很多次,所有的编程都是数学的一个子集。OO从根本上讲是以数学为基础的,但除了一些明显的例子外,我没有得到联系: 使用归纳法证明递归算法 形式正确性证明 函数语言 lambda微积分 渐近复杂性 DFAs、NFAs、图灵机和一般理论计算 盒子上的所有东西都是二进制的 我知道数学对编程非常重要,但我很难接受这种“子集”观点。编程以什么方式成为数学的一个子集 我正在寻找一种可能与企业/OO开发相关的解释,如果有足够强的联系,那就是。这是数学,因为它需要对算法等进行抽象思考。 当涉及到计划时间

我听过很多次,所有的编程都是数学的一个子集。OO从根本上讲是以数学为基础的,但除了一些明显的例子外,我没有得到联系:

  • 使用归纳法证明递归算法
  • 形式正确性证明
  • 函数语言
  • lambda微积分
  • 渐近复杂性
  • DFAs、NFAs、图灵机和一般理论计算
  • 盒子上的所有东西都是二进制的
我知道数学对编程非常重要,但我很难接受这种“子集”观点。编程以什么方式成为数学的一个子集


我正在寻找一种可能与企业/OO开发相关的解释,如果有足够强的联系,那就是。

这是数学,因为它需要对算法等进行抽象思考。
当涉及到计划时间表、交付物、测试时,这就是工程。
当你不知道它最终会变成什么样子时,这就是艺术。

好吧,抛开这一切,

数学用于编程的许多方面,例如

  • 创建高效和智能的算法
  • 理解大O符号
  • 安全性(如RSA)
  • 还有很多。。。 我认为编程需要数学才能生存。但我不会称之为子集。这就像吹制玻璃利用了物理特性,但这些艺术家并不自称为物理学家

我想说,随着我们向第四代语言迈进,编程不再像过去那样与数学有关。汇编主要是关于数学的,C#,不是很多。思想?

如果你对数学的定义包括所有形式的形式逻辑,而编程只由代码中现存的逻辑和计算来定义,那么编程就是数学QED的子集;-)

但这就像说绘画只是在表面上涂上彩色颜料——它完全覆盖了艺术、洞察力、直觉和整个创作过程

根据同样的推理,人们可以认为音乐是数学的一个子集


所以我不得不说不,编程不是数学的一个子集。编程使用数学的一个子集,但也需要非数学技能/天赋[很像音乐创作]

总之,记住数学是逻辑的正式编码,这也是我们在软件中所做的

你问题中的主题列表中有很多数学问题。我们能够在相当高的抽象层次上进行编程,因此原始数学可能不会当面盯着你看。例如,您提到了DFAs。。您可以在不懂任何数学的情况下在程序中使用正则表达式,但是当您想要设计一个好的正则表达式引擎时,您会发现对数学的需求更大

我想你找到了一个有趣的观点。编程是一门艺术,也是一门科学。有很多“交易工具”,你不必坐下来做很多高级数学来简单地编写一个程序。事实上,当你在编程的时候,你实际上并没有在做很多数学或计算机科学

数学是在我们开始解决计算机科学中的难题时出现的。你走得越深,它就会越充实。。通常在较低的抽象层次

也有一些编程领域,你不一定要在其中工作,但它们涉及更多的数学。例如,虽然你当然可以在没有任何形式数学的情况下学习一门语言并编写一些应用程序,但如果没有一些应用数学,你在算法分析方面就不会有太大进展

编程是应用数学中最困难的分支之一;贫穷的数学家最好保持纯粹的数学家

--迪克斯特拉


好的,我在大学主修数学和计算机科学。我想说,如果集合A是数学,集合B是CS,那么A与B相交,它不是子集

毫无疑问,许多计算机科学的父亲和母亲都是图灵和戴克斯特拉这样的数学家。互联网的创始人大多是数学、物理或工程学博士。计算机科学的大多数核心概念都来自数学,但编程的行为并不是真正的数学。数学在我们的日常生活中帮助我们,但两者并不相同


但毫无疑问,计算机背后的原始推理是很好地计算事物。在这么短的时间内,我们已经走了很长的路。

我不相信我听说编程是数学的一个子集。甚至你提供的链接也只是一种被提议的编程方法(并没有声称它是数学的一个子集),wiki页面也有很多不同意见

编程需要(至少一些)应用数学。数学可以用来帮助描述和分析程序和程序片段。编程与数学有着非常密切的关系,大量使用数学和数学中的概念。但是呢?没有

我很想看到有人真的声称这是一个有明确理由的人。我想我从来没有

就因为你会用数学 对某事进行推理并不意味着什么 暗示它事实上是一个 数学对象。数学是 习惯于对内部事务进行推理 内燃机,放射性衰变 和杂耍模式。使用 数学不是做数学


一半是数学,一半是人说话,嗯。

爱因斯坦在1917年以著名数学家而闻名。直到广岛,公众才最终意识到物理学不仅仅是应用数学

当人们不理解某件事时,他们会试图把它理解为一种他们确实理解的东西。他们用类比的方式思考。编程被描述为数学,工程学,科学,