Математическая логика и теория алгоритмов

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

Символ, обозначающий индивидуальный объект или понятие, - это

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

Интерес к логике оживился в XIX столетии под влиянием открытия

Существует команд машины Тьюринга

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

Имена и предложения называются фразами

Множество составных чисел является

Множество, не содержащее никаких элементов, называется

Аксиоматический подход относится к такому методу доказательства, при котором осуществляется движение мысли от

Всякая вычислимая функция является вычислимой по Тьюрингу согласно

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

В системе Пеано единственным неопределимым отношением является

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

w-непротиворечивая формальная система является

Набор (Х, Т(Х), U, G, M), где Х - название переменной, Т(Х) - терм, называется

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

Внутренним алфавитом машины Тьюринга называется

Если , то функция в рекуррентной формуле равна

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

Функция является

Если и рекурсия проводится по переменной , то функция равна

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

Средство для соединения фраз для преобразования других фраз называется

Если и рекурсия проводится по переменной , то функция равна

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

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

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

Выражение является

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

Экспликация - строгая (математическая) формулировка понятия

Функция имеет гёделевский номер, равный

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

Если , то функция в рекуррентной формуле равна

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

В рекурсивно аксиоматизированной формальной системе, в которой все доказуемые утверждения истинны, существует истинное утверждение s, так что: 1) s недоказуемо; 2) Øs доказуемо - из перечисленного

Разность между А и В обозначается

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

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

Формула, которая истинна при всех интерпретациях, называется

a-уровнем нечеткого подмножества А универсального множества U называется такое подмножество универсального множества U, для которого верно

Система, в которой знаки не функционируют независимо друг от друга, а образуют систему, правила которой определяют закономерности их построения, осмысления и употребления, называется

Утверждение арифметики Пеано называется неразрешенным, если оно

Способ понимания суждения об объекте, явлении или событии называется

Высказывание - это предикатная

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

Если и рекурсия проводится по переменной , то функция равна

Знак, который характеризуется правилами его употребления, - это

Теория алгоритмов является частью