Wkład użytkownika Luki

28 wrz 2020

• 21:2221:22, 28 wrz 2020 różn. hist. −1 m Analiza matematyczna 2/Ćwiczenia 4: Ciągi i szeregi funkcyjne. Szereg Taylora →Ciągi i szeregi funkcyjne. Szereg Taylora
• 21:2121:21, 28 wrz 2020 różn. hist. −7 m Analiza matematyczna 2/Ćwiczenia 4: Ciągi i szeregi funkcyjne. Szereg Taylora →Ciągi i szeregi funkcyjne. Szereg Taylora
• 15:4615:46, 28 wrz 2020 różn. hist. 0 m Języki, automaty i obliczenia/Test 11: Automat ze stosem Nie podano opisu zmian
• 15:3915:39, 28 wrz 2020 różn. hist. +31 m Języki, automaty i obliczenia/Wykład 9: Języki bezkontekstowe i ich gramatyki →Gramatyki w postaci Chomsky'ego i Greibach
• 15:2015:20, 28 wrz 2020 różn. hist. +24 m Języki, automaty i obliczenia/Ćwiczenia 10: Lemat o pompowaniu dla języków bezkontekstowych. Własności języków bezkontekstowych. Problemy rozstrzygalne →Ćwiczenia 10
• 15:0415:04, 28 wrz 2020 różn. hist. +30 m Języki, automaty i obliczenia/Ćwiczenia 1: Słowa, katenacja - elementy teorii półgrup, półgrupy i monoidy wolne →Ćwiczenia 1
• 14:5714:57, 28 wrz 2020 różn. hist. 0 m Języki, automaty i obliczenia/Ćwiczenia 1: Słowa, katenacja - elementy teorii półgrup, półgrupy i monoidy wolne →Ćwiczenia 1
• 14:5614:56, 28 wrz 2020 różn. hist. 0 m Języki, automaty i obliczenia/Ćwiczenia 8: Dalsze algorytmy dla języków regularnych. Problemy rozstrzygalne Nie podano opisu zmian
• 14:3814:38, 28 wrz 2020 różn. hist. −7 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenia dotyczące porządków
• 14:3714:37, 28 wrz 2020 różn. hist. −6 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenia dotyczące porządków
• 14:3614:36, 28 wrz 2020 różn. hist. −7 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenia dotyczące porządków
• 14:3214:32, 28 wrz 2020 różn. hist. −67 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenie Ernsta Zermelo
• 14:2014:20, 28 wrz 2020 różn. hist. −1 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenia wymagające aksjomatu wyboru
• 14:1914:19, 28 wrz 2020 różn. hist. +2 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenia dotyczące porządków
• 14:1814:18, 28 wrz 2020 różn. hist. 0 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenia dotyczące zbiorów
• 13:5813:58, 28 wrz 2020 różn. hist. +32 m Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →Liczby porządkowe
• 13:4913:49, 28 wrz 2020 różn. hist. 0 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Nieskończoności
• 13:4813:48, 28 wrz 2020 różn. hist. +3 m Logika i teoria mnogości/Wykład 5: Para uporządkowana, iloczyn kartezjański, relacje, domykanie relacji, relacja równoważności, rozkłady zbiorów →Operacje na relacjach:
• 13:2013:20, 28 wrz 2020 różn. hist. −11 m Matematyka dyskretna 1/Wykład 7: Funkcje tworzące Nie podano opisu zmian
• 12:5412:54, 28 wrz 2020 różn. hist. −4 m Matematyka dyskretna 2/Wykład 1: Zagadnienia Mini-Maksowe w grafach Nie podano opisu zmian
• 12:5212:52, 28 wrz 2020 różn. hist. −44 m Matematyka dyskretna 2/Wykład 3: Własności podziałowe i Twierdzenie Ramsey'a Nie podano opisu zmian
• 12:4112:41, 28 wrz 2020 różn. hist. −2 m Teoria informacji/TI Ćwiczenia 5 →Ćwiczenia
• 12:3212:32, 28 wrz 2020 różn. hist. +52 m Programowanie funkcyjne/Procedury wyższych rzędów i listy/Ćwiczenia →Ćwiczenia
• 11:2311:23, 28 wrz 2020 różn. hist. −17 m Teoria kategorii dla informatyków/Ćwiczenia 13: Teoria dziedzin II Nie podano opisu zmian
• 11:2011:20, 28 wrz 2020 różn. hist. +846 m Teoria kategorii dla informatyków/Ćwiczenia 14: Równania rekurencyjne Zastępowanie tekstu - "\subseteqdir" na ""
• 11:2011:20, 28 wrz 2020 różn. hist. −36 m Teoria kategorii dla informatyków/Ćwiczenia 13: Teoria dziedzin II Zastępowanie tekstu - "\subseteqdir" na ""
• 11:2011:20, 28 wrz 2020 różn. hist. +933 m Teoria kategorii dla informatyków/Ćwiczenia 14: Teoria dziedzin III Zastępowanie tekstu - "\subseteqdir" na ""
• 10:5510:55, 28 wrz 2020 różn. hist. −4 m PF:Moduł Wstęp →Wartość bezwzględna ostatnia
• 10:5410:54, 28 wrz 2020 różn. hist. −2 m PF Moduł 6 →Wykład
• 10:4010:40, 28 wrz 2020 różn. hist. −3 m Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Typowany rachunek lambda
• 10:3710:37, 28 wrz 2020 różn. hist. 0 m Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Operator punktu stałego
• 10:3510:35, 28 wrz 2020 różn. hist. +17 m Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Przekazanie funkcji jako parametru
• 10:2910:29, 28 wrz 2020 różn. hist. −32 m Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Operacje na liczbach
• 10:1910:19, 28 wrz 2020 różn. hist. −315 m Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda Zastępowanie tekstu - "\mbox{~~~~~~| }" na ""
• 10:1610:16, 28 wrz 2020 różn. hist. −55 m Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda Zastępowanie tekstu - "\tiny" na ""
• 09:4909:49, 28 wrz 2020 różn. hist. −35 m Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Własność Churcha-Rossera
• 09:3809:38, 28 wrz 2020 różn. hist. −10 m Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Podstawowe definicje i własności

