Problém zastavení: Historie verzí

Filtrovat revizerozbalitsbalit

Do data:

Filtr podle značek:

Obrátit výběr

Chcete-li zobrazit některou ze starších verzí stránky, klikněte na její datum nebo čas. Více informací naleznete na stránkách Nápověda:Historie stránky a Wikipedie:Shrnutí editace.
Externí nástroje: Statistika starších verzí · Prohledávání starších verzí · Statistika návštěvnosti

Výběr rozdílu: Vyberte přepínače u revizí, které chcete porovnat, a stiskněte enter nebo tlačítko dole.
Legenda: (teď) = rozdíl oproti aktuální verzi, (předchozí) = rozdíl oproti předchozí verzi, m = malá editace, → = editace sekce

teďpředchozí 02:3626. 8. 2021, 02:36‎ Ozzy diskuse příspěvky‎ 3 522 bajtů +20‎ →‎top: link Turingův stroj zrušit editaci

teďpředchozí 10:1629. 2. 2020, 10:16‎ Kolarp diskuse příspěvky‎ m 3 502 bajtů +18‎ +Kategorie:Algoritmicky neřešitelné úlohy, -Kategorie:Vyčíslitelnost zrušit editaci

teďpředchozí 13:2331. 5. 2019, 13:23‎ 109.81.209.9 diskuse‎ 3 484 bajtů +177‎ Doplnění, že problém HP je částečně rozhodnutelný (podmnožina nerozhodnutelných problémů). zrušit editaci značka: editace z Vizuálního editoru

teďpředchozí 11:134. 10. 2017, 11:13‎ JAnDbot diskuse příspěvky‎ m 3 307 bajtů +23‎ Robot: přidáno {{Autoritní data}}; kosmetické úpravy zrušit editaci

teďpředchozí 18:0914. 12. 2016, 18:09‎ Mormegil diskuse příspěvky‎ m 3 284 bajtů +10‎ →‎Náčrt důkazu: snad lepší pojmenování parametru zrušit editaci

teďpředchozí 12:3512. 12. 2016, 12:35‎ Mormegil diskuse příspěvky‎ 3 274 bajtů +119‎ →‎Náčrt důkazu: formátování, úprava/doplnění formulací, aby tam nechyběl předpoklad nezacyklení Zastaví zrušit editaci
teďpředchozí 03:2512. 12. 2016, 03:25‎ 89.29.20.218 diskuse‎ 3 155 bajtů +8‎ →‎Diagonalizační důkazy: typo zrušit editaci
teďpředchozí 03:2412. 12. 2016, 03:24‎ 89.29.20.218 diskuse‎ 3 147 bajtů +6‎ →‎Náčrt důkazu: typo zrušit editaci

teďpředchozí 09:3317. 10. 2014, 09:33‎ Pavel Jelínek diskuse příspěvky‎ 3 141 bajtů +564‎ + == Diagonalizační důkazy == zrušit editaci

teďpředchozí 19:178. 3. 2013, 19:17‎ Addbot diskuse příspěvky‎ m 2 577 bajtů −722‎ Bot: Odstranění 25 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q622849) zrušit editaci

teďpředchozí 22:011. 6. 2012, 22:01‎ EmausBot diskuse příspěvky‎ m 3 299 bajtů +5‎ r2.7.3) (Robot: Upravuji it:Problema della terminazione zrušit editaci

teďpředchozí 04:394. 9. 2011, 04:39‎ ChuispastonBot diskuse příspěvky‎ m 3 294 bajtů +25‎ r2.7.1) (robot přidal: vi:Bài toán dừng zrušit editaci

teďpředchozí 10:3831. 5. 2011, 10:38‎ Mormegil diskuse příspěvky‎ 3 269 bajtů −12‎ Verze 6961446 uživatele 80.188.22.166 (diskuse) zrušena: to bylo v pořádku, zkuste nad tím chvíli bádat ;-) zrušit editaci
teďpředchozí 10:3231. 5. 2011, 10:32‎ 80.188.22.166 diskuse‎ 3 281 bajtů +12‎ Bez shrnutí editace zrušit editaci

