Wkład użytkownika Rogoda

2 sie 2006

• 18:1618:16, 2 sie 2006 różn. hist. +40 Test GR2 →"Naiwna" indukcja
• 17:5017:50, 2 sie 2006 różn. hist. −88 Test GR2 →"Naiwne" dowody niewprost
• 17:4217:42, 2 sie 2006 różn. hist. −9 Test GR2 →"Naiwne" dowody niewprost
• 15:5415:54, 2 sie 2006 różn. hist. +109 Test GR2 →"Naiwna" teoria mnogości
• 15:4515:45, 2 sie 2006 różn. hist. +133 Test GR2 →"Naiwna" teoria mnogości
• 14:5914:59, 2 sie 2006 różn. hist. +46 Test GR2 →"Naiwna" teoria mnogości
• 13:2413:24, 2 sie 2006 różn. hist. +73 Test GR2 →"Naiwna" teoria mnogości
• 12:2712:27, 2 sie 2006 różn. hist. −5 Test GR2 →"Naiwna" teoria mnogości
• 12:0812:08, 2 sie 2006 różn. hist. +2 Test GR2 →"Naiwna" teoria mnogości
• 11:5111:51, 2 sie 2006 różn. hist. +116 Test GR2 →"Naiwna" teoria mnogości
• 10:3910:39, 2 sie 2006 różn. hist. +34 050 N Test GR2 Nie podano opisu zmian
• 10:3010:30, 2 sie 2006 różn. hist. +14 Strona główna stara →Inne
• 10:2110:21, 2 sie 2006 różn. hist. −7 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Język maszyny. Języki rekurencyjne i rekurencyjnie przeliczalne
• 10:0410:04, 2 sie 2006 różn. hist. +1 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Działanie
• 09:5909:59, 2 sie 2006 różn. hist. +2 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Definicja formalna
• 09:5409:54, 2 sie 2006 różn. hist. +2 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Definicja formalna

1 sie 2006

• 22:3422:34, 1 sie 2006 różn. hist. +9 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Niedeterministyczna maszyna Turinga
• 22:3022:30, 1 sie 2006 różn. hist. −59 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Zasoby potrzebne do obliczenia maszyny
• 22:2522:25, 1 sie 2006 różn. hist. −26 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Język maszyny. Języki rekurencyjne i rekurencyjnie przeliczalne
• 22:2222:22, 1 sie 2006 różn. hist. +2 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Reprezentacja
• 21:3021:30, 1 sie 2006 różn. hist. −1 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Niedeterministyczna maszyna Turinga
• 21:2321:23, 1 sie 2006 różn. hist. +2 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia
• 21:2121:21, 1 sie 2006 różn. hist. +4 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia
• 21:1221:12, 1 sie 2006 różn. hist. +4 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia
• 20:3820:38, 1 sie 2006 różn. hist. +1 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Język maszyny. Języki rekurencyjne i rekurencyjnie przeliczalne
• 20:3020:30, 1 sie 2006 różn. hist. −1066 Test GR Nie podano opisu zmian
• 19:5519:55, 1 sie 2006 różn. hist. −21 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia
• 19:2819:28, 1 sie 2006 różn. hist. −31 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Definicja formalna
• 18:5618:56, 1 sie 2006 różn. hist. −7 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Reprezentacja
• 13:4713:47, 1 sie 2006 różn. hist. +32 489 Test GR Nie podano opisu zmian
• 11:5411:54, 1 sie 2006 różn. hist. +8 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Język maszyny. Języki rekurencyjne i rekurencyjnie przeliczalne
• 11:5111:51, 1 sie 2006 różn. hist. +8 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Reprezentacja
• 09:4809:48, 1 sie 2006 różn. hist. +8 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia
• 09:4509:45, 1 sie 2006 różn. hist. +12 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia
• 09:4209:42, 1 sie 2006 różn. hist. +4 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia
• 09:4009:40, 1 sie 2006 różn. hist. +4 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia
• 09:3809:38, 1 sie 2006 różn. hist. +13 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia
• 09:3209:32, 1 sie 2006 różn. hist. +3 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia
• 09:2109:21, 1 sie 2006 różn. hist. 0 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia

31 lip 2006

• 18:2718:27, 31 lip 2006 różn. hist. −2 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia
• 18:0818:08, 31 lip 2006 różn. hist. +6 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia
• 18:0418:04, 31 lip 2006 różn. hist. +5 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia
• 17:4317:43, 31 lip 2006 różn. hist. −1 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Język maszyny. Języki rekurencyjne i rekurencyjnie przeliczalne
• 17:3917:39, 31 lip 2006 różn. hist. +8 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Język maszyny. Języki rekurencyjne i rekurencyjnie przeliczalne
• 17:1517:15, 31 lip 2006 różn. hist. +1 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Język maszyny. Języki rekurencyjne i rekurencyjnie przeliczalne
• 16:0216:02, 31 lip 2006 różn. hist. +168 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia

30 lip 2006

• 20:5020:50, 30 lip 2006 różn. hist. +503 Test GR Nie podano opisu zmian
• 19:4519:45, 30 lip 2006 różn. hist. +2 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia
• 19:2719:27, 30 lip 2006 różn. hist. −41 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Język maszyny. Języki rekurencyjne i rekurencyjnie przeliczalne
• 17:0417:04, 30 lip 2006 różn. hist. +19 Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga →Ćwiczenia