Wkład użytkownika
Z Studia Informatyczne
Dla użytkownika Dorota dyskusja blokady przesłane pliki rejestry
- 10:55, 6 paź 2006 różn. hist. -93 WDP Dowodzenie poprawności programów
- 17:50, 4 paź 2006 różn. hist. +1 Logika dla informatyków/Ćwiczenia 12 ostatnia
- 17:48, 4 paź 2006 różn. hist. +29 Logika dla informatyków/Arytmentyka pierwszego rzędu
- 17:39, 4 paź 2006 różn. hist. +21 Logika dla informatyków/Teoria modeli
- 17:08, 4 paź 2006 różn. hist. -69 Logika dla informatyków/Pełność rachunku predykatów
- 12:43, 1 paź 2006 różn. hist. +13 Logika dla informatyków/Pełność rachunku zdań
- 12:02, 1 paź 2006 różn. hist. +3 Logika dla informatyków/Paradygmaty dowodzenia
- 11:52, 1 paź 2006 różn. hist. 0 Logika dla informatyków/Ograniczenia logiki pierwszego rzędu
- 11:36, 1 paź 2006 różn. hist. +10 Logika dla informatyków/Logika pierwszego rzędu. Sposób użycia
- 10:57, 1 paź 2006 różn. hist. -1 Logika dla informatyków/Ćwiczenia 13 ostatnia
- 10:55, 1 paź 2006 różn. hist. +5 Logika dla informatyków/Ćwiczenia 8 ostatnia
- 10:52, 1 paź 2006 różn. hist. 0 Logika dla informatyków/Ćwiczenia 7
- 10:50, 1 paź 2006 różn. hist. -6 Logika dla informatyków/Ćwiczenia 5
- 10:48, 1 paź 2006 różn. hist. -1 Logika dla informatyków/Ćwiczenia 4
- 10:45, 1 paź 2006 różn. hist. -5 Logika dla informatyków/Ćwiczenia 3 ostatnia
- 10:42, 1 paź 2006 różn. hist. +2 Logika dla informatyków/Ćwiczenia 2
- 10:40, 1 paź 2006 różn. hist. -9 Logika dla informatyków/Język logiki pierwszego rzędu
- 10:16, 1 paź 2006 różn. hist. +22 Logika dla informatyków/Ćwiczenia 1
- 10:10, 1 paź 2006 różn. hist. +19 Logika dla informatyków/Rachunek zdań
- 16:05, 30 wrz 2006 różn. hist. +2 Programowanie współbieżne i rozproszone/PWR Ćwiczenia 4 ostatnia
- 16:04, 30 wrz 2006 różn. hist. +20 Programowanie współbieżne i rozproszone/PWR Wykład 4 ostatnia
- 16:03, 30 wrz 2006 różn. hist. +13 Programowanie współbieżne i rozproszone/PWR Ćwiczenia 3
- 16:02, 30 wrz 2006 różn. hist. +10 Programowanie współbieżne i rozproszone/PWR Wykład 3
- 16:02, 30 wrz 2006 różn. hist. +7 Programowanie współbieżne i rozproszone/PWR Ćwiczenia 2
- 16:01, 30 wrz 2006 różn. hist. +27 Programowanie współbieżne i rozproszone/PWR Wykład 2
- 16:00, 30 wrz 2006 różn. hist. +11 Programowanie współbieżne i rozproszone/PWR Ćwiczenia 1
- 15:59, 30 wrz 2006 różn. hist. +26 Programowanie współbieżne i rozproszone/PWR Wykład 1
- 15:57, 30 wrz 2006 różn. hist. +1 Programowanie funkcyjne/Procedury jeszcze wyższych rzędów/Ćwiczenia ostatnia
- 15:55, 30 wrz 2006 różn. hist. +2 Programowanie funkcyjne/Procedury jeszcze wyższych rzędów
- 15:52, 30 wrz 2006 różn. hist. +1 Programowanie funkcyjne/Techniki uleniwiania i spamiętywania/Ćwiczenia
- 15:51, 30 wrz 2006 różn. hist. +7 Programowanie funkcyjne/Techniki uleniwiania i spamiętywania
- 15:50, 30 wrz 2006 różn. hist. -1 Programowanie funkcyjne/Funktory/Ćwiczenia
- 15:50, 30 wrz 2006 różn. hist. 0 Programowanie funkcyjne/Funktory
- 15:49, 30 wrz 2006 różn. hist. -10 Programowanie funkcyjne/Moduły/Ćwiczenia
- 15:49, 30 wrz 2006 różn. hist. +10 Programowanie funkcyjne/Moduły ostatnia
- 15:48, 30 wrz 2006 różn. hist. 0 Programowanie funkcyjne/Programowanie imperatywne/Ćwiczenia
- 15:47, 30 wrz 2006 różn. hist. +6 Programowanie funkcyjne/Programowanie imperatywne
- 15:46, 30 wrz 2006 różn. hist. -3 Programowanie funkcyjne/Model obliczeń/Ćwiczenia
- 15:45, 30 wrz 2006 różn. hist. +7 Programowanie funkcyjne/Model obliczeń
- 14:25, 30 wrz 2006 różn. hist. -2 Algorytmy i struktury danych/NP-zupełność
- 14:15, 30 wrz 2006 różn. hist. -1 ASD Ćwiczenia 14
- 14:13, 30 wrz 2006 różn. hist. -12 Algorytmy i struktury danych/Algorytmy tekstowe II
- 13:47, 30 wrz 2006 różn. hist. -1 ASD Ćwiczenia 13
- 13:33, 30 wrz 2006 różn. hist. -8 Algorytmy i struktury danych/Algorytmy tekstowe I
- 13:07, 30 wrz 2006 różn. hist. -1 ASD Ćwiczenia 12
- 13:05, 30 wrz 2006 różn. hist. -46 Algorytmy i struktury danych/Przeszukiwanie grafów ostatnia
- 12:47, 30 wrz 2006 różn. hist. -3 ASD Ćwiczenia 11
- 12:43, 30 wrz 2006 różn. hist. -19 Algorytmy i struktury danych/Algorytmy grafowe - najlżejsze ścieżki
- 12:28, 30 wrz 2006 różn. hist. +2 ASD Ćwiczenia 10 ostatnia
- 12:23, 30 wrz 2006 różn. hist. -8 Algorytmy i struktury danych/Find-Union