teďpředchozí 03:109. 4. 2011, 03:10‎ Luckas-bot diskuse příspěvky‎ m 3 269 bajtů +37‎ r2.7.1) (robot přidal: sr:Халтинг проблем zrušit editaci

teďpředchozí 16:243. 11. 2010, 16:24‎ RedBot diskuse příspěvky‎ m 3 232 bajtů 0‎ robot změnil: fa:مسئله توقف zrušit editaci

teďpředchozí 02:2627. 2. 2009, 02:26‎ Xqbot diskuse příspěvky‎ m 3 232 bajtů +27‎ robot přidal: sk:Problém zastavenia zrušit editaci

teďpředchozí 07:4617. 9. 2008, 07:46‎ ArthurBot diskuse příspěvky‎ m 3 205 bajtů +1‎ Robot: úpravy HTML zrušit editaci

teďpředchozí 16:0629. 7. 2008, 16:06‎ VolkovBot diskuse příspěvky‎ m 3 204 bajtů +27‎ robot přidal: simple:Halting problem zrušit editaci

teďpředchozí 09:4816. 3. 2008, 09:48‎ SilvonenBot diskuse příspěvky‎ m 3 177 bajtů +2‎ robot změnil: ru:Проблема остановки zrušit editaci

teďpředchozí 15:081. 2. 2008, 15:08‎ SieBot diskuse příspěvky‎ m 3 175 bajtů +25‎ robot přidal: eo:Problemo de halto zrušit editaci

teďpředchozí 17:2430. 12. 2007, 17:24‎ Aibot diskuse příspěvky‎ m 3 150 bajtů +39‎ robot přidal: uk:Проблема зупинки zrušit editaci

teďpředchozí 15:5729. 12. 2007, 15:57‎ AlleborgoBot diskuse příspěvky‎ m 3 111 bajtů −27‎ robot změnil: ja:停止性問題 zrušit editaci

teďpředchozí 12:154. 7. 2007, 12:15‎ Bota47 diskuse příspěvky‎ m 3 138 bajtů −7‎ robot změnil: nl:Stopprobleem zrušit editaci

teďpředchozí 03:0220. 5. 2007, 03:02‎ JAnDbot diskuse příspěvky‎ m 3 145 bajtů +29‎ robot přidal: hr:Problem zaustavljanja zrušit editaci

teďpředchozí 12:487. 5. 2007, 12:48‎ PastoriBot diskuse příspěvky‎ m 3 116 bajtů 0‎ Podívejte se na Související články zrušit editaci

teďpředchozí 12:4926. 2. 2007, 12:49‎ JAnDbot diskuse příspěvky‎ m 3 116 bajtů −2‎ robot změnil: ru:Проблема останова zrušit editaci

teďpředchozí 03:4823. 1. 2007, 03:48‎ Thijs!bot diskuse příspěvky‎ m 3 118 bajtů +30‎ robot přidal: it:Problema della fermata zrušit editaci

teďpředchozí 17:1125. 12. 2006, 17:11‎ Thijs!bot diskuse příspěvky‎ m 3 088 bajtů +26‎ robot přidal: pt:Problema da parada zrušit editaci

teďpředchozí 06:1527. 8. 2006, 06:15‎ Thijs!bot diskuse příspěvky‎ m 3 062 bajtů +17‎ robot přidal: zh:停机问题 změnil: fa:مساله توقف zrušit editaci

teďpředchozí 00:4826. 8. 2006, 00:48‎ Kvido diskuse příspěvky‎ 3 045 bajtů +13‎ přidáno _algoritmicky_ nerozhodnutelný zrušit editaci

teďpředchozí 01:3331. 7. 2006, 01:33‎ YurikBot diskuse příspěvky‎ m 3 032 bajtů +50‎ robot přidal: ca:Problema de la parada, sv:Stopproblemet zrušit editaci

teďpředchozí 16:1931. 5. 2006, 16:19‎ Pavel Kotrč diskuse příspěvky‎ m 2 982 bajtů +5‎ přesnější kategorizace zrušit editaci
teďpředchozí 16:0131. 5. 2006, 16:01‎ ToOb diskuse příspěvky‎ m 2 977 bajtů +23‎ počítačový program zrušit editaci

teďpředchozí 10:0928. 4. 2006, 10:09‎ YurikBot diskuse příspěvky‎ m 2 954 bajtů −2‎ robot změnil: fa:مساله‌ توقف zrušit editaci

teďpředchozí 08:0718. 3. 2006, 08:07‎ YurikBot diskuse příspěvky‎ m 2 956 bajtů +29‎ robot přidal: es zrušit editaci

teďpředchozí 04:0911. 3. 2006, 04:09‎ Bota47 diskuse příspěvky‎ m 2 927 bajtů +21‎ robot přidal: ko zrušit editaci

teďpředchozí 03:1423. 10. 2005, 03:14‎ YurikBot diskuse příspěvky‎ m 2 906 bajtů +26‎ robot přidal: fi zrušit editaci

teďpředchozí 15:005. 9. 2005, 15:00‎ Zwobot diskuse příspěvky‎ m 2 880 bajtů +32‎ robot přidal: fa zrušit editaci

teďpředchozí 12:164. 8. 2005, 12:16‎ YurikBot diskuse příspěvky‎ m 2 848 bajtů −162‎ robot přidal: ru zrušit editaci

teďpředchozí 12:3822. 6. 2005, 12:38‎ Postrach diskuse příspěvky‎ 3 010 bajtů 0‎ →‎Náčrt důkazu: drobne rozsireni zrušit editaci
teďpředchozí 12:3822. 6. 2005, 12:38‎ Postrach diskuse příspěvky‎ 3 010 bajtů +105‎ →‎Náčrt důkazu: drobne rozsireni zrušit editaci
teďpředchozí 07:1422. 6. 2005, 07:14‎ Beren diskuse příspěvky‎ m 2 905 bajtů −5‎ →‎Náčrt důkazu: typo zrušit editaci

teďpředchozí 18:1021. 6. 2005, 18:10‎ Beren diskuse příspěvky‎ 2 910 bajtů +664‎ →‎Náčrt důkazu: dělalo mi problémy onen velmi stručný nástin důkazu pochopit, tak jsem to zkusil napsat polopaticky. Pokud se mi to nepovedlo, revertujte zrušit editaci
teďpředchozí 16:3821. 6. 2005, 16:38‎ Mormegil diskuse příspěvky‎ 2 246 bajtů +1 304‎ +pár maličkostí a náčrt důkazu (ale asi je to poněkud nesrozumitelné), -{{Pahýl} – sice se o halting problému dá mluvit dlouho, ale základní informace už tu snad jsou zrušit editaci

teďpředchozí 21:0519. 6. 2005, 21:05‎ Forejtv diskuse příspěvky‎ 942 bajtů +942‎ Bez shrnutí editace

Problém zastavení: Historie verzí

26. 8. 2021

29. 2. 2020

31. 5. 2019

4. 10. 2017

14. 12. 2016

12. 12. 2016

17. 10. 2014

8. 3. 2013

1. 6. 2012

4. 9. 2011

31. 5. 2011

9. 4. 2011

3. 11. 2010

27. 2. 2009

17. 9. 2008

29. 7. 2008

16. 3. 2008

1. 2. 2008

30. 12. 2007

29. 12. 2007

4. 7. 2007

20. 5. 2007

7. 5. 2007

26. 2. 2007

23. 1. 2007

25. 12. 2006

27. 8. 2006

26. 8. 2006

31. 7. 2006

31. 5. 2006

28. 4. 2006

18. 3. 2006

11. 3. 2006

23. 10. 2005

5. 9. 2005

4. 8. 2005

22. 6. 2005

21. 6. 2005

19. 6. 2005