Wkład użytkownika Pitab

5 sie 2006

• 10:3210:32, 5 sie 2006 różn. hist. +552 Złożoność obliczeniowa/Wykład 13: Pamięć logarytmiczna i hierarchia wielomianowa →Klasy coNP i DP
• 10:2110:21, 5 sie 2006 różn. hist. −1 Złożoność obliczeniowa/Wykład 13: Pamięć logarytmiczna i hierarchia wielomianowa →Twierdzenie Immermana-Szelepcsényi'ego
• 10:1910:19, 5 sie 2006 różn. hist. +15 Złożoność obliczeniowa/Wykład 13: Pamięć logarytmiczna i hierarchia wielomianowa →Twierdzenie Immermana-Szelepcsényi'ego
• 10:1510:15, 5 sie 2006 różn. hist. +198 Złożoność obliczeniowa/Wykład 13: Pamięć logarytmiczna i hierarchia wielomianowa →Klasy L, NL i coNL
• 10:0010:00, 5 sie 2006 różn. hist. −18 Złożoność obliczeniowa/Wykład 13: Pamięć logarytmiczna i hierarchia wielomianowa →Klasy L, NL i coNL

3 sie 2006

• 09:0909:09, 3 sie 2006 różn. hist. +2 Paradygmaty programowania/Ćwiczenia 10: Programowanie funkcyjne w Haskellu I →Zadanie 8
• 09:0509:05, 3 sie 2006 różn. hist. +3870 N Paradygmaty programowania/Ćwiczenia 10: Programowanie funkcyjne w Haskellu I Nie podano opisu zmian
• 08:4508:45, 3 sie 2006 różn. hist. 0 Paradygmaty programowania/Wykład 10: Programowanie funkcyjne w Haskellu I →Wprowadzenie
• 08:4508:45, 3 sie 2006 różn. hist. +14 Paradygmaty programowania/Wykład 10: Programowanie funkcyjne w Haskellu I →Jak definiuje się operatory?
• 08:4408:44, 3 sie 2006 różn. hist. +8 Paradygmaty programowania/Wykład 10: Programowanie funkcyjne w Haskellu I →Nowe typy i klasy typów
• 08:4008:40, 3 sie 2006 różn. hist. +6 Paradygmaty programowania/Wykład 10: Programowanie funkcyjne w Haskellu I →Rozwijanie funkcji wieloargumentowych
• 08:3908:39, 3 sie 2006 różn. hist. +8 Paradygmaty programowania/Wykład 10: Programowanie funkcyjne w Haskellu I →Typy polimorficzne
• 08:3908:39, 3 sie 2006 różn. hist. +2 Paradygmaty programowania/Wykład 10: Programowanie funkcyjne w Haskellu I →Składanie funkcji
• 08:3908:39, 3 sie 2006 różn. hist. +15 Paradygmaty programowania/Wykład 10: Programowanie funkcyjne w Haskellu I →Jak zapisywać definicje?
• 08:3608:36, 3 sie 2006 różn. hist. +8 Paradygmaty programowania/Wykład 10: Programowanie funkcyjne w Haskellu I →Co właściwie robi interpreter? Jaki to ma związek z nieskończonością?
• 08:3508:35, 3 sie 2006 różn. hist. +9 Paradygmaty programowania/Wykład 10: Programowanie funkcyjne w Haskellu I →Sposób pracy z Haskellem
• 08:3108:31, 3 sie 2006 różn. hist. +20 717 N Paradygmaty programowania/Wykład 10: Programowanie funkcyjne w Haskellu I Nie podano opisu zmian
• 06:4606:46, 3 sie 2006 różn. hist. +34 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Własność Church-Rossera

2 sie 2006

