Tekst źródłowy strony Io-7-wyk-Slajd58

Z Studia Informatyczne

← Io-7-wyk-Slajd58

Przejdź do nawigacji Przejdź do wyszukiwania

Nie masz uprawnień do edytowania tej strony z następującego powodu:

Wykonywanie tej operacji zostało ograniczone do użytkowników w grupie Użytkownicy.

Tekst źródłowy strony można podejrzeć i skopiować.

==Specyfikacje aksjomatyczne(17)==

[[Image:io-7-wyk-Slajd58.PNG|Specyfikacje aksjomatyczne(17)]]


Zastanówmy się, czy ta definicja jest poprawna. Czy faktycznie określa takie zachowanie systemu, jakiego oczekujemy?


[[io-7-wyk-Slajd57 | << Poprzedni slajd]] | [[io-7-wyk-toc|Spis treści ]] | [[io-7-wyk-Slajd59 | Następny slajd >>]]

Wróć do Io-7-wyk-Slajd58.

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Io-7-wyk-Slajd58”

Menu nawigacyjne