Io-7-wyk-Slajd42
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Specyfikacje aksjomatyczne(10)
Jeśli funkcja ma parametry wejściowe, to w sygnaturze opisuje się je na zasadzie iloczynu kartezjańskiego. Podaje się nazwy typów kolejnych parametrów oddzielając je między sobą symbolem „x ”. Sposób opisu 3-parametrowej funkcji Add jest przedstawiony na slajdzie.