• 21:5621:56, 2 sie 2006 różn. hist. −5 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Własność Church-Rossera
• 21:5521:55, 2 sie 2006 różn. hist. +6 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Własność Church-Rossera
• 21:5421:54, 2 sie 2006 różn. hist. 0 N Plik:Pp-8-graf.png Nie podano opisu zmian ostatnia
• 21:5321:53, 2 sie 2006 różn. hist. +15 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Własność Church-Rossera
• 21:2321:23, 2 sie 2006 różn. hist. −329 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Własność Church-Rossera
• 21:1121:11, 2 sie 2006 różn. hist. +2729 N Paradygmaty programowania/Ćwiczenia 9: U podstaw programowania obiektowego — rachunek sigma Nie podano opisu zmian
• 20:5520:55, 2 sie 2006 różn. hist. +222 Paradygmaty programowania/Wykład 9: U podstaw programowania obiektowego — rachunek sigma →Nietypowany <math>\sigma</math>-rachunek
• 20:4820:48, 2 sie 2006 różn. hist. +2 Paradygmaty programowania/Wykład 9: U podstaw programowania obiektowego — rachunek sigma →Wstęp
• 20:4620:46, 2 sie 2006 różn. hist. +66 Paradygmaty programowania/Wykład 9: U podstaw programowania obiektowego — rachunek sigma →Przykłady użycia <math>\varsigma</math>-rachunku
• 20:3220:32, 2 sie 2006 różn. hist. +27 Paradygmaty programowania/Wykład 9: U podstaw programowania obiektowego — rachunek sigma →Semantyka operacyjna
• 20:3020:30, 2 sie 2006 różn. hist. +2 Paradygmaty programowania/Wykład 9: U podstaw programowania obiektowego — rachunek sigma →Semantyka
• 20:3020:30, 2 sie 2006 różn. hist. +20 Paradygmaty programowania/Wykład 9: U podstaw programowania obiektowego — rachunek sigma →Semantyka
• 20:2620:26, 2 sie 2006 różn. hist. +8068 Paradygmaty programowania/Wykład 9: U podstaw programowania obiektowego — rachunek sigma →Semantyka
• 18:3018:30, 2 sie 2006 różn. hist. +1 Złożoność obliczeniowa/Wykład 12: Problemy funkcyjne i złożoność zliczania →Klasy FP i FNP
• 18:2818:28, 2 sie 2006 różn. hist. −9 Złożoność obliczeniowa/Wykład 12: Problemy funkcyjne i złożoność zliczania →Problemy funkcyjne
• 13:5613:56, 2 sie 2006 różn. hist. 0 Złożoność obliczeniowa/Wykład 12: Problemy funkcyjne i złożoność zliczania →Ćwiczenia dodatkowe
• 13:5513:55, 2 sie 2006 różn. hist. 0 Złożoność obliczeniowa/Wykład 12: Problemy funkcyjne i złożoność zliczania →Ćwiczenia dodatkowe
• 13:4313:43, 2 sie 2006 różn. hist. −1 Paradygmaty programowania/Wykład 9: U podstaw programowania obiektowego — rachunek sigma →Definicje
• 13:4213:42, 2 sie 2006 różn. hist. +8864 N Paradygmaty programowania/Wykład 9: U podstaw programowania obiektowego — rachunek sigma Nie podano opisu zmian
• 11:2911:29, 2 sie 2006 różn. hist. −39 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Typowany rachunek lambda
• 10:3310:33, 2 sie 2006 różn. hist. −542 Paradygmaty programowania →Moduły
• 10:0810:08, 2 sie 2006 różn. hist. −37 Paradygmaty programowania →Moduły
• 10:0810:08, 2 sie 2006 różn. hist. +2 Paradygmaty programowania →Moduły
• 10:0410:04, 2 sie 2006 różn. hist. +577 Paradygmaty programowania →Moduły
• 09:5009:50, 2 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:2809:28, 2 sie 2006 różn. hist. +27 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Operator punktu stałego

1 sie 2006

• 21:3621:36, 1 sie 2006 różn. hist. −2 Paradygmaty programowania/Ćwiczenia 8: U podstaw programowania funkcyjnego — rachunek lambda →Zadanie 2
• 21:3321:33, 1 sie 2006 różn. hist. −14 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Operator punktu stałego
• 21:2521:25, 1 sie 2006 różn. hist. −11 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Operator punktu stałego
• 21:2421:24, 1 sie 2006 różn. hist. −15 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Przekazanie funkcji jako parametru
• 21:2221:22, 1 sie 2006 różn. hist. −10 Paradygmaty programowania/Wykład 8: U podstaw programowania funkcyjnego — rachunek lambda →Własność Church-Rossera
• 21:1921:19, 1 sie 2006 różn. hist. 0 Paradygmaty programowania/Ćwiczenia 8: U podstaw programowania funkcyjnego — rachunek lambda →Zadanie 5