α–уровнем нечеткого подмножества А универсального множества U называется такое подмножество Аα универсального множества U, для которого верно
(*ответ*) "uÎAα : mA (u) ³ α
"uÎAα : mA (u) £ α
"uÎAα : mA (u) = α
"uÎAα : mA (u) < α
Автомат, однократно считывающий входную строку слева направо, называется
(*ответ*) конечным
дискретным
элементарным
МП–автоматом
Атомарная формула или ее отрицание называется
(*ответ*) литерой
предикатом
дизъюнктом
конъюнктом
Базовая единица языка, обладающая определенной для данного языка синтаксической и смысловой законченностью и выражающая утверждение, называется
(*ответ*) предложением
словом
выражением
подмножеством
В 1–й строке матрицы переходов конечного автомата находятся
(*ответ*) символы алфавита
начальные состояния автомата
конечные состояния автомата
все возможные состояния автомата
В 1–м столбце матрицы переходов конечного автомата находятся
(*ответ*) все возможные состояния автомата
символы алфавита
начальные состояния автомата
конечные состояния автомата
В логике принято выделять следующие основные типы рассуждений:
(*ответ*) индуктивные
(*ответ*) дедуктивные
предикативные
доказуемые
информационные
В любой рекурсивно аксиоматизированной формальной системе множество доказуемых утверждений
(*ответ*) рекурсивно перечислимо
нерекурсивно
неперечислимо
разрешимо
В модальную логику входят понятия
(*ответ*) необходимости
(*ответ*) возможности
рекусивности
перечислимости
В основе описания нечеткой логики лежит теория нечетких
(*ответ*) множеств
высказываний
отношений
выражений
В понятие формулы высказываний входят
(*ответ*) высказывания
(*ответ*) высказывательные формы
выводы
отношения
выражения
В систему аксиом Пеано входит _ аксиом (ответ дайте цифрой)
(*ответ*) 5
В язык первого порядка входят множества
(*ответ*) констант
(*ответ*) функциональных символов
(*ответ*) предикатных символов
натуральных чисел