Wkład użytkownika Pqw

18 sie 2006

• 21:5421:54, 18 sie 2006 różn. hist. −4 Teoria kategorii dla informatyków/Wykład 15: Algebry i koalgebry endofunktorów →Algebry i indukcja
• 21:5321:53, 18 sie 2006 różn. hist. +20 Teoria kategorii dla informatyków/Wykład 15: Algebry i koalgebry endofunktorów →Algebry i indukcja
• 21:4921:49, 18 sie 2006 różn. hist. +16 Teoria kategorii dla informatyków/Wykład 15: Algebry i koalgebry endofunktorów →Algebry i koalgebry
• 21:4821:48, 18 sie 2006 różn. hist. 0 N Plik:Tk-15.0B.png Nie podano opisu zmian ostatnia
• 21:4821:48, 18 sie 2006 różn. hist. 0 N Plik:Tk-15.0A.png Nie podano opisu zmian ostatnia
• 21:3221:32, 18 sie 2006 różn. hist. −481 Teoria kategorii dla informatyków/Ćwiczenia 15: Algebry i koalgebry endofunktorów Nie podano opisu zmian
• 21:3121:31, 18 sie 2006 różn. hist. −2150 Teoria kategorii dla informatyków/Wykład 15: Algebry i koalgebry endofunktorów Nie podano opisu zmian
• 21:3021:30, 18 sie 2006 różn. hist. +277 Teoria kategorii dla informatyków/Ćwiczenia 14: Teoria dziedzin III Nie podano opisu zmian
• 21:2921:29, 18 sie 2006 różn. hist. +457 Teoria kategorii dla informatyków/Wykład 14: Teoria dziedzin III Nie podano opisu zmian
• 21:2721:27, 18 sie 2006 różn. hist. +268 Teoria kategorii dla informatyków/Ćwiczenia 13: Teoria dziedzin II Nie podano opisu zmian
• 21:2621:26, 18 sie 2006 różn. hist. −13 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dziedziny bc-zupełne
• 21:2521:25, 18 sie 2006 różn. hist. −11 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dziedziny bc-zupełne
• 21:2421:24, 18 sie 2006 różn. hist. −94 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dziedziny bc-zupełne
• 21:2121:21, 18 sie 2006 różn. hist. −28 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dcpo
• 21:1821:18, 18 sie 2006 różn. hist. +1 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dcpo
• 21:1721:17, 18 sie 2006 różn. hist. +6030 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dcpo
• 21:1321:13, 18 sie 2006 różn. hist. −6091 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dcpo
• 21:1121:11, 18 sie 2006 różn. hist. −133 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dcpo
• 21:1121:11, 18 sie 2006 różn. hist. 0 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dcpo
• 21:1021:10, 18 sie 2006 różn. hist. −3 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dcpo
• 21:0621:06, 18 sie 2006 różn. hist. +1 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dcpo
• 21:0421:04, 18 sie 2006 różn. hist. −5 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dcpo
• 21:0221:02, 18 sie 2006 różn. hist. +14 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dziedziny
• 21:0021:00, 18 sie 2006 różn. hist. −13 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dziedziny
• 20:5220:52, 18 sie 2006 różn. hist. −15 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Prosty język imperatywny.
• 20:5120:51, 18 sie 2006 różn. hist. −5 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Semantyka denotacyjna
• 20:5020:50, 18 sie 2006 różn. hist. −2 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Semantyka denotacyjna
• 20:5020:50, 18 sie 2006 różn. hist. −3 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Semantyka operacyjna
• 20:4920:49, 18 sie 2006 różn. hist. +2 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Języki funkcyjne versus języki imperatywne.
• 20:4920:49, 18 sie 2006 różn. hist. +1 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Języki funkcyjne versus języki imperatywne.
• 20:4720:47, 18 sie 2006 różn. hist. +164 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II Nie podano opisu zmian
• 20:4420:44, 18 sie 2006 różn. hist. +312 Teoria kategorii dla informatyków/Ćwiczenia 12: Teoria dziedzin I Nie podano opisu zmian
• 20:4420:44, 18 sie 2006 różn. hist. 0 Teoria kategorii dla informatyków/Wykład 12: Teoria dziedzin I →Bazy w przestrzeniach topologicznych
• 20:3520:35, 18 sie 2006 różn. hist. +14 Teoria kategorii dla informatyków/Wykład 12: Teoria dziedzin I Nie podano opisu zmian
• 20:2820:28, 18 sie 2006 różn. hist. −17 Teoria kategorii dla informatyków/Wykład 12: Teoria dziedzin I Nie podano opisu zmian
• 20:2720:27, 18 sie 2006 różn. hist. −1231 Teoria kategorii dla informatyków/Ćwiczenia 11: Monady Nie podano opisu zmian
• 20:2520:25, 18 sie 2006 różn. hist. −248 Teoria kategorii dla informatyków/Wykład 11: Monady Nie podano opisu zmian
• 20:1420:14, 18 sie 2006 różn. hist. +238 Teoria kategorii dla informatyków/Ćwiczenia 10: Sprzężenia II Nie podano opisu zmian
• 20:1320:13, 18 sie 2006 różn. hist. +405 Teoria kategorii dla informatyków/Wykład 10: Sprzężenia II Nie podano opisu zmian
• 20:1120:11, 18 sie 2006 różn. hist. +151 Teoria kategorii dla informatyków/Ćwiczenia 9: Sprzężenia I Nie podano opisu zmian
• 20:0520:05, 18 sie 2006 różn. hist. +409 Teoria kategorii dla informatyków/Wykład 9: Sprzężenia I Nie podano opisu zmian
• 20:0320:03, 18 sie 2006 różn. hist. +500 Teoria kategorii dla informatyków/Ćwiczenia 8: Diagramy, granice i kogranice Nie podano opisu zmian
• 20:0220:02, 18 sie 2006 różn. hist. +598 Teoria kategorii dla informatyków/Wykład 8: Diagramy, granice i kogranice Nie podano opisu zmian
• 20:0020:00, 18 sie 2006 różn. hist. +399 Teoria kategorii dla informatyków/Ćwiczenia 7: Lemat Yonedy i funktory reprezentowalne Nie podano opisu zmian
• 19:5919:59, 18 sie 2006 różn. hist. +153 Teoria kategorii dla informatyków/Wykład 7: Lemat Yonedy i funktory reprezentowalne Nie podano opisu zmian
• 19:5619:56, 18 sie 2006 różn. hist. −33 Teoria kategorii dla informatyków/Ćwiczenia 6: Równoważność kategorii Nie podano opisu zmian
• 19:5519:55, 18 sie 2006 różn. hist. +132 Teoria kategorii dla informatyków/Wykład 6: Równoważność kategorii Nie podano opisu zmian
• 19:5419:54, 18 sie 2006 różn. hist. +237 Teoria kategorii dla informatyków/Ćwiczenia 5: Funktory i transformacje naturalne Nie podano opisu zmian
• 19:5319:53, 18 sie 2006 różn. hist. +171 Teoria kategorii dla informatyków/Wykład 5: Funktory i transformacje naturalne Nie podano opisu zmian
• 19:5219:52, 18 sie 2006 różn. hist. +855 Teoria kategorii dla informatyków/Ćwiczenia 4: Zaawansowane konstrukcje uniwersalne Nie podano opisu zmian