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

Aktualna wersja na dzień 14:17, 29 wrz 2020

@@ Linia 1: / Linia 1: @@
-{{Slajdy|txt=<slides>
-name=SW wykład 6
+<font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
-fontsize=120%
-menuItemsNumber=15
+[[SW_wykład_6_-_Slajd1|Parametry]]
-showButtons=true
+[[SW_wykład_6_-_Slajd2|Semantyka procedur]]
-Slajd1
+[[SW_wykład_6_-_Slajd3|Semantyka procedur, c.d.]]
-Slajd2
+[[SW_wykład_6_-_Slajd4|Semantyka procedur bezparametrowych]]
-Slajd3
+[[SW_wykład_6_-_Slajd5|Przekazywanie przez zmienną]]
-Slajd4
+[[SW_wykład_6_-_Slajd6|Przekazywanie przez wartość]]
-Slajd5
+[[SW_wykład_6_-_Slajd7|Przekazywanie przez nazwę]]
-Slajd6
+[[SW_wykład_6_-_Slajd8|Wejście/wyjście]]
-Slajd7
+[[SW_wykład_6_-_Slajd9|Semantyka wejścia/wyjścia]]
-Slajd8
+[[SW_wykład_6_-_Slajd10|Semantyka wejścia/wyjścia, c.d.]]
-Slajd9
+[[SW_wykład_6_-_Slajd11|Semantyka wejścia/wyjścia, c.d.]]
-Slajd10
+[[SW_wykład_6_-_Slajd12|Programy]]
-Slajd11
+[[SW_wykład_6_-_Slajd13|Problem]]
-Slajd12
+[[SW_wykład_6_-_Slajd14|Nowe podejście]]
-Slajd13
+[[SW_wykład_6_-_Slajd15|Kontynuacje]]
-Slajd14
-Slajd15
-Contact
-</slides>}}