Io-7-wyk-Slajd47

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 >>