Функция e41имеет геделевский номер, одинаковый (ответ укажите цифрами)
(*ответ*) 23
Функция

Функция e41имеет геделевский номер, одинаковый (ответ укажите цифрами)
(*ответ*) 23
Функция величается отчасти рекурсивной, если она либо принадлежит к числу исходных п.р.ф., или может быть получена из их с помощью операторов
(*ответ*) подстановки
(*ответ*) рекурсии
(*ответ*) минимизации
nbsp;воззвания
Функция х+у: 1); 2); 3) обладает последующими качествами:
(*ответ*) примитивно рекурсивна
(*ответ*) отчасти рекурсивна
nbsp;отчасти вычислима
Функция является примитивно рекурсивной, если она выходит из комплекта исходных п.р.ф. с поддержкою операторов
(*ответ*) рекурсии
(*ответ*) подстановки
nbsp;ограниченной минимизации
Функция, определяемая как число шагов в вычислении машиной Тьюринга, величается
(*ответ*) временным ресурсом
nbsp;длиной программки
nbsp;геделевским номером
nbsp;характеристической
Функция, приобретенная из вычислимой функции с поддержкою оператора рекурсии, является
(*ответ*) вычислимой
nbsp;примитивно рекурсивной
nbsp;интегрируемой
nbsp;дифференцируемой
Функция, одинаковая единице тогда и только тогда, когда предикат истинен, величается
(*ответ*) характеристической
nbsp;вычислимой
nbsp;частично рекурсивной
nbsp;примитивно рекурсивной
Частично вычислимая функция может быть продолжена до
(*ответ*) вычислимой
nbsp;невычислимой
nbsp;интегрируемой
nbsp;постоянной
Число компонент машины Тьюринга одинаково _ (ответ укажите цифрой)
(*ответ*) 5
Язык логики предикатов является расширением языка логики
(*ответ*) высказываний
nbsp;математической
nbsp;нечеткой
nbsp;формальной
Язык, на котором описывается иной язык, величается
(*ответ*) метаязыком
nbsp;формальной системой
nbsp;автоматным языком
nbsp;формулой языка
Язык, предложения (формулы) которого выражают суждения и дела исследуемой математической теории, величается
(*ответ*) логико-математическим
nbsp;искусственным
nbsp;формальным
nbsp;программирования
w-непротиворечивая формальная система является
(*ответ*) неполной
nbsp;разрешимой
nbsp;правильной
nbsp;полной
Истины равенства являются общезначимыми:
(*ответ*) ошибочно
nbsp;правильно
В исчислении выражений начальными объектами являются:
(*ответ*) аксиомы
nbsp;буквы
nbsp;выражения
nbsp;знаки