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