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

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

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

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

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

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

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

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

Символы, которые машина Тьюринга читает и пишет на ленте, образуют

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

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

Система теоретико-множественных операций над высказываниями, которые являются элементами множества, называется

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

Семантические парадоксы еще называют

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

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

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

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

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

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

К термам лингвистической переменной предъявляется лишь требование

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

Если A рекурсивно, а B - рекурсивно перечислимо, то _____ рекурсивно

Декартово произведение - это операция над

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

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

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

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

Внутреннее состояние машины Тьюринга обозначается

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

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

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

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

Создателем формальной логики был

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

Функция является: 1) частично вычислимой; 2) примитивно рекурсивной; 3) частично рекурсивной

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

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

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

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

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

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

Логическая связка эквивалентность обозначается

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

Высказывания и высказывательные формы называются

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

Каждая п.р.ф имеет число номеров

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

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

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