Io-7-wyk-Slajd60

Specyfikacje aksjomatyczne(19)

Zgodnie z podaną definicją otrzymamy książkę „krótszą” o jednego Kowalskiego, ale drugi zapis dotyczący Kowalskiego pozostanie. Możemy zaakceptować takie działanie naszego sytemu, albo też możemy odpowiednio zmienić specyfikację. Ten drugi wariant pozostawiam do rozwiązania w charakterze ćwiczenia.

<< Poprzedni slajd | Spis treści | Następny slajd >>