面向对象的逻辑和数学

Der*_*unk 7 oop math logic

可能重复:
OOP是否基于数学的任何分支?

据称,这是一个奇怪的问题:对于面向对象的范式,是否有任何数学/逻辑基础?如果是这样,是否有关于它的纸/书?谢谢.

Bru*_*ert 4

面向对象范式并不是源自数学理论(与关系数据库不同),它最初是出于实际原因而发明的,用于模拟过程(Simula)。人们正在试图为其找到一个良好的数学基础,以便可以完善或修改现有的语言,可以发现良好的理论属性等等。

《抽象数据类型》的工作就是这样的一个思路。可能还有其他数学方法来看待面向对象性。我在 Bertrand Meyer 的《面向对象的软件构建》第二版中找到了一些信息。