Io-7-wyk-Slajd47

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Specyfikacje aksjomatyczne(12)

Specyfikacje aksjomatyczne(12)


Przejdźmy teraz do sformułowania aksjomatów opisujących działanie tych funkcji. Jeżeli szukamy numeru telefonu abonenta Abo w pewnej książce telefonicznej

która powstała z książki d przez dodanie do niej informacji, że Abo ma numer telefonu t,

to oczywiście szukany numer telefonu jest równy t.

Formalnie można to zapisać jak na slajdzie.


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