Список вопросов базы знаний

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

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

Основателем формальной логики был

Основными разделами логики являются:

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

П.р.ф. S₂ (х) = х + 2 вычисляется по формуле

Переход конечного автомата происходит

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

Под термом имеются ввиду следующие понятия:

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

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

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

Правильность слова, записанного на ленте конечного автомата, определяется по состоянию автомата

При f(n) = 2ⁿ функция h(n,m) в рекуррентной формуле равна

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

Приводящая к решению поставленной задачи вычислительная процедура называется

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

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

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

Пространственные или временные характеристики процесса вычисления называются

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

Семантический парадокс имеет другое название– парадокс

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

Символ ___является знаком принадлежности элемента некоторому множеству

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

Соотнесите логические выражения с их равносильными выражениями:

Соотнесите логические выражения с их равносильными выражениями:

Соотнесите название логической операции и ее обозначение:

Соотнесите п.р.ф. и ее геделевский номер:

Соотнесите понятия логики и их содержание:

Соотнесите понятия теории алгоритмов и их содержание:

Соотнесите понятия теории конечных автоматов и их содержание:

Соотнесите понятия теории множеств и их содержание:

Соотнесите понятия теории формальных грамматик и их содержание:

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

Соотнесите понятия, характеризующими машину Тьюринга, и их содержание:

Соотнесите предикат и область истинности предиката:

Соотнесите характеристики сложности алгоритмов и их содержание:

Существуют следующие классы фраз:

Существуют следующие типы конечных автоматов:

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

Тезисом ___ называется утверждение, что всякая вычислимая функция является вычислимой по Тьюрингу (укажите фамилию в родительном падеже)

Теорема о том, что не существует формальной системы арифметики, удовлетворяющей условиям полноты и непротиворечивости, носит имя ___ (укажите фамилию)

Теорема – «Множество тогда и только тогда разрешимо, когда оно само и его дополнение рекурсивно перечислимы», называется теоремой

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

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

Усеченная разность чисел 5 и 8 (5÷8) равна ___ (ответ укажите цифрой)

Установите соответствие между типом операции над высказывания: А = «на улице идет дождь» и В = «над моей головой раскрыт зонтик» и результирующим высказыванием:

Установите соответствие между типом операции над числовыми множествами А={1,2,3,4,5} и B={2,5,9} и ее результатом:

Установите соответствие между типом операции над числовыми множествами А={3,5,7} и B={2,4,6,8}и ее результатом: