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

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

__________ обозначается логической связкой , где А - высказывание

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

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

Множество истинных утверждений

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

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

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

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

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

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

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

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

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

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

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

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

Любая п.р.ф имеет _______________число номеров

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

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

Лента машины Тьюринга

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

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

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

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

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

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

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

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

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

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

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

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

Под марковским алгоритмом понимают ___________ алгоритм

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

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

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

Частично вычислимая функция

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

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

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

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

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

________ является создателем формальной логики

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

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

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

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

__________- называется язык, на котором описывается другой язык