Wkład użytkownika Pch

30 wrz 2006

• 08:3408:34, 30 wrz 2006 różn. hist. +1 WDP Dowodzenie poprawności programów →Wyszukiwanie liniowe ze strażnikiem
• 08:3408:34, 30 wrz 2006 różn. hist. 0 WDP Dowodzenie poprawności programów →Wyszukiwanie liniowe ze strażnikiem
• 08:3108:31, 30 wrz 2006 różn. hist. 0 WDP Dowodzenie poprawności programów →Wyszukiwanie liniowe proste
• 08:3008:30, 30 wrz 2006 różn. hist. 0 WDP Dowodzenie poprawności programów →Osłabianie tezy
• 08:2808:28, 30 wrz 2006 różn. hist. +2 WDP Dowodzenie poprawności programów →Osłabianie tezy
• 08:2608:26, 30 wrz 2006 różn. hist. 0 WDP Dowodzenie poprawności programów →Osłabianie tezy

21 wrz 2006

• 22:1822:18, 21 wrz 2006 różn. hist. +21 WDP Dowodzenie poprawności programów →Wyszukiwanie liniowe ze strażnikiem
• 22:1422:14, 21 wrz 2006 różn. hist. +2 WDP Dowodzenie poprawności programów →Wyszukiwanie liniowe proste
• 22:1022:10, 21 wrz 2006 różn. hist. −2 WDP Dowodzenie poprawności programów →Wzmacnianie założenia
• 22:1022:10, 21 wrz 2006 różn. hist. −7 WDP Dowodzenie poprawności programów →Instrukcja pętli
• 22:0722:07, 21 wrz 2006 różn. hist. −1 WDP Dowodzenie poprawności programów →Instrukcja złożona
• 22:0622:06, 21 wrz 2006 różn. hist. −1 WDP Dowodzenie poprawności programów →Instrukcja złożona
• 22:0422:04, 21 wrz 2006 różn. hist. +1 WDP Dowodzenie poprawności programów →Wprowadzenie

19 wrz 2006

