什么是不变式？ -技术百科的定义

定义-不变是什么意思？

不变值是指在执行过程中期望保持一致的值或条件。 不变式可用于测试算法的结果和计算机程序的完整性。 它们的可预测性可以简化评估逻辑断言有效性的过程，并且不变性可以看作是周围环境中的参考点。

技术百科解释了不变式

卡尔·弗里德里希·高斯（Carl Friedrich Gauss）广泛影响着18世纪末的数论教科书“ Disquititiones Arithmeticae”，据称存在关于不变现象的最早观察结果。但是，完整形成的不变性理论的创新通常得到乔治·布尔（George Boole）的认可。 1840年代初在《剑桥数学杂志》上对此进行了介绍。 对此主题进行了扩展的其他著名研究人员包括奥托·黑塞（Otto Hesse）和亚瑟·凯利（Arthur Cayley）（他们都是19世纪的欧洲数学家）。