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

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

Два вида правил, называемых правилами образования и правилами преобразования, содержит теория, которая называется

Когда  и рекурсия проводится по , функция равна

Функция является примитивно рекурсивной, если она получается из набора исходных функций с помощью оператора: 1) рекурсии; 2) ограниченной минимизации; 3) подстановки - из перечисленного

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

Рекурсивное множество является ______ всюду определенной вычислимой функции

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

При  функция (n,m) в рекуррентной формуле равна

Дедуктивные рассуждения преобладают в науках, которые принято называть

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

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

Входной алфавит определяется как

Принадлежность элемента некоторому множеству обозначается знаком

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

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

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

Соединяемые функтором фразы называются

Машина Тьюринга есть совокупность компонент

Нечеткое множество, высота которого меньше 1, называется

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

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

Примем, что R - рекурсивность, а P - рекурсивная перечислимость. Тогда

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

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

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

Интуитивное представление о «вычислительной процедуре» существовало давно, и за этими процедурами был закреплен специальный термин

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

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

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

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

Существуют три основных класса фраз: имена, предложения и

Пространственные или временные характеристики процесса вычисления называются

Логику можно разделить на формальную и

Дополнение к области определения некоторой вычислимой функции _________ рекурсивно перечислимым

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

Выражение (комбинация знаков), содержащее знаки «переменных», которое превращается в имя предмета, если вместо «переменных» поставить надлежащим образом выбранные имена предметов, называется

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

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

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

Согласно _______________не существует формальной системы арифметики, удовлетворяющей условиям полноты и противоречивости

Атомарная формула или ее отрицание называется

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

Способ выбора подкласса истинных высказываний, принадлежащих классу элементарных высказываний, - это

Если множество нерекурсивно, то оно _______ областью определения и ______ множеством значений всюду определенной вычислимой функции

Полнота - это условие, что для любого утверждения s одно из утверждений s и Øs

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

Функция, равная единице тогда и только тогда, когда предикат истинен, называется

Другое название семантических парадоксов-

Функция  вычисляется по формуле