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