Wkład użytkownika Pitab

1 sie 2006

• 21:1621:16, 1 sie 2006 różn. hist. +13 Paradygmaty programowania/Ćwiczenia 8: U podstaw programowania funkcyjnego — rachunek lambda →Zadanie 5
• 21:0321:03, 1 sie 2006 różn. hist. +5656 N Paradygmaty programowania/Ćwiczenia 8: U podstaw programowania funkcyjnego — rachunek lambda Nie podano opisu zmian
• 20:4820:48, 1 sie 2006 różn. hist. 0 Złożoność obliczeniowa →Moduły
• 20:4520:45, 1 sie 2006 różn. hist. −21 Złożoność obliczeniowa →Moduły
• 20:3720:37, 1 sie 2006 różn. hist. −6 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Typowany rachunek lambda
• 20:3220:32, 1 sie 2006 różn. hist. +38 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Lambda-definiowalność funkcji na liczbach naturalnych
• 20:3220:32, 1 sie 2006 różn. hist. −38 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Operator punktu stałego
• 20:3120:31, 1 sie 2006 różn. hist. +38 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Lambda-definiowalność funkcji na liczbach naturalnych
• 20:2820:28, 1 sie 2006 różn. hist. −1 Paradygmaty programowania →Moduły
• 20:2120:21, 1 sie 2006 różn. hist. +466 Złożoność obliczeniowa/Wykałd 3: Klasy złożoności obliczeniowej →Relacje między klasami, twierdzenie Savitcha
• 19:4919:49, 1 sie 2006 różn. hist. −1 Złożoność obliczeniowa →Moduły
• 17:4017:40, 1 sie 2006 różn. hist. +1 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Własność Church-Rossera
• 10:1110:11, 1 sie 2006 różn. hist. +3 Złożoność obliczeniowa/Wykład 13: Pamięć logarytmiczna i hierarchia wielomianowa →Ćwiczenia dodatkowe
• 10:0910:09, 1 sie 2006 różn. hist. +2 Złożoność obliczeniowa/Wykład 13: Pamięć logarytmiczna i hierarchia wielomianowa →Hierarchia wielomianowa
• 10:0610:06, 1 sie 2006 różn. hist. +2 Złożoność obliczeniowa/Wykład 13: Pamięć logarytmiczna i hierarchia wielomianowa →Maszyny alternujące
• 10:0410:04, 1 sie 2006 różn. hist. +2 Złożoność obliczeniowa/Wykład 13: Pamięć logarytmiczna i hierarchia wielomianowa →Klasy coNP i DP
• 10:0310:03, 1 sie 2006 różn. hist. +1 Złożoność obliczeniowa/Wykład 13: Pamięć logarytmiczna i hierarchia wielomianowa →Klasy L, NL i coNL
• 10:0210:02, 1 sie 2006 różn. hist. +2 Złożoność obliczeniowa/Wykład 12: Problemy funkcyjne i złożoność zliczania →Ćwiczenia dodatkowe
• 10:0210:02, 1 sie 2006 różn. hist. +1 Złożoność obliczeniowa/Wykład 12: Problemy funkcyjne i złożoność zliczania →Klasa <math>\#\textsc{P}</math> i twierdzenie Valianta
• 09:5909:59, 1 sie 2006 różn. hist. −1 Złożoność obliczeniowa/Wykład 12: Problemy funkcyjne i złożoność zliczania →Klasy FP i FNP
• 09:5909:59, 1 sie 2006 różn. hist. +4 Złożoność obliczeniowa/Wykład 12: Problemy funkcyjne i złożoność zliczania →Problemy funkcyjne
• 09:5709:57, 1 sie 2006 różn. hist. +2 Złożoność obliczeniowa/Wykałd 3: Klasy złożoności obliczeniowej →Ćwiczenia dodatkowe
• 09:5509:55, 1 sie 2006 różn. hist. +2 Złożoność obliczeniowa/Wykałd 3: Klasy złożoności obliczeniowej →Relacje między klasami, twierdzenie Savitcha
• 09:5109:51, 1 sie 2006 różn. hist. +1 Złożoność obliczeniowa/Wykałd 3: Klasy złożoności obliczeniowej →Twierdzenia o liniowym przyspieszaniu i kompresji pamięci
• 09:4809:48, 1 sie 2006 różn. hist. +4 Złożoność obliczeniowa/Wykałd 5: Problemy NP-zupełne →Ćwiczenia końcowe
• 09:4709:47, 1 sie 2006 różn. hist. +2 Złożoność obliczeniowa/Wykałd 5: Problemy NP-zupełne →Suma podzbioru i inne problemy liczbowe
• 09:4609:46, 1 sie 2006 różn. hist. +2 Złożoność obliczeniowa/Wykałd 5: Problemy NP-zupełne →Trójdzielne skojarzenie i pokrycie zbiorami
• 09:4309:43, 1 sie 2006 różn. hist. +2 Złożoność obliczeniowa/Wykałd 5: Problemy NP-zupełne →Cykl i ścieżka Hamiltona
• 09:4109:41, 1 sie 2006 różn. hist. −3 Złożoność obliczeniowa/Wykałd 5: Problemy NP-zupełne →MAXSAT

