Изменения

Теория вычислимости:Тикеты

95 байт добавлено, 22:38, 19 мая 2017

→‎Вычислительные формализмы

<li> [[Линейный ограниченный автомат]]</li>

<li> [[Сверхтьюринговые вычисления (гипервычисления)]]</li>

<li> [[Тьюринг-полнота]](4)</li># Провести аналогию с теоремой Геделя о неполноте

</ol>

748

правок