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

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

Система аксиом Пеано содержит ___ аксиом (ответ дайте цифрой)

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

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

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

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

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

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

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

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

Теория алгоритмов является частью

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

Укажите соответствие между названием логической операции и ее обозначением

Укажите соответствие между понятиями логики и их содержанием

Укажите соответствие между понятиями теории алгоритмов и их содержанием

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

Укажите соответствие между понятиями теории множеств и их содержанием

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

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

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

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

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

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

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

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

Установите соответствие между п.р.ф. и ее геделевским номером

Установите соответствие между предикатом и областью истинности предиката

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

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

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

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

Функция 0(х) имеет геделевский номер, равный ___ (ответ укажите цифрой)

Функция e₁¹ имеет геделевский номер, равный ___ (ответ укажите цифрой)

Функция e₃¹(x, y, z) + e₃²(x, y, z) равна

Функция e₃³ имеет геделевский номер, равный ___ (ответ укажите цифрами)

Функция S(х) имеет геделевский номер, равный ___ (ответ укажите цифрой)

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

Функция х+у: 1); 2); 3) обладает следующими свойствами

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

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

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

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

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

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

Частично вычислимая функция может быть продолжена до

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

Челночный алгоритм является модификацией ___ алгоритма

Число компонент машины Тьюринга равно ___ (ответ укажите цифрой)

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

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