SW wykład 4 - Slajd8: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 3: | Linia 3: | ||
Kolejną operacją, którą wygodnie jest wykorzystywać w poniższych | Kolejną operacją, którą wygodnie jest wykorzystywać w poniższych | ||
klauzulach semantycznych jest "podniesienie" funkcji: mając daną | klauzulach semantycznych, jest "podniesienie" funkcji: mając daną | ||
funkcję, "podnosimy" ją do funkcji wyższego rzędu, która operuje na | funkcję, "podnosimy" ją do funkcji wyższego rzędu, która operuje na | ||
funkcjach ze wspólnej dziedziny "indeksów", wykorzystując pierwotnie | funkcjach ze wspólnej dziedziny "indeksów", wykorzystując pierwotnie | ||
daną funkcję dla zdefiniowania wyniku dla każdego "indeksu" osobno. | daną funkcję dla zdefiniowania wyniku dla każdego "indeksu" osobno. | ||
Aktualna wersja na dzień 12:41, 29 wrz 2006
Semantyka denotacyjna Dziedziny składniowe i semantyczne Funkcje semantyczne Kompozycjonalność Tiny. Semantyka denotacyjna Tiny. Semantyka denotacyjna, c.d. Pojęcia pomocnicze Pojęcia pomocnicze, c.d. |Tiny. Semantyka denotacyjna, c.d. Tiny. Semantyka denotacyjna, c.d. Problem z while Konstrukcje stałopunktowe Konstrukcje stałopunktowe, c.d. Konstrukcje stałopunktowe, c.d. Przykład Przykład, c.d. Dowód Dowód Zgodność semantyki denotacyjnej
Kolejną operacją, którą wygodnie jest wykorzystywać w poniższych klauzulach semantycznych, jest "podniesienie" funkcji: mając daną funkcję, "podnosimy" ją do funkcji wyższego rzędu, która operuje na funkcjach ze wspólnej dziedziny "indeksów", wykorzystując pierwotnie daną funkcję dla zdefiniowania wyniku dla każdego "indeksu" osobno.