31 lip 2006

• 20:0020:00, 31 lip 2006 różn. hist. −18 Złożoność obliczeniowa/Wykałd 5: Problemy NP-zupełne →Ćwiczenia końcowe
• 19:5919:59, 31 lip 2006 różn. hist. −9 Złożoność obliczeniowa/Wykałd 5: Problemy NP-zupełne →Ćwiczenia końcowe
• 19:4419:44, 31 lip 2006 różn. hist. −19 Złożoność obliczeniowa/Wykałd 5: Problemy NP-zupełne →Suma podzbioru i inne problemy liczbowe
• 19:4119:41, 31 lip 2006 różn. hist. +6065 Złożoność obliczeniowa/Wykałd 5: Problemy NP-zupełne →Trójdzielne skojarzenie i pokrycie zbiorami
• 19:3919:39, 31 lip 2006 różn. hist. +6596 Złożoność obliczeniowa/Wykałd 5: Problemy NP-zupełne →Problemy na zbiorach i liczbach
• 19:2819:28, 31 lip 2006 różn. hist. +7 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Typowany rachunek lambda
• 19:2219:22, 31 lip 2006 różn. hist. −4777 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Operacje na liczbach
• 19:1719:17, 31 lip 2006 różn. hist. −18 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Operacje na liczbach
• 18:5218:52, 31 lip 2006 różn. hist. −26 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Lambda-definiowalność funkcji na liczbach naturalnych
• 18:4818:48, 31 lip 2006 różn. hist. +25 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Lambda-definiowalność funkcji na liczbach naturalnych
• 18:3618:36, 31 lip 2006 różn. hist. −1 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Własność Church-Rossera
• 18:2118:21, 31 lip 2006 różn. hist. +6 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Podstawowe definicje i własności
• 18:1418:14, 31 lip 2006 różn. hist. +21 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Podstawowe definicje i własności
• 18:0618:06, 31 lip 2006 różn. hist. −19 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda Nie podano opisu zmian
• 18:0218:02, 31 lip 2006 różn. hist. −3 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Wprowadzenie
• 18:0118:01, 31 lip 2006 różn. hist. +27 525 N Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda Nie podano opisu zmian
• 17:5617:56, 31 lip 2006 różn. hist. +744 Paradygmaty programowania →Moduły
• 17:5317:53, 31 lip 2006 różn. hist. +461 Paradygmaty programowania →Moduły
• 17:4417:44, 31 lip 2006 różn. hist. −12 553 Złożoność obliczeniowa/Wykałd 5: Problemy NP-zupełne →Trójdzielne skojarzenie i pokrycie zbiorami
• 17:4417:44, 31 lip 2006 różn. hist. −4 Złożoność obliczeniowa/Wykałd 5: Problemy NP-zupełne →Cykl i ścieżka Hamiltona
• 17:4317:43, 31 lip 2006 różn. hist. −1785 Złożoność obliczeniowa/Wykałd 5: Problemy NP-zupełne →Klika, zbiór niezależny