Powiel możliwe:
Is OOP based on any branch of mathematics?Logika i matematyka orientacji obiektu
to rzekomo dziwne pytanie: czy są jakieś matematyczne podstawy/logiczne dla paradygmatu obiektowego ? A jeśli tak, czy jest na ten temat papier/książka? Dzięki.
Paradygmat zorientowany obiektowo nie został wyprowadzony z teorii matematycznej (w przeciwieństwie do relacyjnych baz danych), został pierwotnie wynaleziony ze względów praktycznych do symulacji procesów (Simula). Ludzie próbują znaleźć dla niego dobre podstawy matematyczne, aby istniejące języki mogły być polerowane lub modyfikowane, można odkryć ładne właściwości teoretyczne i tak dalej.
Praca nad "abstrakcyjnymi typami danych" to taki ciąg myśli. Prawdopodobnie istnieją inne matematyczne sposoby patrzenia na obiektowość. Znalazłem trochę informacji w "Object Oriented Software Construction", 2 wydanie, Bertrand Meyer.
W tej dziedzinie wykonano wiele pracy. Jedną znaną mi pracą jest praca doktorska Kathleen Fisher (mam tutaj link to her CV, ale nie znam sposobu, aby uzyskać tę tezę), która, jak sądzę, miała wiele podstaw w tej dziedzinie.
Doskonały. Dzięki. Poproszę ją o to. –
Są to obiekty badane przez Martín Abadi i Luca Cardelli. Mają książkę, A Theory of Objects, i zobacz link "related work" dla gazet.
To może uzyskać lepsze odpowiedzi w [cstheory] (http://cstheory.stackexchange.com/) – huitseeker
To nie jest dziwne pytanie, jest interesujące! Może mógłbyś zmienić kafelek i zostawić prefiks? –
@Bruno. Gotowe! I jeszcze 2. –