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