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

Осмысленные конечные последовательности символов из алфавита L называются

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

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

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

Символы _____________ входят в алфавит формального логического языка

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

Логика интересуется в первую очередь

Язык логики предикатов является расширением языка

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

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

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

Запись _________ означает: выражение «множество А содержится в множестве В»

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

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

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

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

Функция  является

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

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

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

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

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

Внутренним алфавитом машины Тьюринга называется

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

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

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

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

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

В рекурсивно аксиоматизированной формальной системе, в которой все доказуемые утверждения истинны, существует истинное утверждение s, так что: 1) s недоказуемо; 2) Øs доказуемо - из перечисленного

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

В XIX столетии оживился интерес к логике под влиянием открытия

Метод парных сравнений, лежит в основе метода анализа иерархий, предложенного

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

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

Функция равна

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

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

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

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

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

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

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

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

Единственным неопределимым отношением в системе Пеано является выражение

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

Количество аксиом в системе Пеано равно

Каждый язык первого порядка задается своим набором из

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

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