面向对象的逻辑和数学
可能的重复：
OOP 是否基于任何数学分支？
这是，据称，这是一个奇怪的问题：面向对象范式有数学/逻辑基础吗？如果是的话，有相关的论文/书籍吗？ 谢谢。
Possible Duplicate:
Is OOP based on any branch of mathematics?
This is, allegedly, a strange question: are there any mathematical/logic foundations for the object-oriented paradigm? And, if so, is there a paper/book about it?
Thanks.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（3）
面向对象范式并不是源自数学理论（与关系数据库不同），它最初是出于实际原因而发明的，用于模拟过程（Simula）。人们正在试图为其找到一个良好的数学基础，以便可以完善或修改现有的语言，可以发现良好的理论属性等等。
《抽象数据类型》的工作就是这样的一个思路。可能还有其他数学方法来看待面向对象性。我在 Bertrand Meyer 的《面向对象的软件构建》第二版中找到了一些信息。
The object oriented paradigm was not derived from a mathematical theory (unlike relational databases), it was initially invented for practical reasons, to simulate processes (Simula). People are trying to find a good mathematical foundation for it so that the existing languages can be polished or moddified, nice theoretical properties can be uncovered and so on.
The work on "Abstract Data Types" is such a train of thought. There are probably other mathematical ways of looking at object orientedness. I found some information in "Object Oriented Software Construction", 2nd edition, Bertrand Meyer.
马丁·阿巴迪（Martín Abadi）和卢卡·卡德利（Luca Cardelli）研究了物体演算。他们有一本书，对象理论，并看到“相关工作" 论文链接。
There are the object calculi studied by Martín Abadi and Luca Cardelli. They have a book, A Theory of Objects, and see the "related work" link for the papers.
在这方面已经做了很多工作。我知道的一篇特别论文是 Kathleen Fisher 的博士论文（我有一个 她的简历链接< /a> 在这里，但我不知道如何获得论文本身），我相信这为该领域奠定了很多基础。
There has been a lot of work done in this area. One particular paper I know of is Kathleen Fisher's PhD thesis (I have a link to her CV here, but I don't know of a way to get the thesis itself), which I believe laid a lot of the groundwork in this area.