📚
Все вопросы
- Что из перечисленного является одноместным предикатом? #361
- В чем состоит смысл теоремы Райса? #362
- Для чего в схемах алгоритмов используется символ «процесс»? #363
- Если A и B — два алфавита, причем A⊆ B, то #364
- Если A и B — два алфавита, причем A ⊆ B, то #365
- Как называются свойства текстов, описывающих алгоритм? #366
- Как называется функция f, заданная на некотором множестве слов алфавита A? #367
- В каком случае дизъюнкция двух предикатов есть выполнимый предикат? #368
- Как называется правило построения последовательности Vi слов в алфавите A, исходя из данного слова V в этом алфавите? #369
- Какая теорема устанавливает алгоритмическую неразрешимость вообще всякого нетривиального свойства вычислимых функций? #370