x,y,z – вещественные числа. Эквивалентна утверждению х Î[y,z] запись
x,y,z – вещественные числа. Эквивалентна утверждению х £y запись
α–уровнем нечеткого подмножества А универсального множества U называется такое подмножество Аα универсального множества U, для которого верно
Автомат, однократно считывающий входную строку слева направо, называется
Аксиоматический подход относится к такому методу доказательства, при котором осуществляется движение мысли от
Атомарная формула или ее отрицание называется
Базовая единица языка, обладающая определенной для данного языка синтаксической и смысловой законченностью и выражающая утверждение, называется
В 1–й строке матрицы переходов конечного автомата находятся
В 1–м столбце матрицы переходов конечного автомата находятся
В алфавит формального логического языка входят символы
В логике можно выделить следующие основные разделы:
В логике предикатов термин «некоторые» или «существует хотя бы одно значение» обозначается через
В любой рекурсивно аксиоматизированной формальной системе множество доказуемых утверждений
В модальную логику входят понятия
В основе метода парных сравнений лежит процедура обработки результатов опроса экспертов, представленных в виде
В основе описания нечеткой логики лежит теория нечетких
В понятие формулы высказываний входят
В системе арифметики натуральных чисел Пеано единственным неопределимым отношением является
В состав конечного автомата входят следующие элементы
В язык первого порядка входят множества
Во внутренних ячейках матрицы переходов записывается
Временные или пространственные характеристики процесса вычисления называются
Всякое непустое _________________ множество является ______________ некоторой всюду определенной вычислимой функции
Всякое повествовательное предложение, о котором имеет смысл говорить, что оно (его содержание) истинно или ложно, называется
Выражение (комбинация знаков), содержащее знаки «переменных», которое превращается в имя предмета, если вместо «переменных» поставить надлежащим образом выбранные имена предметов, называется ______________ формой
Выражение qi,аj Пql является ___________ машины Тьюринга
Выражение «множество А содержится в множестве В» записывается как
Высказывание – это
Вычислительная процедура, приводящая к решению поставленной задачи, называется
Геделевский номер функции e41, равен ______ (ответ укажите цифрами)
Другое название семантического парадокса – парадокс
Если f(n) = 2n, то функция h(n,m) в рекуррентной формуле равна
Если f(n) = cos(pn), то функция h(n,m) в рекуррентной формуле равна
Если f(n)=n!, то функция h(n,m) в рекуррентной формуле равна
Если f(x,y) = х + у и рекурсия проводится по переменной y, то функция h(х,у,m) равна
Если f(x,y) = х • у и рекурсия проводится по переменной x, то функция h(x,y,m) равна
Если f(x,y) = х+у и рекурсия проводится по переменной у, то функция g(x) равна
Если f(x,y,z) = z•х+у и рекурсия проводится по переменной z, то функция h(х,у,z,m) равна
Если f(x,y,z) == z • х + у и рекурсия проводится по переменной z, то функция g(х,у) равна
Если f(х, y) = х • у и рекурсия проводится по переменной у , то функция g(х) равна
Если f(х, у) = хy и рекурсия проводится по у, то функция g(х) равна _____ (ответ укажите цифрой)
Если f(х, у, z) = х + у2 + z и рекурсия проводится по у , то функция g{х, z) равна
Если f(х, у, z) = х + у2 + z и рекурсия проводится по у , то функция h(х, y, z, m) равна
Если f(х,y) = ху и рекурсия проводится по у, то функция h(х,y,z) равна
Если f(х,у) = х÷у и рекурсия проводится по х, то функция g(у) равна ______ (ответ укажите цифрой)
Если А и В – рекурсивные множества, то рекурсивны также множества 1) AÈB; 2) AÇB
Если А рекурсивно, а В – рекурсивно перечислимо, то множество _________ рекурсивно
Если высота нечеткого множества меньше 1, то оно называется
Если высота нечеткого множества равна 1, то оно называется
Если множество рекурсивно, то оно ___________________ всюду определенной вычислимой функции
Законченная последовательность знаков определенной длины, воспринимаемая как элемент обработки с определенным семантическим содержанием, называется
Знак, который характеризуется правилами его употребления, – это
Знаком принадлежности элемента некоторому множеству является символ
Интерес к логике оживился в ______ столетии под влиянием открытия неевклидовых геометрий (ответ укажите римскими цифрами)
К термам лингвистической переменной предъявляется лишь требование
Каждая п.р.ф. (примитивно–рекурсивная функция) имеет число геделевских номеров
Класс примитивно рекурсивных функций ________________________ вычислимых функций
Количество типов команд машины Тьюринга равно ________ (ответ укажите цифрой)
Команда машины Тьюринга состоит из __________ элементарных действий (ответ укажите цифрой)
Комбинация знаков, содержащая знаки переменных, которая превращается в высказывание при замене переменных именами предметов, называется _____________________ формой
Конечному автомату соответствует грамматика, порождающая
Конечные автоматы могут быть следующих типов:
Концептуальное отличие нечеткой логики от классической заключается в том, что она оперирует
Логика Буля основывается на
Логика высказываний и логика предикатов базируются на
Логику можно определять как науку о(об)
Логику, являющуюся многозначной логикой, позволяющей определить промежуточные значения для таких общепринятых оценок, как да/нет, истинно/ложно, черное/белое, называют
Логическая связка дизъюнкция высказываний А и В обозначается как
Логическая связка импликация обозначается как
Логическая связка конъюнкция высказываний А и В обозначается как
Логическая связка эквивалентность обозначается
Логическая функция, принимающая значения в некоторой области истинностных значений, называется
Логическое выражение Ā, где А – высказывание, обозначает
Любая неразрешимая алгоритмическая проблема дает пример множества
Марковский алгоритм носит также название ___________ алгоритма
Математиками, показавшими возможность существования универсальной вычислительной машины, способной выполнить любую эффективную процедуру, являются
Математиком, предложившим идею использования рекурсии для решения задач, связанных с основаниями математики, является
Математический термин, используемый для обозначения какой–либо связи между предметами или понятиями, называется
Множество A есть подмножество множества В в том и только в том случае, если каждый элемент множества А является
Множество аксиом вместе с явным определением доказательства составляют
Множество всевозможных осмысленных утверждений языка является
Множество всех истинных утверждений языка L является
Множество доказуемых утверждений формальной системы арифметики
Множество истинных утверждений
Множество натуральных чисел обладает свойствами
Множество номеров самоприменимой машины Тьюринга
Множество простых чисел обладает свойствами
Множество, если его характеристический предикат является вычислимым, называется
Множество, если оно является множеством значений некоторой вычислимой функции, называется
Наиболее часто на практике используется опрос экспертов
Наука, изучающая способы обоснования суждений, доказательств, мышления и логического вывода, называется
Науки, в которых преобладают дедуктивные рассуждения, принято называть
Не сохраняет примитивную рекурсивность оператор
Нечеткая логика – это надмножество логики
Нечеткое отношение – это заданное определенным образом
Объединение множеств А и В обозначается как
Объединение произвольного количества вполне определенных, отличных друг от друга объектов, природа и свойства которых могут быть какими угодно, называется
Одним из самых распространенных методов опросов экспертов является метод парных сравнений, лежащий в основе метода анализа иерархий, предложенного
Осмысленные конечные последовательности символов из алфавита L называются
Основные типы рассуждений, которые принято выделять в логике называются
П.р.ф. S2 (х) = х + 2 вычисляется по формуле
Переменные, фигурирующие в кванторах всеобщности и существования, называются ___________________ переменными
Пересечение множеств А и В обозначается как
Переход конечного автомата происходит
Под термом имеются ввиду следующие понятия:
Понятие полноты формальной системы состоит в том, что для любого утверждения s в рамках данной системы одно из утверждений ¬s и s
Последовательное применение ряда формул теории, такое, что любая формула этого ряда есть либо аксиома этой теории, либо непосредственное следствие из применения предыдущих формул, называется
Правильность слова, записанного на ленте конечного автомата, определяется по состоянию автомата
Примером логического парадокса может служить парадокс
Примером семантического парадокса могут служить парадаксы
Пусть R обозначает свойство рекурсивности, а Р – рекурсивной перечислимости. Тогда
Разность между множествами А и В обозначается
Свойства, которыми может обладать не рекурсивное множество:
Свойство формальной аксиоматической теории, когда в ее рамках невозможно доказать две противоречащие друг другу теоремы, называется
Символы, которые машина Тьюринга читает и пишет на ленте, образуют
Символы, которые определяют внутреннее состояние машин Тьюринга, образуют
Система аксиом Пеано содержит ______ аксиом (ответ дайте цифрой)
Система теоретико-множественных операций над высказываниями, которые являются элементами множества, называется ________________ высказываний
Совокупность исходных знаков, принятых за неделимые, и правил построения из них слов и словосочетаний без всякой связи с их возможной семантикой называется _________ языком
Создателем формальной логики был
Способ видения объектов формальных систем как конкретных объектов при условии, что содержательные объекты сохраняют структуру формальных, называется _________________ системы
Способ обозначения определенного понятия, предмета, свойства, используемый для присвоения, хранения, обработки и передачи информации, называется
Способ понимания суждения об объекте, явлении или событии называется
Существуют следующие классы фраз:
Существуют следующие формы записи работы конечного автомата:
Теорема о том, что не существует формальной системы арифметики, удовлетворяющей условиям полноты и непротиворечивости, носит имя ______ (укажите фамилию)
Теорема – «Множество тогда и только тогда разрешимо, когда оно само и его дополнение рекурсивно перечислимы», называется теоремой
Теория алгоритмов является частью
Термин «для всех» обозначается в логике предикатов символом
Укажите ограничения, накладываемые на базовые термы лингвистической переменной,
Укажите соответствие между названием логической операции и ее обозначением:
Укажите соответствие между понятиями логики и их содержанием:
Укажите соответствие между понятиями теории алгоритмов и их содержанием:
Укажите соответствие между понятиями теории конечных автоматов и их содержанием:
Укажите соответствие между понятиями теории множеств и их содержанием:
Укажите соответствие между понятиями теории формальных грамматик и их содержанием:
Укажите соответствие между понятиями, характеризующими машину Тьюринга, и их содержанием:
Укажите соответствие между понятиями, характеризующими теорию формальных систем и их содержание
Укажите соответствие между характеристиками сложности алгоритмов и их содержанием:
Умозаключения – это элементарные рассуждения, в которых из одного или нескольких суждений получается еще одно суждение, называемое
Усеченная разность чисел 5 и 8 (5÷8) равна _____ (ответ укажите цифрой)
Установление соответствия между элементарными высказываниями формальной теории и содержательными высказываниями некоторой предметной области называется
Утверждение, что всякая вычислимая функция является вычислимой по Тьюрингу, называется тезисом _________ (укажите фамилию в родительном падеже)
Формализованный язык для однозначной записи алгоритмов называется __________ языком
Формальная грамматика, позволяющая построить любую правильную цепочку символов, называется _____________ грамматикой
Формула в теории, для которой существует механизм вывода в рамках этой теории, называется
Формула, которая истинна при всех интерпретациях, называется
Функция 0(х) имеет геделевский номер, равный ______ (ответ укажите цифрой)
Функция e11 имеет геделевский номер, равный ______ (ответ укажите цифрой)
Функция e31(x, y, z) + e32(x, y, z) равна
Функция e33 имеет геделевский номер, равный ______ (ответ укажите цифрами)
Функция S(х) имеет геделевский номер, равный _____ (ответ укажите цифрой)
Функция называется частично рекурсивной, если она либо принадлежит к числу исходных п.р.ф., либо может быть получена из них с помощью операторов
Функция х+у: 1); 2); 3) обладает следующими свойствами:
Функция является примитивно рекурсивной, если она получается из набора исходных п.р.ф. с помощью операторов
Функция, вычислимая по Тьюрингу, является
Функция, вычисляемая некоторой машиной Тьюринга, называется
Функция, определяемая как число шагов в вычислении машиной Тьюринга, называется
Функция, полученная из вычислимой функции с помощью оператора рекурсии, является
Функция, равная единице тогда и только тогда, когда предикат истинен, называется
Частично вычислимая функция может быть продолжена до
Часть логики, в которой для решения логических задач используется язык математических и логических знаков, – это логика
Челночный алгоритм является модификацией ___________ алгоритма
Число компонент машины Тьюринга равно _____ (ответ укажите цифрой)
Число символов, которое может находиться в ячейке ленты конечного автомата, равно _____ (ответ укажите цифрой)
Язык логики предикатов является расширением языка логики
Язык, на котором описывается другой язык, называется
Язык, предложения (формулы) которого выражают суждения и отношения исследуемой математической теории, называется