Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Автомат, однократно считывающий входную строку слева направо, называется
конечным
дискретным
элементарным
МП-автоматом
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1В своей самой первой работе по нечетким множествам Л. Заде предложил два нечетких множества
операторы максимума для пересечения объединения
оператор минимума для объединения и оператор максимума для пересечения
оператор минимума для пересечения и оператор максимума для объединения
операторы минимума для пересечения объединения
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Множество всех истинных утверждений языка L является
неразрешимым, но перечислимым
разрешимым и перечислимым
разрешимым, но неперечислимым
неразрешимым и неперечислимым
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Примером логического парадокса может служить
парадокс Рассела
парадоксы лжеца и Берри
парадокс лжеца
парадокс Берри
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Логическая связка конъюнкция высказываний А и В обозначается как
В
А

А
В

А
В

А
В

Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Логику можно разделить на формальную и
математическую
логику высказываний
логику Буля
логику предикатов
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Если
и рекурсия проводится по переменной
, то функция
равна







Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Символы, которые машина Тьюринга читает и пишет на ленте, образуют
выражения
алфавит
конфигурацию
команды
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Нечеткая логика - это надмножество
модальной логики
логики высказываний
математической логики
логики Буля
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Последовательное применение ряда формул теории, такое, что любая формула этого ряда есть либо аксиома этой теории, либо непосредственное следствие из применения предыдущих формул, называется
выводом
выражением
парадоксом
отношением
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Система теоретико-множественных операций над высказываниями, которые являются элементами множества, называется
логика высказываний
система высказываний
алгебра высказываний
теория высказываний
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Существуют три основных класса фраз: имена, предложения и
кванторы
предикаты
дизъюнкты
функторы
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Семантические парадоксы еще называют
эпистемологическими
порадоксами теории множеств
порадоксами Рассела
логическими
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Термин «все х» обозначается в логике предикатов

А х
Е х

Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Если
и рекурсия проводится по
, то функция
равна



zy



Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Формула в теории, для которой существует механизм вывода в рамках этой теории, называется
разрешимая
выводимая
неразрешимая
не выводимая
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Нечеткое отношение - это заданное определенным образом
произведение
отображение
высказывание
отношение
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Если
и рекурсия проводится по
, то функция
равна



0


1
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1К термам лингвистической переменной предъявляется лишь требование
истинности
упорядоченности
не противоречивости
не отрицательности
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Раздел математики, объектом изучения которого являются математические абстракции программ, выполненных на определенных алгоритмических языках и обладающих определенной информационной и логической структурой, называется
математический анализ
неевклидова геометрия
теоретическое программирование
математическое программирование
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Если A рекурсивно, а B - рекурсивно перечислимо, то _____ рекурсивно




Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Декартово произведение - это операция над
нечеткими множествами
лингвистическими переменными
нечеткими высказываниями
множествами
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Множество А есть подмножество В в том и только в том случае, если каждый элемент множества А является также
элементом множества
является другим множеством
является элементом другого множества
не является элементом множества
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Функция
имеет Гёделевский номер, равный

2
1
4
3
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Базовая единица языка, обладающая определенной для данного языка синтаксической и смысловой законченностью и выражающая утверждение, называется
предложение
подмножество
слово
выражение
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Выражение «множество А содержится в множестве В» записывается как
А / В
А Ì В
А
В

А
В

Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Внутреннее состояние машины Тьюринга обозначается
П, Л, H



Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Всякое непустое ______ множество является _________ некоторой всюду определенной вычислимой функции
рекурсивное, областью определения
продуктивное, множеством значений
креативное, областью определения
рекурсивно перечислимое, множеством значений
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Формальная грамматика, позволяющая построить любую правильную цепочку символов, называется грамматикой
автоматной
порождающей
регулярной
нормальной
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Установление соответствия между элементарными высказываниями формальной теории и содержательными высказываниями некоторой предметной области называется
интерпретацией теории
эффективной процедурой
порождающей грамматикой
классом функторов
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Выражением называется
внутреннее состояние
конечная последовательность символов
исходная ситуация
набор команд
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Создателем формальной логики был
Кантор
Аристотель
Евклид
Лейбниц
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Часть логики, в которой для решения логических задач используется язык математических и логических знаков, - это
логика предикатов
логика высказываний
логика Буля
математическая логика
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Функция
является: 1) частично вычислимой; 2) примитивно рекурсивной; 3) частично рекурсивной

1
1 и 2
1 и 3
2 и 3
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Не сохраняет примитивную рекурсивность оператор
подстановки
сдвига
рекурсии
минимизации
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Множество натуральных чисел является
только рекурсивным
только перечислимым
простейшим
рекурсивным и перечислимым
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Интуитивное представление о «вычислительной процедуре» существовало давно, и за этими процедурами был закреплен специальный термин
алгоритм
множество
высказывание
парадокс
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Способ выбора подкласса истинных высказываний, принадлежащих классу элементарных высказываний, - это
теория
предложение
выражение
теорема
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Науки, в которых преобладают дедуктивные рассуждения, принято называть
гуманитарными
техническими
естественно-научными
точными
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Функция
имеет гёделевский номер, равный

5
4
1
2
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Логическая связка эквивалентность обозначается

А
В

В ~ А

Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Конечному автомату соответствует грамматика, порождающая
словарь машины
язык программирования
регулярный язык
машину Тьюринга
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Высказывания и высказывательные формы называются
отношениями
формулами
выводами
выражениями
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1В логике принято делить рассуждения на
индуктивные и предикативные
дедуктивные и предикативные
индуктивные и дедуктивные
дедуктивные и информационные
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Каждая п.р.ф имеет число номеров
индивидуальное
бесконечное
небольшое
ограниченное
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Команда машины Тьюринга состоит из элементарных действий
любого числа
трех
конечного числа
двух
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Теория, содержащая два вида правил, называемых правилами образования и правилами преобразования, называется
аксиоматическая теория
теория множеств
теория парадоксов
дедуктивная теория
Математическая логика и теория алгоритмов
1000.Зач.01;ТБПД.01;1Конечное множество команд, имеющих попарно различные начальные пары символов, называется
алгоритмом
конфигурацией
машиной Тьюринга
программой