Syntax 什么'；微积分和编程语法之间的关系是什么？

这学期我开始学微积分。我以前使用过编程（或脚本）语言，主要是PHP和C。我没有做太多低级的工作。我在语法之间建立的唯一关系是带有Y组合符的匿名函数和带有集合表示法的数组（我甚至不确定它们是否正确）

我总是看到微积分和编程之间的相似之处——这几乎就像命理学一样——那么微积分和编程语言是如何联系在一起的呢

潜意识里，我知道有关系，但我不认为我知道合适的术语来描述它。有些人把我称为“计算理论”和“图灵机器”，但我还没有真正研究它。如果我还没有完全理解计算理论，我还能认为自己是一个程序员吗？

< P>微积分是一个词义，在数学背景下：

任何形式的系统，其中有符号 表达式是根据 遵守固定的规则

因此，仅仅因为这两个概念的名称都包含“微积分”一词，就不能合理地认为这两个概念在某种程度上是相关的

是一种建模计算的形式主义，可证明等效于。图灵机和lambda演算（大约在同一时间独立开发）的目的都是提供一个正式的系统，在这个系统中，有关计算的陈述可以得到严格的证明。这是理论计算机科学的基础。它与编程语言相关，因为它本质上说明，任何能够模拟图灵机的编程语言都能够计算任何可能计算的东西。满足此属性的语言称为。几乎所有现代通用编程语言都具有这种特性

，你在高中学过的那种，除了“微积分”这个词外，与lambda微积分没有任何共同之处。它与编程无关。。。除非你写的是计算积分或导数的程序

一阶逻辑（一种逻辑）在人工智能和自动定理证明领域有一定的相关性，但这只是利用计算机解决数学问题，与计算的基本理论或编程语言的设计无关。

微积分是一个词的意思，在数学方面：

任何形式的系统，其中有符号 表达式是根据 遵守固定的规则

因此，仅仅因为这两个概念的名称都包含“微积分”一词，就不能合理地认为这两个概念在某种程度上是相关的

是一种建模计算的形式主义，可证明等效于。图灵机和lambda演算（大约在同一时间独立开发）的目的都是提供一个正式的系统，在这个系统中，有关计算的陈述可以得到严格的证明。这是理论计算机科学的基础。它与编程语言相关，因为它本质上说明，任何能够模拟图灵机的编程语言都能够计算任何可能计算的东西。满足此属性的语言称为。几乎所有现代通用编程语言都具有这种特性

，你在高中学过的那种，除了“微积分”这个词外，与lambda微积分没有任何共同之处。它与编程无关。。。除非你写的是计算积分或导数的程序

---

一阶逻辑（一种逻辑）在人工智能和自动定理证明领域有一定的相关性，但这同样只是利用计算机来解决数学问题，与计算的基本理论或编程语言的设计无关。

命理学是完全不同的，但这不是重点

我学微积分已经有一段时间了，不过，它是数学。它在物理和机械工程方面有很多应用

微积分和编程有些关联，比如你提到的计算理论，它也是数学的一个子集，但严格来说它根本不是编程

---

最后，您可以使用编程语言和软件来求解微积分方程，但不需要这样做。微积分比计算机存在的时间要长得多

命理学完全不同，但这不是重点

我学微积分已经有一段时间了，不过，它是数学。它在物理和机械工程方面有很多应用

微积分和编程有些关联，比如你提到的计算理论，它也是数学的一个子集，但严格来说它根本不是编程

---

最后，您可以使用编程语言和软件来求解微积分方程，但不需要这样做。微积分比计算机存在的时间要长得多

你是指任何类型的微积分，包括lambda，FOL，多变量。我知道lambda在关系编程语法中很重要，但是其他形式的演算呢？你是指任何类型的演算，包括lambda、FOL、多变量。我知道lambda在关系编程语法中很重要，但是其他形式的微积分呢？所以我高中要学的微积分根本不会与编程有关？-除非我打算解方程？是的。你在高中学习的微积分与编写程序有关，这些程序试图解决需要计算导数或积分的问题（尤其用于科学计算，例如物理模拟）。然而，高中微积分与计算机编程和可计算性理论没有任何关系