Wkład użytkownika Rogoda

21 wrz 2006

• 19:5919:59, 21 wrz 2006 różn. hist. −233 Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek Nie podano opisu zmian
• 19:5519:55, 21 wrz 2006 różn. hist. −112 Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje Nie podano opisu zmian
• 19:5319:53, 21 wrz 2006 różn. hist. −149 Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje Nie podano opisu zmian
• 19:4819:48, 21 wrz 2006 różn. hist. −53 Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha Nie podano opisu zmian
• 19:4619:46, 21 wrz 2006 różn. hist. −272 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach Nie podano opisu zmian
• 19:4319:43, 21 wrz 2006 różn. hist. −1 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Wyboru
• 19:4319:43, 21 wrz 2006 różn. hist. −68 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Wyboru
• 19:4119:41, 21 wrz 2006 różn. hist. −53 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Zbioru Potęgowego
• 19:3919:39, 21 wrz 2006 różn. hist. −104 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Nieskończoności
• 19:3219:32, 21 wrz 2006 różn. hist. −21 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Wstęp
• 19:3119:31, 21 wrz 2006 różn. hist. −26 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Wstęp
• 19:2919:29, 21 wrz 2006 różn. hist. −88 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach Nie podano opisu zmian
• 19:2419:24, 21 wrz 2006 różn. hist. −178 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów Nie podano opisu zmian
• 19:2019:20, 21 wrz 2006 różn. hist. −53 Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost Nie podano opisu zmian
• 19:1819:18, 21 wrz 2006 różn. hist. −41 Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost Nie podano opisu zmian
• 19:1719:17, 21 wrz 2006 różn. hist. −368 Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost Nie podano opisu zmian
• 19:1319:13, 21 wrz 2006 różn. hist. −41 Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost →"Naiwne" dowody niewprost
• 19:1219:12, 21 wrz 2006 różn. hist. −404 Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost Nie podano opisu zmian
• 18:5818:58, 21 wrz 2006 różn. hist. −55 Języki, automaty i obliczenia/Wykład 5: Algorytmy konstrukcji automatu minimalnego →Algorytmy konstrukcji automatu minimalnego
• 12:4812:48, 21 wrz 2006 różn. hist. +51 Algebra liniowa z geometrią analityczną/Test 2: Przestrzenie wektorowe Nie podano opisu zmian
• 12:4312:43, 21 wrz 2006 różn. hist. −40 453 Test GR Nie podano opisu zmian
• 12:4212:42, 21 wrz 2006 różn. hist. +17 718 N Języki, automaty i obliczenia/Test 8: Dalsze algorytmy dla języków regularnych. Problemy rozstrzygalne Nie podano opisu zmian
• 12:4112:41, 21 wrz 2006 różn. hist. −2 Języki, automaty i obliczenia/Test 11: Automat ze stosem Nie podano opisu zmian
• 12:3912:39, 21 wrz 2006 różn. hist. +14 776 N Języki, automaty i obliczenia/Test 11: Automat ze stosem Nie podano opisu zmian
• 12:3812:38, 21 wrz 2006 różn. hist. +7819 N Języki, automaty i obliczenia/Test 14: Języki maszyn Turinga i typu (0). Rozstrzygalność Nie podano opisu zmian
• 12:3612:36, 21 wrz 2006 różn. hist. +290 Języki, automaty i obliczenia →Moduły
• 12:3412:34, 21 wrz 2006 różn. hist. −3758 Test GR Nie podano opisu zmian
• 12:2112:21, 21 wrz 2006 różn. hist. +2308 Test GR Nie podano opisu zmian
• 11:4311:43, 21 wrz 2006 różn. hist. −1987 Test GR Nie podano opisu zmian
• 11:3011:30, 21 wrz 2006 różn. hist. +865 Test GR Nie podano opisu zmian
• 11:1111:11, 21 wrz 2006 różn. hist. +9008 Test GR Nie podano opisu zmian
• 11:0911:09, 21 wrz 2006 różn. hist. +16 296 Test GR Nie podano opisu zmian
• 10:5610:56, 21 wrz 2006 różn. hist. −1 Algebra liniowa z geometrią analityczną/Test 2: Przestrzenie wektorowe Nie podano opisu zmian
• 10:5110:51, 21 wrz 2006 różn. hist. −4 Algebra liniowa z geometrią analityczną/Test 2: Przestrzenie wektorowe Nie podano opisu zmian
• 10:5010:50, 21 wrz 2006 różn. hist. −136 Algebra liniowa z geometrią analityczną/Test 2: Przestrzenie wektorowe Nie podano opisu zmian

20 wrz 2006

• 21:5821:58, 20 wrz 2006 różn. hist. +554 Algebra liniowa z geometrią analityczną/Test 2: Przestrzenie wektorowe Nie podano opisu zmian
• 21:0921:09, 20 wrz 2006 różn. hist. −570 Algebra liniowa z geometrią analityczną/Test 2: Przestrzenie wektorowe Nie podano opisu zmian
• 21:0021:00, 20 wrz 2006 różn. hist. +4541 N Algebra liniowa z geometrią analityczną/Test 2: Przestrzenie wektorowe Nie podano opisu zmian
• 20:5520:55, 20 wrz 2006 różn. hist. +1251 Algebra liniowa z geometrią analityczną →Moduły

19 wrz 2006

• 21:2021:20, 19 wrz 2006 różn. hist. −1 Test GR4 Nie podano opisu zmian
• 21:1321:13, 19 wrz 2006 różn. hist. +128 Test GR4 Nie podano opisu zmian
• 21:0921:09, 19 wrz 2006 różn. hist. +18 Test GR4 Nie podano opisu zmian
• 21:0821:08, 19 wrz 2006 różn. hist. +12 Test GR4 Nie podano opisu zmian
• 21:0221:02, 19 wrz 2006 różn. hist. +82 Test GR4 Nie podano opisu zmian
• 19:3919:39, 19 wrz 2006 różn. hist. −4931 Test GR4 Nie podano opisu zmian
• 19:3819:38, 19 wrz 2006 różn. hist. 0 Rachunek prawdopodobieństwa i statystyka/Test 2: Statystyka opisowa Nie podano opisu zmian
• 19:3719:37, 19 wrz 2006 różn. hist. −6 Rachunek prawdopodobieństwa i statystyka/Test 2: Statystyka opisowa Nie podano opisu zmian
• 19:3519:35, 19 wrz 2006 różn. hist. +5256 N Rachunek prawdopodobieństwa i statystyka/Test 2: Statystyka opisowa Nie podano opisu zmian
• 19:0719:07, 19 wrz 2006 różn. hist. −161 Test GR4 Nie podano opisu zmian
• 18:5518:55, 19 wrz 2006 różn. hist. +51 367 Test GR4 Nie podano opisu zmian