27 wrz 2020

• 21:3821:38, 27 wrz 2020 różn. hist. +2 m Teoria informacji/TI Ćwiczenia 5 →Wskazówki
• 21:3721:37, 27 wrz 2020 różn. hist. +1 Teoria informacji/TI Ćwiczenia 5 →Polecenie
• 21:0721:07, 27 wrz 2020 różn. hist. +584 m Zaawansowane CPP/Ćwiczenia 1: Szablony I Nie podano opisu zmian ostatnia
• 21:0521:05, 27 wrz 2020 różn. hist. +351 m Teoria informacji/TI Ćwiczenia 14 →Ćwiczenia
• 21:0221:02, 27 wrz 2020 różn. hist. +87 m Teoria informacji/TI Ćwiczenia 13 →Ćwiczenia
• 20:5920:59, 27 wrz 2020 różn. hist. +2 m Teoria informacji/TI Ćwiczenia 10 →LDPC - macierze parzystości małej gęstości
• 20:5820:58, 27 wrz 2020 różn. hist. −1 m Teoria informacji/TI Ćwiczenia 10 →Kody liniowe
• 20:5820:58, 27 wrz 2020 różn. hist. +611 m Teoria informacji/TI Ćwiczenia 10 →Kod Hamminga (7,4)
• 20:5520:55, 27 wrz 2020 różn. hist. +350 m Teoria informacji/TI Ćwiczenia 8 →Ćwiczenia ostatnia
• 20:5420:54, 27 wrz 2020 różn. hist. +4 Teoria informacji/TI Ćwiczenia 7 →Ćwiczenia ostatnia
• 20:5120:51, 27 wrz 2020 różn. hist. +3 Teoria informacji/TI Ćwiczenia 6 →Protokół Shamira podziału sekretu
• 20:5120:51, 27 wrz 2020 różn. hist. +348 m Teoria informacji/TI Ćwiczenia 6 →Protokół Shamira podziału sekretu
• 20:5020:50, 27 wrz 2020 różn. hist. +6 m Teoria informacji/TI Ćwiczenia 5 →Ćwiczenia