📚
Все вопросы
- Что из перечисленного является одноместным предикатом? #371
- В чем состоит смысл теоремы Райса? #372
- Для чего в схемах алгоритмов используется символ «процесс»? #373
- Если A и B — два алфавита, причем A⊆ B, то #374
- Если A и B — два алфавита, причем A ⊆ B, то #375
- Как называются свойства текстов, описывающих алгоритм? #376
- Как называется функция f, заданная на некотором множестве слов алфавита A? #377
- В каком случае дизъюнкция двух предикатов есть выполнимый предикат? #378
- Как называется правило построения последовательности Vi слов в алфавите A, исходя из данного слова V в этом алфавите? #379
- Какая теорема устанавливает алгоритмическую неразрешимость вообще всякого нетривиального свойства вычислимых функций? #380