Поскольку существуют не полные по Тьюрингу языки, и, учитывая, что я не изучал Comp Sci в университете, может ли кто-нибудь объяснить что-то, что является неполным по Тьюрингу языком (например, Coq ) не может? Или полнота / неполнота не...

Я хочу создать минимальное универсальное в вычислительном отношении подмножество буквенно-цифровых кодов операций x86. В конце концов я хочу, чтобы подмножество содержало как можно меньше инструкций, и если есть несколько минимальных подмножеств, я...

Я заметил, что И, ИЛИ, НЕ эти три логических элемента являются функционально завершенными, это означает, что я могу представить любую таблицу истин только этими тремя элементами. Итак, я хочу знать, могу ли я представить какую-либо вычислимую...

Флаг знака указывает на то, что результаты операции отрицательны. Теперь, когда результат операции отрицателен, как я понимаю, установлен флаг знака. Но зачем это нужно. Потому что, если операция возвращает отрицательный результат, мы можем...