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

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

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

Челночный алгоритм является алгоритмом

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

В основе описания нечеткой логики лежит теория нечетких

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

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

Множество ________ тогда и только тогда, когда оно является _______ некоторой вычислимой функции

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

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

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

Метод резолюций можно применять к любому множеству дизъюнктов с целью проверки их на

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

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

Язык, предложения (формулы) которого выражают суждения и отношения исследуемой математической теории, называется

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

Логику можно определять как науку о

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

Марковский алгоритм - это алгоритм

Любая непротиворечивая система арифметики с рекурсивной системой аксиом

Система Пеано содержит аксиом

Всякое повествовательное предложение, о котором имеет смысл говорить, что оно (его содержание) истинно или ложно, называется

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

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

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

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

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

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

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

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

Композиция и равна

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

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

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

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

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

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

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

Выражение «элемент x не принадлежит множеству А» записывается как

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

Теорема Геделя о неполноте арифметики поколебала оптимистические надежды Гильберта на полное решение вопросов оснований математики с помощью

Термин «некоторые х» или «существует хотя бы одно значение х» обозначается через

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

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

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

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

В основе метода парных сравнений лежит процедура обработки результатов опроса экспертов, представленных в виде