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

Если А рекурсивно, а В – рекурсивно перечислимо, то множество ___ рекурсивно

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

Если множество рекурсивно, то оно ___ всюду определенной вычислимой функции

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

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

Интерес к логике оживился в ___ столетии под влиянием открытия неевклидовых геометрий (ответ укажите римскими цифрами)

Каждая п.р.ф. (примитивно–рекурсивная функция) имеет число геделевских номеров

Класс примитивно рекурсивных функций ___ вычислимых функций

Количество типов команд машины Тьюринга равно ___ (ответ укажите цифрой)

Команда машины Тьюринга состоит из ___ элементарных действий (ответ укажите цифрой)

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

Конечному автомату соответствует грамматика, порождающая

Конечные автоматы могут быть следующих типов

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

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

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

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

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

Логическое выражение Ā, где А – высказывание, обозначает

Любая неразрешимая алгоритмическая проблема дает пример множества

Марковский алгоритм носит также название ___ алгоритма

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

Математиком, предложившим идею использования рекурсии для решения задач, связанных с основаниями математики, является

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

Множество аксиом вместе с явным определением доказательства составляют

Множество всевозможных осмысленных утверждений языка является

Множество всех истинных утверждений языка L является

Множество доказуемых утверждений формальной системы арифметики

Множество истинных утверждений

Множество натуральных чисел обладает свойствами

Множество номеров самоприменимой машины Тьюринга

Множество простых чисел обладает свойствами

Множество, если его характеристический предикат является вычислимым, называется

Множество, если оно является множеством значений некоторой вычислимой функции, называется

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

Не сохраняет примитивную рекурсивность оператор

Нечеткая логика – это надмножество логики

Нечеткое отношение – это заданное определенным образом

Осмысленные конечные последовательности символов из алфавита L называются

Основные типы рассуждений, которые принято выделять в логике называются

П.р.ф. S₂ (х) = х + 2 вычисляется по формуле

Переменные, фигурирующие в кванторах всеобщности и существования, называются ___ переменными

Переход конечного автомата происходит

Под термом имеются ввиду следующие понятия

Понятие полноты формальной системы состоит в том, что для любого утверждения s в рамках данной системы одно из утверждений ¬s и s

Правильность слова, записанного на ленте конечного автомата, определяется по состоянию автомата

Примером логического парадокса может служить парадокс

Примером семантического парадокса могут служить парадаксы

Пусть R обозначает свойство рекурсивности, а Р – рекурсивной перечислимости. Тогда

Свойства, которыми может обладать не рекурсивное множество