Teorie vyčíslitelnosti: Porovnání verzí

← Přejít na předchozí porovnání Přejít na další porovnání →

Smazaný obsah Přidaný obsah

V textu

Verze z 8. 4. 2006, 21:56

Teorie vyčíslitelnosti zkoumá hranice algoritmické konstrukce množin. Pro modelování využívá například Turingův stroj a intuicionistickou logiku.

Zajímavé výsledky:

Nelze zkonstruovat algoritmus, který by pro obecný program ověřil jeho konečnost (tzv. problém zastavení).

Pahýl

Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.

@@ Řádek 13: / Řádek 13: @@
 [[es:Teoría de la computabilidad]]
 [[fr:Calculabilité]]
+[[it:Teoria della calcolabilità]]
 [[ja:計算可能性理論]]
 [[ko:계산가능성 이론]]
 [[nl:Berekenbaarheid]]
+[[pl:Teoria obliczalności]]
 [[ru:Теория вычислимости]]
 [[simple:Computability theory]]