Всякому методу соответствует задачка, для решения которой он был построен. Оборотное утверждение в общем случае является неправильным по двум причинам:…
Метод был ранее определен как алфавитный оператор с конечной системой правил преобразования. Для записи входных, промежуточные и выходных слов употребляется…
Вернемся к формулировке трудности, решение которой дискуссировалось. Некие теоретические трудности (к примеру, неувязка алгоритмической разрешимости) и потребности практики (к примеру,…
Коротко обсудим 3-ий подход к уточнению (конкретизации) понятия метода. По смыслу оно близко к идеям Тьюринга, но, в нем не…