a-уровнем нечеткого подмножества А универсального множества U называется такое подмножество универсального множества U, для которого верно
w-непротиворечивая формальная система является
________ называется способ понимания суждения об объекте, явлении или событии
________ является создателем формальной логики
________- это раздел математики, объектом изучения которого являются математические абстракции программ, выполненных на определенных алгоритмических языках и обладающих определенной информационной и логической структурой
_________ - это способ обозначения определенного понятия, предмета, свойства, используемый для присвоения, хранения, обработки и передачи информации
__________ выдвинул идею использования рекурсии для решения задач, связанных с основаниями математики
__________ называется выражением
__________ обозначается логической связкой , где А - высказывание
__________ является функция, полученная из вычислимой с помощью рекурсии
__________- называется язык, на котором описывается другой язык
___________- это логическая функция, принимающая значения в некоторой области истинностных значений
__________________ называются высказывания и высказывательные формы
Аксиоматическая теория возникла в связи со стремлением уточнить методы теории множеств таким образом, чтобы избежать парадоксов
Аксиоматический подход, в отличие от конструктивного, опирается
Атомарная формула или ее отрицание называется
Базовая единица языка, обладающая определенной для данного языка синтаксической и смысловой законченностью и выражающая утверждение, называется
В XIX столетии оживился интерес к логике под влиянием открытия
В логических парадоксах используются только понятия теории
В рекурсивно аксиоматизированной формальной системе, в которой все доказуемые утверждения истинны, существует истинное утверждение s, так что: 1) s опровержимо; 2) Øs опровержимо
В рекурсивно аксиоматизированной формальной системе, в которой все доказуемые утверждения истинны, существует истинное утверждение s, так что: 1) s недоказуемо; 2) Øs доказуемо - из перечисленного
В своей самой первой работе по нечетким множествам Л. Заде предложил два нечетких множества
В случае когда дать какие-либо количественные оценки невозможно, но имеются некоторые эталонные объекты, описывать другие объекты предполагается с помощью
Внутреннее состояние машины Тьюринга обозначается
Внутренним алфавитом машины Тьюринга называется
Возможность существования универсальной вычислительной машины, способной выполнить любую эффективную процедуру, показал
Всякая непротиворечивая система арифметики с рекурсивной системой аксиом
Всякое непустое ______ множество является _________ некоторой всюду определенной вычислимой функции
Входной алфавит определяется как
Выражение (комбинация знаков), содержащее знаки «переменных», которое превращается в имя предмета, если вместо «переменных» поставить надлежащим образом выбранные имена предметов, называется
Выражение является
Высказывание - это предикатная
Геделевский номер, равный 23, имеет функция
Геделевский номер, равный , имеет функция
Грамматика, порождающая _________, соответствует конечному автомату
Два вида правил, называемых правилами образования и правилами преобразования, содержит теория, которая называется
Дедуктивные рассуждения преобладают в науках, которые принято называть
Для каждой рекурсивно аксиоматизированной формальной системы множество доказуемых утверждений
Для обозначения какой-либо связи между предметами или понятиями используется математический термин, который называется
Дополнение к области определения некоторой вычислимой функции _________ рекурсивно перечислимым
Другое название семантических парадоксов-
Единственным неопределимым отношением в системе Пеано является выражение
Если множество не содержит никаких элементов, то оно называется
Если множество неперечислимо, то оно _______ областью определения и ______ множеством значений всюду определенной вычислимой функции
Если множество нерекурсивно, то оно _______ областью определения и ______ множеством значений всюду определенной вычислимой функции
Если множество является множеством значений некоторой вычислимой функции, то оно называется
Если функция либо принадлежит к числу исходных п.р.ф., либо может быть получена из них с помощью операторов __________, то она называется частично рекурсивной
Если характеристический предикат множества является вычислимым, такое множество называется
Законченная последовательность знаков определенной длины, воспринимаемая как элемент обработки с определенным семантическим содержанием, называется
Запись _________ означает: выражение «множество А содержится в множестве В»
Запись __________ обозначает объединение множеств А и В
Запись __________ обозначает пересечение множеств А и В
Запись __________ обозначает разность между А и В
Запись ______________ обозначает логическую связку дизъюнкции высказываний А и В
Запись ______________ обозначает логическую связку импликации
Запись ______________ обозначает логическую связку конъюнкции высказываний А и В
Запись ______________ обозначает логическую связку эквивалентность
Из _________элементарных действий состоит команда машины Тьюринга
Имена и предложения называются фразами
Имена предметов и именные формы называются
Интуитивное представление о «вычислительной процедуре» существовало давно, и за этими процедурами был закреплен специальный термин
Истинная при всех интерпретациях формула называется
К любому множеству дизъюнктов можно применять метод резолюций с целью проверки их на
К синтаксическому правилу (т. е. к любой фразе, построенной с использованием базовых термов и терминальных символов) предъявляется требование
Каждый язык первого порядка задается своим набором из
Класс примитивно рекурсивных функций
Когда A и B - рекурсивные множества, рекурсивны также множестваI. II.III.
Когда A рекурсивно, а B - рекурсивно перечислимо, то _____ рекурсивно
Когда и рекурсия проводится по , то функция равна
Когда и рекурсия проводится по , функция равна
Когда и рекурсия проводится по , функция равна
Когда и рекурсия проводится по , функция равна
Когда и рекурсия проводится по , функция равна
Когда и рекурсия проводится по , функция равна
Когда и рекурсия проводится по переменной , функция равна
Когда и рекурсия проводится по переменной , функция равна
Когда и рекурсия проводится по переменной , функция равна
Когда и рекурсия проводится по переменной , функция равна
Когда и рекурсия проводится по переменной , функция равна
Когда и рекурсия проводится по переменной , функция равна
Количество аксиом в системе Пеано равно
Команд машины Тьюринга существует
Комбинация знаков, содержащая знаки переменных, которая превращается в высказывание при замене переменных именами предметов, называется
Композиция и равна
Конечное множество команд, имеющих попарно различные начальные пары символов, называется
Концептуальное отличие нечеткой логики от классической заключается в том, что она оперирует
Лента машины Тьюринга
Лингвистической переменной на базовые термы накладываются следующие ограничения:
Логика Буля основывается на
Логика высказываний и логика предикатов базируются уже на
Логика интересуется в первую очередь
Логику можно разделить на формальную и
Логику, являющуюся многозначной логикой, что позволяет определить промежуточные значения для таких общепринятых оценок, как да|нет, истинно|ложно, черное|белое, называют
Любая неразрешимая алгоритмическая проблема дает пример множества
Любая п.р.ф имеет _______________число номеров
Любое повествовательное предложение, о котором имеет смысл говорить, что оно (его содержание) истинно или ложно, называется
Машина Тьюринга есть совокупность компонент
Машина Тьюринга читает и пишет на ленте символы, которые образуют
Метод парных сравнений, лежит в основе метода анализа иерархий, предложенного
Множество А есть подмножество В в том и только в том случае, если каждый элемент множества А является также
Множество ________ тогда и только тогда, когда оно является _______ некоторой вычислимой функции
Множество аксиом вместе с явным определением доказательства составляют
Множество всевозможных осмысленных утверждений языка является
Множество всех истинных утверждений языка L является
Множество доказуемых утверждений формальной системы арифметики
Множество истинных утверждений
Множество натуральных чисел является
Множество номеров несамоприменимых машин Тьюринга
Множество номеров самоприменимых машин Тьюринга
Множество простых чисел является
Множество составных чисел является
Набор (Х, Т(Х), U, G, M), где Х - название переменной, Т(Х) - терм, называется
Нечеткая логика - это надмножество
Нечеткое множество, высота которого меньше 1, называется
Нечеткое множество, высота которого равна 1, называется
Нечеткое отношение - это заданное определенным образом
Обозначающий индивидуальный объект или понятие символ - это
Объединение произвольного количества вполне определенных, отличных друг от друга объектов, природа и свойства которых могут быть какими угодно, называется
Однократно считывающий входную строку слева направо автомат называется
Оптимистические надежды Гильберта на полное решение вопросов оснований математики поколебала Теорема Геделя о неполноте арифметики с помощью
Осмысленные конечные последовательности символов из алфавита L называются
Основу метода парных сравнений составляет процедура обработки результатов опроса экспертов, представленных в виде
Основу описания нечеткой логики составляет теория нечетких
Под декартовым произведением понимают операцию над
Под логикой понимают как науку о
Под марковским алгоритмом понимают ___________ алгоритм
Подход, состоящий в поиске адекватной конструктивной модели, называется
Полнота - это условие, что для любого утверждения s одно из утверждений s и Øs
Понятия необходимости, возможности или родственные этим понятия содержатся в логике, которая называется
Последовательное применение ряда формул теории, такое, что любая формула этого ряда есть либо аксиома этой теории, либо непосредственное следствие из применения предыдущих формул, называется
Построить любую правильную цепочку символов позволяет формальная грамматика, которая называется грамматикой
Правилами употребления характеризуется знак, который носит название
При функция в рекуррентной формуле равна
При функция в рекуррентной формуле равна
При функция в рекуррентной формуле равна
При функция (n,m) в рекуррентной формуле равна
При аксиоматическом подходе, как методе доказательства, осуществляется движение мысли от
Примем, что R - рекурсивность, а P - рекурсивная перечислимость. Тогда
Примером логического парадокса может служить
Примером семантического парадокса может(-гут) служить
Примитивную рекурсивность не сохраняет оператор
Принадлежность элемента некоторому множеству обозначается знаком
Пространственные или временные характеристики процесса вычисления называются
Рассуждения в логике принято делить на
Рекурсивное множество является ______ всюду определенной вычислимой функции
С целью составления предикатных функций используют
Свойство формальной аксиоматической теории, когда в ее рамках не возможно доказать две противоречащие друг другу теоремы, называется
Символы _____________ входят в алфавит формального логического языка
Система теоретико-множественных операций над высказываниями, которые являются элементами множества, называется
Система, в которой знаки не функционируют независимо друг от друга, а образуют систему, правила которой определяют закономерности их построения, осмысления и употребления, называется
Совокупность исходных знаков, принятых за неделимые, и правил построения из них слов и словосочетаний без всякой связи с их возможной семантикой называется языком
Согласно _______________не существует формальной системы арифметики, удовлетворяющей условиям полноты и противоречивости
Согласно_________ всякая вычислимая функция является вычислимой по Тьюрингу
Соединяемые функтором фразы называются
Способ видения объектов формальных систем как конкретных объектов при условии, что содержательные объекты сохраняют структуру формальных, называется
Способ выбора подкласса истинных высказываний, принадлежащих классу элементарных высказываний, - это
Способы обоснования суждений, доказательств, мышления и логического вывода изучает наука, которая называется
Средство для соединения фраз для преобразования других фраз называется
Существуют три основных класса фраз: имена, предложения и
Теорема, связывающая рекурсивности множества с рекурсивной перечислимостью этого множества и его дополнения, называется теоремой
Теория алгоритмов является частью
Термин «все х» обозначается в логике предикатов
Термин «некоторые х» или «существует хотя бы одно значение х» обозначается через
Требование _________предъявляется к термам лингвистической переменной
Умозаключения - элементарные рассуждения, в которых из одного или нескольких суждений получается еще одно суждение, называемое
Усеченная разность равна
Установление соответствия между элементарными высказываниями формальной теории и содержательными высказываниями некоторой предметной области называется
Утверждение формально записывается как
Утверждение формально записывается как
Утверждение арифметики Пеано называется неразрешенным, если оно
Фигурирующие в кванторах всеобщности и существования переменные называются
Формализованный язык для однозначной записи алгоритмов называется
Формальная аксиоматическая теория, теоремы которой представляют собой формулы, выводимые по определенным правилам, называется
Формула в теории, для которой не существует механизма вывода в рамках этой теории и для выявления ее неразрешимости требуется применять эвристические процедуры, не поддающиеся формализации, называется
Формула в теории, для которой существует механизм вывода в рамках этой теории, называется
Функция вычисляется по формуле
Функция имеет Гёделевский номер, равный
Функция равна
Функция имеет гёделевский номер, равный
Функция имеет гёделевский номер, равный
Функция имеет гёделевский номер, равный
Функция является: 1) частично вычислимой; 2) примитивно рекурсивной; 3) частично рекурсивной
Функция является
Функция является примитивно рекурсивной, если она получается из набора исходных функций с помощью оператора: 1) рекурсии; 2) ограниченной минимизации; 3) подстановки - из перечисленного
Функция, вычислимая по Тьюрингу, является
Функция, вычисляемая некоторой машиной Тьюринга с входным и выходным алфавитами, называется
Функция, определяемая как число шагов в вычислении машиной Тьюринга, называется
Функция, равная единице тогда и только тогда, когда предикат истинен, называется
Частично вычислимая функция
Часть логики, в которой для решения логических задач используется язык математических и логических знаков, - это
Чаще всего на практике используется ________опрос экспертов
Челночный алгоритм является алгоритмом
Чтобы сделать точными математическими объектами математические утверждения, в математической логике используются языки
Экспликация - строгая (математическая) формулировка понятия
Язык логики предикатов является расширением языка
Язык, предложения (формулы) которого выражают суждения и отношения исследуемой математической теории, называется
