Io-7-wyk-Slajd69

Implementacje niestandardowe(3)

Uwzględniając przyjęty interfejs dla naszego mikro-modułu, przepisujemy oba nasze aksjomaty zastępując operator dodawania funkcją plus a stałą 0 funkcją zero.

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