Wkład użytkownika Luki

1 cze 2020

• 13:4513:45, 1 cze 2020 różn. hist. +495 Programowanie funkcyjne/Podstawy/Ćwiczenia →Laboratorium
• 13:4213:42, 1 cze 2020 różn. hist. +807 Programowanie funkcyjne/Podstawy/Ćwiczenia →Ćwiczenia
• 13:3813:38, 1 cze 2020 różn. hist. +532 Semantyka i weryfikacja programów/Ćwiczenia 15 →Poprawność całkowita
• 13:3513:35, 1 cze 2020 różn. hist. −4 Semantyka i weryfikacja programów/Ćwiczenia 14 →Tablice
• 13:3413:34, 1 cze 2020 różn. hist. +628 Semantyka i weryfikacja programów/Ćwiczenia 14 →Tablice
• 13:3113:31, 1 cze 2020 różn. hist. +727 m Semantyka i weryfikacja programów/Ćwiczenia 13 →Poprawność częściowa
• 13:2613:26, 1 cze 2020 różn. hist. +187 Semantyka i weryfikacja programów/Ćwiczenia 8 →Obliczanie punktów stałych ostatnia
• 13:2613:26, 1 cze 2020 różn. hist. +93 Semantyka i weryfikacja programów/Ćwiczenia 8 →Stosowanie konstrukcji stałopunktowych
• 13:2513:25, 1 cze 2020 różn. hist. +440 Semantyka i weryfikacja programów/Ćwiczenia 8 →Obliczanie prostych funkcji semantycznych
• 13:2413:24, 1 cze 2020 różn. hist. +807 Semantyka i weryfikacja programów/Ćwiczenia 7 →Pętla for
• 13:2213:22, 1 cze 2020 różn. hist. −15 Semantyka i weryfikacja programów/Ćwiczenia 6 →Semantyka naturalna procedur
• 13:2013:20, 1 cze 2020 różn. hist. +738 Semantyka i weryfikacja programów/Ćwiczenia 6 →Semantyka naturalna procedur
• 13:1513:15, 1 cze 2020 różn. hist. −2 Semantyka i weryfikacja programów/Ćwiczenia 5 →Semantyka naturalna bloków
• 13:1513:15, 1 cze 2020 różn. hist. +95 Semantyka i weryfikacja programów/Ćwiczenia 5 →Semantyka naturalna bloków
• 13:1413:14, 1 cze 2020 różn. hist. +267 Semantyka i weryfikacja programów/Ćwiczenia 5 →Semantyka naturalna pewnej instrukcji \mathbf{for}\,
• 13:1213:12, 1 cze 2020 różn. hist. +187 Semantyka i weryfikacja programów/Ćwiczenia 4 →Prosty język funkcyjny
• 13:1013:10, 1 cze 2020 różn. hist. +718 Semantyka i weryfikacja programów/Ćwiczenia 4 →Różne semantyki naturalne wyrażeń
• 13:0913:09, 1 cze 2020 różn. hist. +687 Semantyka i weryfikacja programów/Ćwiczenia 3 →Rozszerzenia semantyki języka Tiny

31 maj 2020

• 20:2820:28, 31 maj 2020 różn. hist. +187 Semantyka i weryfikacja programów/Ćwiczenia 2 →Kalkulator binarny
• 20:2720:27, 31 maj 2020 różn. hist. +535 Semantyka i weryfikacja programów/Ćwiczenia 2 →Rozszerzenia semantyki języka Tiny
• 20:2520:25, 31 maj 2020 różn. hist. −4 Semantyka i weryfikacja programów/Ćwiczenia 1 →Semantyka operacyjna wyrażeń
• 20:2320:23, 31 maj 2020 różn. hist. +360 Semantyka i weryfikacja programów/Ćwiczenia 1 →Semantyka operacyjna wyrażeń

28 maj 2020

