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

Wersja z 09:50, 24 paź 2006

@@ Linia 4: / Linia 4: @@
 menuItemsNumber=24
 showButtons=true
-Slajd1
+Slajd1|Składnia
-Slajd2
+Slajd2|Składnia konkretna
-Slajd3
+Slajd3|Składnia abstrakcyjna
-Slajd4
+Slajd4|Przyjmowane założenia
-Slajd5
+Slajd5|Przykład wiodący
-Slajd6
+Slajd6|Kategorie składniowe
-Slajd7
+Slajd7|Kategorie składniowe, c.d.
-Slajd8
+Slajd8|Uwagi
-Slajd9
+Slajd9|Indukcja strukturalna
-Slajd10
+Slajd10|Definicje indukcyjne
-Slajd11
+Slajd11|Kategorie semantyczne
-Slajd12
+Slajd12|Wartościowanie zmiennych
-Slajd13
+Slajd13|Semantyka wyrażeń
-Slajd14
+Slajd14|Semantyka wyrażeń logicznych
-Slajd15
+Slajd15|Semantyka instrukcji
-Slajd16
+Slajd16|Prosty fakt
-Slajd17
+Slajd17|Dowód
-Slajd18
+Slajd18|Przezroczystość odwołań
-Slajd19
+Slajd19|Semantyka operacyjna
-Slajd20
+Slajd20|Obliczenia
-Slajd21
+Slajd21|Semantyka operacyjna Tiny
-Slajd22
+Slajd22|Własności
-Slajd23
+Slajd23|Własności, c.d.
-Slajd24
+Slajd24|Warianty definicji
-Contact
 </slides>}}
 <font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>