オブジェクト指向モデルの「オブジェクト」の数学における正式な定義/対応部分
これは数学SEフォーラムで私が尋ねた質問であり、ここで紹介されました。だからここに質問があります 私は正式な数学と理論的なコンピュータサイエンスの両方の初心者です。質問が適切に構成されていない場合は、ご容赦ください。オブジェクト指向モデリングは、現実の世界をシミュレーションするときに複雑な相互作用を定義するのに非常に役立ちます。しかし、それは主にプログラミングで使用されます。数学にも同じような考え方があるのかと思っていました。プログラミングをしているとき、「オブジェクト」と「オブジェクト指向プログラミング」の概念を理解し、それを実装するだけです。しかし、集合論の観点から「オブジェクト」の正式な定義はありますか？それとも、他の正式な数学理論はありますか？ 3つの主要なオブジェクト指向モデリングの概念を実装/正式に定義できますか？1.カプセル化2.継承3.多態性 質問が広すぎることは承知していますが、これらの概念をよりよく理解できるように、いくつかの指針も提供していただければ幸いです。