Szablon:Semantyka i weryfikacja programów/Wykład 4: Różnice pomiędzy wersjami

Wersja z 09:58, 24 paź 2006

@@ Linia 4: / Linia 4: @@
 menuItemsNumber=19
 showButtons=true
-Slajd1
+Slajd1|Semantyka denotacyjna
-Slajd2
+Slajd2|Dziedziny składniowe i semantyczne
-Slajd3
+Slajd3|Funkcje semantyczne
-Slajd4
+Slajd4|Kompozycjonalność
-Slajd5
+Slajd5|Tiny. Semantyka denotacyjna
-Slajd6
+Slajd6|Tiny. Semantyka denotacyjna, c.d.
-Slajd7
+Slajd7|Pojęcia pomocnicze
-Slajd8
+Slajd8|Pojęcia pomocnicze, c.d.
-Slajd9
+Slajd9||Tiny. Semantyka denotacyjna, c.d.
-Slajd10
+Slajd10|Tiny. Semantyka denotacyjna, c.d.
-Slajd11
+Slajd11|Problem z while
-Slajd12
+Slajd12|Konstrukcje stałopunktowe
-Slajd13
+Slajd13|Konstrukcje stałopunktowe, c.d.
-Slajd14
+Slajd14|Konstrukcje stałopunktowe, c.d.
-Slajd15
+Slajd15|Przykład
-Slajd16
+Slajd16|Przykład, c.d.
-Slajd17
+Slajd17|Dowód
-Slajd18
+Slajd18|Dowód
-Slajd19
+Slajd19|Zgodność semantyki denotacyjnej
-Contact
 </slides>}}
 <font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>