• 22:1522:15, 28 maj 2020 różn. hist. +295 m Metody programowania / Ćwiczenia 6 →Zadanie 3 (Prostokąt) ostatnia
• 22:1422:14, 28 maj 2020 różn. hist. +395 m Metody programowania / Ćwiczenia 6 →Zadanie 2 (Kwadrat)
• 22:1222:12, 28 maj 2020 różn. hist. +1392 m Metody programowania / Ćwiczenia 6 →Zadanie 1 (Odcinki)
• 22:1022:10, 28 maj 2020 różn. hist. +193 m Metody programowania / Ćwiczenia 5 →Zadanie 6 (Wbijanie gwoździ) ostatnia
• 22:0922:09, 28 maj 2020 różn. hist. +288 m Metody programowania / Ćwiczenia 5 →Zadanie 5 (Autostrada)
• 22:0822:08, 28 maj 2020 różn. hist. +192 m Metody programowania / Ćwiczenia 5 →Zadanie 4 (Uczta kinomana)
• 22:0722:07, 28 maj 2020 różn. hist. +191 m Metody programowania / Ćwiczenia 5 →Zadanie 3 (Dźwig)
• 22:0622:06, 28 maj 2020 różn. hist. +392 m Metody programowania / Ćwiczenia 5 →Zadanie 2 (Planowanie zajęć w salach)
• 22:0422:04, 28 maj 2020 różn. hist. +1544 m Metody programowania / Ćwiczenia 5 →Zadanie 1 (Pokrycie punktów odcinkami jednostkowymi)
• 22:0222:02, 28 maj 2020 różn. hist. +196 m Metody programowania / Ćwiczenia 4 →Zadanie 4 (Sortowanie liczb k-cyfrowych) ostatnia
• 22:0222:02, 28 maj 2020 różn. hist. +196 m Metody programowania / Ćwiczenia 4 →Zadanie 3 (Najpłytszy liść w drzewie)
• 22:0122:01, 28 maj 2020 różn. hist. +298 m Metody programowania / Ćwiczenia 4 →Zadanie 2 (Maksymalnie odległy porządek)
• 21:5921:59, 28 maj 2020 różn. hist. +1196 m Metody programowania / Ćwiczenia 4 →Zadanie 1 (Poprawność wyrażeń nawiasowych)
• 21:5821:58, 28 maj 2020 różn. hist. +1 m Metody programowania / Ćwiczenia 3 →Zadanie 7 (Sprawdzanie czy drzewo jest BST) ostatnia
• 21:5721:57, 28 maj 2020 różn. hist. +399 m Metody programowania / Ćwiczenia 3 →Zadanie 7 (Sprawdzanie czy drzewo jest BST)
• 21:5621:56, 28 maj 2020 różn. hist. −2 m Metody programowania / Ćwiczenia 3 →Zadanie 6 (Średnica drzewa)
• 21:5621:56, 28 maj 2020 różn. hist. +198 m Metody programowania / Ćwiczenia 3 →Zadanie 6 (Średnica drzewa)
• 21:5521:55, 28 maj 2020 różn. hist. +194 m Metody programowania / Ćwiczenia 3 →Zadanie 5 (Szerokość drzewa)
• 21:5421:54, 28 maj 2020 różn. hist. +195 m Metody programowania / Ćwiczenia 3 →Zadanie 4 (Lista liści)
• 21:5321:53, 28 maj 2020 różn. hist. +97 m Metody programowania / Ćwiczenia 3 →Zadanie 3 (Izomorfizm drzew)
• 21:5321:53, 28 maj 2020 różn. hist. +97 m Metody programowania / Ćwiczenia 3 →Zadanie 2 (Odbicie lustrzane)
• 21:5221:52, 28 maj 2020 różn. hist. +1275 m Metody programowania / Ćwiczenia 3 →Zadanie 1 (Liczba liści w drzewie)
• 21:5221:52, 28 maj 2020 różn. hist. +1 m Metody programowania / Ćwiczenia 2 →Zadanie 9 (Długość cyklu w liście z cyklem) ostatnia
• 21:5121:51, 28 maj 2020 różn. hist. +396 m Metody programowania / Ćwiczenia 2 →Zadanie 9 (Długość cyklu w liście z cyklem)
• 21:5021:50, 28 maj 2020 różn. hist. +195 m Metody programowania / Ćwiczenia 2 →Zadanie 8 (Listy z cyklem)
• 21:4921:49, 28 maj 2020 różn. hist. +283 m Metody programowania / Ćwiczenia 2 →Zadanie 7 (Pierwszy wspólny element list łączących się)
• 21:4821:48, 28 maj 2020 różn. hist. +193 m Metody programowania / Ćwiczenia 2 →Zadanie 6 (Listy łączące się)
• 21:4721:47, 28 maj 2020 różn. hist. +98 m Metody programowania / Ćwiczenia 2 →Zadanie 5 (Problem Józefa Flawiusza)