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

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

К синтаксическому правилу (т. е. к любой фразе, построенной с использованием базовых термов и терминальных символов) предъявляется требование

В своей самой первой работе по нечетким множествам Л. Заде предложил два нечетких множества

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Чаще всего на практике используется ________опрос экспертов

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

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

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

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

Под логикой понимают как науку о

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

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

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

В логических парадоксах используются только понятия теории

Запись ______________ обозначает логическую связку импликации

Когда A и B - рекурсивные множества, рекурсивны также множестваI. II.III.

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

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

Аксиоматический подход, в отличие от конструктивного, опирается

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

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

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

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

Запись __________ обозначает объединение множеств А и В

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

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

Усеченная разность  равна

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

Запись ______________ обозначает логическую связку конъюнкции высказываний А и В

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

Из _________элементарных действий состоит команда машины Тьюринга

Под декартовым произведением понимают операцию над