Наука, изучающая способы обоснования суждений, доказательств, мышления и логического вывода, называется
(*ответ*) логикой
Не рекурсивное множество может обладать следующими свойствами:
(*ответ*) может быть областью определения всюду определенной вычислимой функции
(*ответ*) может быть множеством значений всюду определенной вычислимой функции
не может быть множеством значений всюду определенной вычислимой функции
не может быть областью определения всюду определенной вычислимой функции
Нечеткая логика – это надмножество логики
(*ответ*) Буля
модальной
высказываний
математической
Нечеткое множество, высота которого меньше 1, называется
(*ответ*) субнормальным
четким
единичным
нормальным
Нечеткое множество, высота которого равна 1, называется
(*ответ*) нормальным
субнормальным
одиночным
четким
Нечеткое отношение – это заданное определенным образом
(*ответ*) отображение
декартово произведение
отношение
высказывание
Объединение произвольного количества вполне определенных, отличных друг от друга объектов, природа и свойства которых могут быть какими угодно, называется
(*ответ*) множеством
выражением
алгоритмом
совокупностью
Одним из самых распространенных методов опросов экспертов является метод парных сравнений, лежащий в основе метода анализа иерархий, предложенного
(*ответ*) М. Саати
Кантором
Бурали–Форти
Расселом
Осмысленные конечные последовательности символов из алфавита L называются
(*ответ*) утверждениями
командами
словарем
программой
Основателем формальной логики был
(*ответ*) Аристотель
Основными разделами логики являются:
(*ответ*) математическая логика
(*ответ*) формальная логика
логика Буля
логика предикатов
Основу метода парных сравнений составляет процедура обработки результатов опроса экспертов, представленных в виде
(*ответ*) матрицы
функциональной зависимости
уравнения
отношения
П.р.ф. S2 (х) = х + 2 вычисляется по формуле
(*ответ*) S(S(x))
S2(x)
S{х+2)
S(х+3)