Список вопросов базы знаний

a-уровнем нечеткого подмножества А универсального множества U называется такое подмножество универсального множества U, для ко­торого верно

Аксиоматическая теория возникла в связи со стремлением уточнить методы теории множеств таким образом, чтобы избежать парадок­сов

Аксиоматический подход относится к такому методу доказательства, при котором осуществляется движение мысли от

Атомарная формула или ее отрицание называется

Базовая единица языка, обладающая определенной для данного языка синтаксической и смысловой законченностью и выражающая утверждение, называется

В логике принято делить рассуждения на

В логических парадоксах используются только понятия теории

В основе метода парных сравнений лежит процедура обработки ре­зультатов опроса экспертов, представленных в виде

В основе описания нечеткой логики лежит теория нечетких

В своей самой первой работе по нечетким множествам Л. Заде предложил два нечетких множества

Всякое повествовательное предложение, о котором имеет смысл говорить, что оно (его содержание) истинно или ложно, называется

Выражение (комбинация знаков), содержащее знаки «переменных», которое превращается в имя предмета, если вместо «переменных» поставить надлежащим образом выбранные имена предметов, называется

Выражение «множество А содержится в множестве В» записывается как

Выражение «элемент x не принадлежит множеству А» записывается как

Высказывание - это предикатная

Высказывания и высказывательные формы называются

Главное отличие аксиоматического подхода от конструктивно­го состоит в том, что аксиоматический подход опирается

Декартово произведение - это операция над

Для составления предикатных функций используют

Для того чтобы сделать точными математическими объектами математические утверждения, в математической логике используются языки

Если высота нечеткого множества меньше 1, то оно называется

Если высота нечеткого множества равна 1, то оно называется

Если невозможно дать какие-либо количествен­ные оценки, но имеются некоторые эталонные объекты, описывать другие объекты предполагается с по­мощью

Законченная последовательность знаков определенной длины, воспринимаемая как элемент обработки с определенным семантическим содержанием, называется

Знак, который характеризуется правилами его употребления, - это

Знаком принадлежности элемента некоторому множеству является знак

Имена предметов и именные формы называются

Интерес к логике оживился в XIX столетии под влиянием открытия

Интуитивное представление о «вычислительной процедуре» существовало давно, и за этими процедурами был закреплен специальный термин

К термам лингвистической переменной предъявляется лишь требование

Каждый язык первого порядка задается своим набором из

Комбинация знаков, содержащая знаки переменных, которая превращается в высказывание при замене переменных именами предметов, называется

Концептуальное отли­чие нечеткой логики от классической заключается в том, что она оперирует

Логика Буля основывается на

Логика высказыва­ний и логика предикатов базируются уже на

Логика, содержащая понятия необходимости, возможности или родственные этим понятия, называется

Логику можно определять как науку о

Логику можно разделить на формальную и

Логическая связка , где А - высказывание, обозначает

Логическая связка дизъюнкция высказываний А и В обозначается как

Логическая связка импликация обозначается как

Логическая связка эквивалентность обозначается

Логическая функция, принимающая значения в некоторой области истинностных значений, называется

Математический термин, используемый для обозначения какой-либо связи между предметами или понятиями, называется

Метод резолюций можно применять к любому множеству дизъюнктов с целью проверки их на

Множество А есть подмножество В в том и только в том случае, если каждый элемент множества А является также

Множество, не содержащее никаких элементов, называется

Набор (Х, Т(Х), U, G, M), где Х - название переменной, Т(Х) - терм, называется

Наиболее часто на практике используется опрос экспертов

Наука, изучающая способы обоснования суждений, доказательств, мышления и логического вывода, называется