Wkład użytkownika
Z Studia Informatyczne
Dla użytkownika Pqw dyskusja blokady przesłane pliki rejestry
- 11:50, 5 mar 2007 różn. hist. -573 Teoria kategorii dla informatyków/Ćwiczenia 4: Zaawansowane konstrukcje uniwersalne →Zadanie 4.3 ostatnia
- 12:49, 22 lut 2007 różn. hist. -160 Teoria kategorii dla informatyków/Ćwiczenia 4: Zaawansowane konstrukcje uniwersalne →Zadanie 4.3
- 17:01, 15 lut 2007 różn. hist. +1 m Teoria kategorii dla informatyków/Wykład 5: Funktory i transformacje naturalne →Transformacje naturalne ostatnia
- 13:55, 27 lis 2006 różn. hist. -22 m Teoria kategorii dla informatyków/Ćwiczenia 15: Algebry i koalgebry endofunktorów
- 13:51, 27 lis 2006 różn. hist. +23 m Teoria kategorii dla informatyków/Wykład 15: Algebry i koalgebry endofunktorów
- 13:40, 27 lis 2006 różn. hist. +20 m Teoria kategorii dla informatyków/Ćwiczenia 14: Teoria dziedzin III
- 13:35, 27 lis 2006 różn. hist. +28 m Teoria kategorii dla informatyków/Wykład 14: Teoria dziedzin III
- 13:28, 27 lis 2006 różn. hist. +60 m Teoria kategorii dla informatyków/Ćwiczenia 13: Teoria dziedzin II
- 13:21, 27 lis 2006 różn. hist. 0 m Teoria kategorii dla informatyków/Ćwiczenia 13: Teoria dziedzin II
- 12:46, 27 lis 2006 różn. hist. +17 m Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II
- 12:32, 27 lis 2006 różn. hist. +13 m Teoria kategorii dla informatyków/Ćwiczenia 12: Teoria dziedzin I ostatnia
- 12:29, 27 lis 2006 różn. hist. +6 m Teoria kategorii dla informatyków/Wykład 12: Teoria dziedzin I ostatnia
- 12:22, 27 lis 2006 różn. hist. +11 m Teoria kategorii dla informatyków/Ćwiczenia 11: Monady
- 12:12, 27 lis 2006 różn. hist. +12 m Teoria kategorii dla informatyków/Wykład 11: Monady ostatnia
- 12:04, 27 lis 2006 różn. hist. +3 m Teoria kategorii dla informatyków/Ćwiczenia 10: Sprzężenia II ostatnia
- 12:03, 27 lis 2006 różn. hist. -4 m Teoria kategorii dla informatyków/Wykład 10: Sprzężenia II ostatnia
- 11:48, 27 lis 2006 różn. hist. -3 m Teoria kategorii dla informatyków/Ćwiczenia 9: Sprzężenia I ostatnia
- 11:44, 27 lis 2006 różn. hist. -53 m Teoria kategorii dla informatyków/Wykład 9: Sprzężenia I ostatnia
- 11:37, 27 lis 2006 różn. hist. +13 m Teoria kategorii dla informatyków/Ćwiczenia 8: Diagramy, granice i kogranice ostatnia
- 11:32, 27 lis 2006 różn. hist. 0 Teoria kategorii dla informatyków/Ćwiczenia 8: Diagramy, granice i kogranice →Zadanie 8.1
- 11:31, 27 lis 2006 różn. hist. -6 m Teoria kategorii dla informatyków/Ćwiczenia 8: Diagramy, granice i kogranice
- 11:30, 27 lis 2006 różn. hist. +9 m Teoria kategorii dla informatyków/Wykład 8: Diagramy, granice i kogranice ostatnia
- 11:25, 27 lis 2006 różn. hist. +2 m Teoria kategorii dla informatyków/Ćwiczenia 7: Lemat Yonedy i funktory reprezentowalne ostatnia
- 11:23, 27 lis 2006 różn. hist. +8 m Teoria kategorii dla informatyków/Wykład 7: Lemat Yonedy i funktory reprezentowalne ostatnia
- 11:18, 27 lis 2006 różn. hist. +13 m Teoria kategorii dla informatyków/Ćwiczenia 6: Równoważność kategorii
- 11:13, 27 lis 2006 różn. hist. +12 m Teoria kategorii dla informatyków/Wykład 6: Równoważność kategorii ostatnia
- 10:58, 27 lis 2006 różn. hist. +6 m Teoria kategorii dla informatyków/Ćwiczenia 5: Funktory i transformacje naturalne ostatnia
- 10:52, 27 lis 2006 różn. hist. 0 m Teoria kategorii dla informatyków →Autor ostatnia
- 10:52, 27 lis 2006 różn. hist. -1 m Teoria kategorii dla informatyków/Wykład 5: Funktory i transformacje naturalne
- 10:40, 27 lis 2006 różn. hist. +14 m Teoria kategorii dla informatyków/Ćwiczenia 4: Zaawansowane konstrukcje uniwersalne
- 10:31, 27 lis 2006 różn. hist. +8 m Teoria kategorii dla informatyków/Wykład 4: Zaawansowane konstrukcje uniwersalne
- 10:18, 27 lis 2006 różn. hist. +19 m Teoria kategorii dla informatyków/Ćwiczenia 3: Zasada dualności i proste konstrukcje uniwersalne ostatnia
- 10:13, 27 lis 2006 różn. hist. +4 m Teoria kategorii dla informatyków/Wykład 3: Zasada dualności i proste konstrukcje uniwersalne ostatnia
- 10:03, 27 lis 2006 różn. hist. +8 m Teoria kategorii dla informatyków/Ćwiczenia 2: Morfizmy specjalne ostatnia
- 09:55, 27 lis 2006 różn. hist. +11 m Teoria kategorii dla informatyków/Wykład 2: Morfizmy specjalne ostatnia
- 09:50, 27 lis 2006 różn. hist. +24 m Teoria kategorii dla informatyków/Ćwiczenia 1: Teoria kategorii jako abstrakcyjna teoria funkcji ostatnia
- 09:42, 27 lis 2006 różn. hist. -2 m Teoria kategorii dla informatyków/Wykład 1: Teoria kategorii jako abstrakcyjna teoria funkcji ostatnia
- 09:31, 27 lis 2006 różn. hist. 0 m Teoria kategorii dla informatyków
- 10:45, 5 paź 2006 różn. hist. +21 Teoria kategorii dla informatyków/Ćwiczenia 9: Sprzężenia I →Zadanie 9.8
- 20:02, 2 wrz 2006 różn. hist. -1 Teoria kategorii dla informatyków/Ćwiczenia 14: Teoria dziedzin III →Zadanie 14.7
- 20:01, 2 wrz 2006 różn. hist. -2 Teoria kategorii dla informatyków/Ćwiczenia 14: Teoria dziedzin III →Zadanie 14.7
- 21:12, 1 wrz 2006 różn. hist. -1 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dziedziny bc-zupełne
- 21:10, 1 wrz 2006 różn. hist. +5 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Prosty język imperatywny.
- 20:57, 1 wrz 2006 różn. hist. -1 Teoria kategorii dla informatyków/Wykład 12: Teoria dziedzin I →Dziedziny jako częściowe porządki
- 20:56, 1 wrz 2006 różn. hist. +1 Teoria kategorii dla informatyków/Wykład 12: Teoria dziedzin I →Topologia Scotta na porządkach
- 20:56, 1 wrz 2006 różn. hist. +107 Teoria kategorii dla informatyków/Wykład 12: Teoria dziedzin I
- 20:52, 1 wrz 2006 różn. hist. +23 Teoria kategorii dla informatyków/Wykład 12: Teoria dziedzin I →Topologia Scotta na dziedzinach
- 19:43, 1 wrz 2006 różn. hist. +1 Teoria kategorii dla informatyków/Ćwiczenia 9: Sprzężenia I →Zadanie 9.1
- 19:35, 1 wrz 2006 różn. hist. +102 Teoria kategorii dla informatyków →Autor
- 13:37, 1 wrz 2006 różn. hist. -51 Teoria kategorii dla informatyków/Wykład 8: Diagramy, granice i kogranice →(Ko)granice w kategoriach funktorów
