代数逻辑

Question

Wolfram Alpha和Bing现在都提供了解决复杂的代数逻辑问题的能力(即"求解x,给定这个等式"),而不仅仅是评估简单的算术表达式(例如"什么是5 + 5？").这是怎么做到的？

我可以阅读大多数类型的代码,这些代码可能会被我抛出,所以它用来解释和表示算法并没有什么不同.我发现bash制作了一个非常好的伪代码,更不用说它的实际功能了,所以这是理想的.而且,我对它的内外相当熟悉.很抱歉在切线上咆哮,但是当看到人们花费精力去处理"伪代码"时他们真的很烦恼,因为他们可以获得100%的功能而只需稍微努力.无论如何,非常感谢你的进步.

Answer 1

有两种主要方法可以解决:

1. 数字方法.数值方法基本上意味着求解器试图改变x的值直到满足等式.有关数值方法的更多信息.

2. 符号数学.求解器通过许多正式规则将方程式操作为一串符号.它与我们在学校学到的代数没有什么不同,求解者只知道很多不同的规则.关于计算机代数的更多信息.