Класс примитивно рекурсивных функций _ вычислимых функций
(*ответ*) входит в класс
содержит в себе класс
совпадает с классом
дополняет класс
Количество типов команд машины Тьюринга равно _ (ответ укажите цифрой)
(*ответ*) 3
Количество элементарных действий, из которых состоит команда машины Тьюринга, равно _ (ответ укажите цифрой)
(*ответ*) 2
Комбинация знаков, содержащая знаки переменных, которая превращается в высказывание при замене переменных именами предметов, называется _ формой
(*ответ*) высказывательной
именной
иносказательной
абстрактной
Конечному автомату соответствует грамматика, порождающая
(*ответ*) регулярный язык
машину Тьюринга
язык программирования
словарь машины Тьюринга
Концептуальное отличие нечеткой логики от классической заключается в том, что она оперирует
(*ответ*) не только значениями "истина" и "ложь", но и промежуточными значениями
только значениями "истина" и "ложь"
только промежуточными между значениями "истина" и "ложь" значениями
только значениями "ложь"
Логика Буля основывается на
(*ответ*) отношении эквивалентности
отношении порядка
аксиоматическом подходе
отношении эквивалентности и отношении порядка
Логика высказываний и логика предикатов базируются на
(*ответ*) отношении порядка
отношении эквивалентности
аксиоматическом подходе
отношении эквивалентности и отношении порядка
Логика, в которой для решения логических задач используется язык математических и логических знаков, называется логикой
(*ответ*) математической
высказываний
Буля
предикатов
Любое повествовательное предложение, о котором имеет смысл говорить, что оно (его содержание) истинно или ложно, называется
(*ответ*) высказыванием
выражением
выводом
отношением
Марковский алгоритм носит также название _ алгоритма
(*ответ*) нормального
недетерминированного
нелинейного
стохастического
Машина Тьюринга читает и пишет на ленте символы, которые образуют
(*ответ*) внешний алфавит
команды
выражения
внутренний алфавит
Многозначную логику, позволяющую определить промежуточные значения для таких общепринятых оценок, как да/нет, истинно/ложно, черное/белое, называют _логикой
(*ответ*) нечеткой
модальной
математической
логикой высказываний