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

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

Фразы, соединяемые функтором, называются

Логическая связка импликация обозначается как

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

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

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

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

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

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

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

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

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

Функция, равная единице тогда и только тогда, когда предикат истинен, называется

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

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

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

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

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

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

Функция вычисляется по формуле

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

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

Пересечение множеств А и В обозначается

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

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

Наиболее часто на практике используется опрос экспертов

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

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

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

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

Любая неразрешимая алгоритмическая проблема дает пример множества

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

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

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

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

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

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

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

Объединение множеств А и В обозначается

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

Дополнение к области определения некоторой вычислимой функции _________ рекурсивно перечислимым

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

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

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

Машина Тьюринга есть совокупность компонент

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

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

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

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