Инструмент для извлечения из баз данных закономерностей, которые формулируются в виде

Инструмент для извлечения из баз данных закономерностей, которые формулируются в виде лингвистических выражений, - это _.
nbsp;(*ответ*) нечеткие ассоциативные управляла
nbsp;четкие ассоциативные правила
nbsp;нечеткие вопросы
nbsp;точные вопросы
Исчисление выражений именуется _, если любая тожественно истинная формула в нем доказуема.
nbsp;(*ответ*) полным в широком смысле
nbsp;полным в тесном смысле
nbsp;равнозначным
nbsp;общим
Логическое сложение это
nbsp;(*ответ*) дизъюнкция
nbsp;импликация
nbsp;эквиваленция
nbsp;конъюнкция
Логическое умножение это
nbsp;(*ответ*) конъюнкция
nbsp;дизъюнкция
nbsp;импликация
nbsp;эквиваленция
Множество M, на котором определен предикат P(x), величается _ определения предиката.
nbsp;(*ответ*) областью
nbsp;местом
nbsp;временем
nbsp;значением
Огромное количество со особым образом определенными на нем операциями сложения, умножения и отрицания это _.
nbsp;(*ответ*) булева алгебра
nbsp;истина
nbsp;закон идемпотентности
nbsp;закон поглощения
Набор свойств функции алгебры логики, при котором она имеет очень обычный вид это _.
nbsp;(*ответ*) свойства совершенства
nbsp;функция 3-х переменных
nbsp;дизъюнкция
nbsp;импликация
Образование доказуемой формулы из исходных доказуемых формул путем внедрения управлял вывода, величается _ из аксиом.
nbsp;(*ответ*) выводом формулы
nbsp;формулой исчисления выражений
nbsp;формулой алгебры логики
nbsp;доказательством формулы
Главным (неопределяемым) понятием математической логики является понятие _.
nbsp;(*ответ*) обычного высказывания
nbsp;сложного выражения
nbsp;равенства
nbsp;неравенства
Понятие нечеткой и лингвистической переменных употребляется при описании объектов и явлений с помощью _.
nbsp;(*ответ*) нечетких множеств
nbsp;четких множеств
nbsp;кратных множеств
nbsp;разности множеств
Понятия Математическая теория нечетких множеств и Нечеткая логика были в первый раз предложены американским ученым Лотфи Заде в _ г.
nbsp;(*ответ*) 1965
nbsp;1975
nbsp;1985
nbsp;1995
Последовательности символов алфавита исчисления выражений представляют собой _.
nbsp;(*ответ*) формулы исчисления выражений
nbsp;формулы алгебры логики
nbsp;характеристики совершенства
nbsp;функцию трех переменных
Преобразования формул на основе законов равносильностей величаются _.
nbsp;(*ответ*) равносильными преображеньями
nbsp;дизъюнкцией
nbsp;импликацией
nbsp;эквиваленцией
Неувязка _ содержится в выяснении вопроса: является данное исчисление непротиворечивым либо нет?
nbsp;(*ответ*) непротиворечивости
nbsp;полноты
nbsp;независимости
nbsp;разрешимости исчисления выражений