SW wykład 4 - Slajd8
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.
