Io-7-wyk-Slajd52

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Specyfikacje aksjomatyczne(14)

Specyfikacje aksjomatyczne(14)


Kolejny aksjomat można sformułować następująco: usunięcie czegokolwiek z pustej książki telefonicznej daje pustą książkę telefoniczną.

Formalnie można to zapisać jak na slajdzie


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