Io-7-wyk-Slajd41
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Specyfikacje aksjomatyczne(9)
Dla każdej funkcji określana jest tzw. sygnatura, będąca odpowiednikiem nagłówka funkcji. Po nazwie funkcji i dwukropku podawany jest typ wartości funkcji. Przykład funkcji bezargumentowej jest podany na slajdzie.