面向对象模型的“对象”的数学形式定义/计数器部分
这是我在数学SE论坛上提出的一个问题，在此已被推荐给我。所以这里的问题是 我在形式数学和理论计算机科学方面都是新手，因此如果您发现我的问题没有适当的表述，请多多包涵。在模拟现实世界时，面向对象建模对于定义复杂的交互似乎非常有用。但是它主要用于编程。我想知道我们在数学上是否有类似的概念。当我们进行编程时，我们可以理解“对象”和“面向对象编程”的概念，并加以实现。但是，我们是否有基于集合论的“对象”的正式定义？或就此而言，还有其他形式数学理论吗？ 我们可以实现/正式定义三个主要的面向对象的建模概念吗？1.封装2.继承3.多态 我知道问题太笼统了，但是如果您也可以提供一些指示，以便我能更好地理解这些概念，我将不胜感激。