• 16:0016:00, 19 wrz 2006 różn. hist. +158 WDP Składnia i semantyka instrukcji →Pętla while
• 15:5515:55, 19 wrz 2006 różn. hist. +254 WDP Składnia i semantyka instrukcji →Instrukcja pętli
• 15:5215:52, 19 wrz 2006 różn. hist. +62 WDP Składnia i semantyka instrukcji →Pętla while
• 15:5115:51, 19 wrz 2006 różn. hist. +169 WDP Składnia i semantyka instrukcji →Pętla while
• 15:4615:46, 19 wrz 2006 różn. hist. +959 WDP Składnia i semantyka instrukcji →Pętla while
• 15:2515:25, 19 wrz 2006 różn. hist. +34 WDP Składnia i semantyka instrukcji →Pętla while
• 15:1915:19, 19 wrz 2006 różn. hist. +426 WDP Składnia i semantyka instrukcji →Pętla while
• 15:1715:17, 19 wrz 2006 różn. hist. +45 WDP Składnia i semantyka instrukcji →Pętla while
• 15:1515:15, 19 wrz 2006 różn. hist. +1 WDP Składnia i semantyka instrukcji →Instrukcja warunkowa
• 15:1315:13, 19 wrz 2006 różn. hist. +14 WDP Składnia i semantyka instrukcji →Instrukcja warunkowa
• 15:0915:09, 19 wrz 2006 różn. hist. +17 WDP Składnia i semantyka instrukcji →Instrukcja warunkowa
• 15:0715:07, 19 wrz 2006 różn. hist. +1 WDP Składnia i semantyka instrukcji →Instrukcja złożona
• 15:0615:06, 19 wrz 2006 różn. hist. 0 WDP Składnia i semantyka instrukcji →Instrukcja złożona
• 15:0615:06, 19 wrz 2006 różn. hist. +9 WDP Składnia i semantyka instrukcji →Instrukcja złożona
• 15:0015:00, 19 wrz 2006 różn. hist. +5 WDP Składnia i semantyka instrukcji →Instrukcja złożona
• 13:2813:28, 19 wrz 2006 różn. hist. +8 WDP Składnia i semantyka instrukcji →Instrukcja pusta
• 13:2713:27, 19 wrz 2006 różn. hist. −3 m WDP Składnia i semantyka instrukcji →Składnia i semantyka instrukcji
• 08:1208:12, 19 wrz 2006 różn. hist. +9 WDP Składnia i semantyka instrukcji →Instrukcja warunkowa
• 08:0308:03, 19 wrz 2006 różn. hist. 0 WDP Składnia i semantyka instrukcji →Instrukcja złożona
• 08:0208:02, 19 wrz 2006 różn. hist. +1 m WDP Składnia i semantyka instrukcji →Pętla repet
• 07:5907:59, 19 wrz 2006 różn. hist. +4 WDP Składnia i semantyka instrukcji →Instrukcja czytania
• 07:5607:56, 19 wrz 2006 różn. hist. +11 WDP Składnia i semantyka instrukcji →Instrukcja czytania
• 07:5507:55, 19 wrz 2006 różn. hist. +162 WDP Składnia i semantyka instrukcji →Instrukcja czytania
• 07:5307:53, 19 wrz 2006 różn. hist. +3 WDP Składnia i semantyka instrukcji →Instrukcja czytania
• 07:3607:36, 19 wrz 2006 różn. hist. 0 WDP Składnia i semantyka instrukcji →Instrukcja pisania: I_v:=I_V
• 07:3407:34, 19 wrz 2006 różn. hist. 0 WDP Składnia i semantyka instrukcji →Instrukcja pisania: Błędy we wzorach
• 07:2907:29, 19 wrz 2006 różn. hist. −9 WDP Składnia i semantyka instrukcji →Instrukcja procedury: Można się domyślić := Przyjmijmy na razie
• 07:2607:26, 19 wrz 2006 różn. hist. +5 m WDP Składnia i semantyka instrukcji →Instrukcja pętli: złamanie wierszy w definicji składni instrukcji pętli

28 sie 2006

• 13:2013:20, 28 sie 2006 różn. hist. +19 m Wstęp do programowania/Wstęp do algorytmów →Dziedzina algorytmiczna: \Nat := {\cal N}
• 13:1013:10, 28 sie 2006 różn. hist. −5 Metody programowania / Ćwiczenia 2 →Zadanie 1 (Odwracanie listy)
• 12:4012:40, 28 sie 2006 różn. hist. +18 Metody programowania / Ćwiczenia 2 →Zadanie 1 (Odwracanie listy): Przypisanie l wyniku
• 12:1212:12, 28 sie 2006 różn. hist. −1 m WDP Gramatyki – definiowanie składni i semantyki wyrażeń →Gramatyki – definiowanie składni i semantyki wyrażeń: Literówka == := =
• 12:1012:10, 28 sie 2006 różn. hist. −1 WDP Wprowadzenie do programowania →Instrukacja przypisania: Instrukacja:=instrukcja
• 12:0912:09, 28 sie 2006 różn. hist. −1 m WDP Wprowadzenie do programowania →Nieformalny wstęp do programowania: rozdzielamy:=oddzielamy
• 11:1711:17, 28 sie 2006 różn. hist. +16 Wstęp do programowania / Ćwiczenia 2 →Zadanie 3 (Najdłuższe plateau): Był błąd w algorytmie; brak przypisania w:=A[p]

16 sie 2006

• 00:1500:15, 16 sie 2006 różn. hist. +79 m Wstęp do programowania/Rekursja Nie podano opisu zmian

25 lip 2006

• 11:4011:40, 25 lip 2006 różn. hist. 0 m Wstęp do programowania/Wstęp do algorytmów Nie podano opisu zmian