Тесты онлайн, бесплатный конструктор тестов. Психологические тестирования, тесты на проверку знаний.

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

Символическая логика (магистр, курс 1)

  • Страница:
  • 1
  • 2
  • 3
  • 4
Вопрос id:1366082
- теорема ___.
?) алгебры логики
?) введения дизъюнкции
?) введения конъюнкции
?) дедукции
Вопрос id:1366083

Верны ли утверждения?

А) Всякая аксиома является доказуемой формулой.

В) Никакая другая формула исчисления высказываний не считается доказуемой.

?) А - да, В - нет
?) А - да, В - да
?) А - нет, В - нет
?) А - нет, В - да
Вопрос id:1366084

Верны ли утверждения?

А) Всякую математическую теорему можно записать в виде импликации, выделив условие и заключение.

В) Алгебра высказываний дает точное определение понятия выводимости.

?) А - да, В - нет
?) А - да, В - да
?) А - нет, В - да
?) А - нет, В - нет
Вопрос id:1366085

Верны ли утверждения?

А) Все логические слагаемые формулы различны.

В) Ни одно логическое слагаемое формулы не содержит одновременно переменную и ее отрицание.

?) А - нет, В - нет
?) А - да, В - нет
?) А - да, В - да
?) А - нет, В - да
Вопрос id:1366086

Верны ли утверждения?

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

В) Формула алгебры логики является функцией входящих в нее элементарных высказываний.

?) А - нет, В - нет
?) А - нет, В - да
?) А - да, В - нет
?) А - да, В - да
Вопрос id:1366087

Верны ли утверждения?

А) Каждая формула, доказуемая в исчислении высказываний, является тождественно истинной в алгебре высказываний.

В) Каждая тождественно истинная формула алгебры высказываний доказуема в исчислении высказываний.

?) А - нет, В - да
?) А - да, В - нет
?) А - нет, В - нет
?) А - да, В - да
Вопрос id:1366088

Верны ли утверждения?

А) Логическими значениями высказываний являются «истина» и «ложь».

В) В алгебре логики все высказывания рассматриваются только с точки зрения их логического значения.

?) А - нет, В - нет
?) А - да, В - нет
?) А - да, В - да
?) А - нет, В - да
Вопрос id:1366089

Верны ли утверждения?

А) Математическая теория нечетких множеств позволяет описывать нечеткие понятия и знания, оперировать этими знаниями и делать нечеткие выводы.

В) Нечеткая логика обеспечивает эффективные средства отображения неопределенностей и неточностей реального мира.

?) А - нет, В - да
?) А - нет, В - нет
?) А - да, В - нет
?) А - да, В - да
Вопрос id:1366090

Верны ли утверждения?

А) Определение доказуемых формул имеет тот же характер, что и определение формулы.

В) В систему аксиом исчисления высказываний входят 12 аксиом.

?) А - нет, В - нет
?) А - да, В - нет
?) А - да, В - да
?) А - нет, В - да
Вопрос id:1366091

Верны ли утверждения?

А) Равносильные преобразования используются для доказательства равносильностей, для приведения формул к заданному виду, для упрощения формул.

В) Алгебра логики является интерпретацией булевой алгебры

?) А - да, В - да
?) А - да, В - нет
?) А - нет, В - да
?) А - нет, В - нет
Вопрос id:1366092

Верны ли утверждения?

А) Эквивалентность не играет важную роль в математических доказательствах.

В) Импликация играет важную роль в математических доказательствах.

?) А - нет, В - да
?) А - да, В - нет
?) А - да, В - да
?) А - нет, В - нет
Вопрос id:1366093

Верны ли утверждения?

А) Алгоритм всегда описывается настолько четко, что на основе этого описания можно действовать чисто механически, не вникая в смысл.

В) Если процедура является алгоритмом, то ни в какой момент ее выполнения не должно возникать сомнения, что делать дальше.

?) А - да, В - да
?) А - да, В - нет
?) А - нет, В - нет
?) А - нет, В - да
Вопрос id:1366094

Верны ли утверждения?

А) На всех этапах подготовки к алгоритмизации задачи широко используется структурное представление алгоритма.

В) Графическое изображение алгоритма широко используется перед программированием задачи вследствие его наглядности.

?) А - нет, В - нет
?) А - да, В - да
?) А - нет, В - да
?) А - да, В - нет
Вопрос id:1366095

Верны ли утверждения?

А) Нечеткая логика основана на использовании таких оборотов естественного языка, как «далеко», «близко», «холодно», «горячо».

В) Чтобы использовать теорию нечеткости на цифровых компьютерах, необходимы математические преобразования, позволяющие перейти от лингвистических переменных к их числовым аналогам в ЭВМ.

?) А - нет, В - нет
?) А - да, В - нет
?) А - нет, В - да
?) А - да, В - да
Вопрос id:1366096

Верны ли утверждения?

А) Понятие алгоритма - одно из фундаментальных понятий информатики.

В) Алгоритмы являются объектом систематического исследования пограничной между математикой и информатикой научной дисциплины, примыкающей к математической логике - теории алгоритмов

?) А - да, В - да
?) А - да, В - нет
?) А - нет, В - нет
?) А - нет, В - да
Вопрос id:1366097

Верны ли утверждения?

А) При решении задач на компьютере необходимо не столько умение составлять алгоритмы, сколько знание методов решения задач.

В) В информатике процесс решения задачи распределяется между двумя субъектами: программистом и компьютером.

?) А - нет, В - да
?) А - нет, В - нет
?) А - да, В - да
?) А - да, В - нет
Вопрос id:1366098
___ дизъюнкцией n переменных называется дизъюнкция переменных или их отрицаний.
?) Непостоянной
?) Равнозначной
?) Элементарной
?) Постоянной
Вопрос id:1366099
___ нормальной формой формулы А называется равносильная ей формула, представляющая собой конъюнкцию элементарных дизъюнкций.
?) Элементарной
?) Конъюнктивной
?) Постоянной
?) Дизъюнктивной
Вопрос id:1366100
___ имеет нормальную форму, если она содержит только операции конъюнкции, дизъюнкции и кванторные операции, а операция отрицания отнесена к элементарным формулам.
?) Предметная переменная
?) Переменная высказывания
?) Формула логики предикатов
?) Предикатная переменная
Вопрос id:1366101
Аксиоматическая логическая система, интерпретацией которой является алгебра высказываний – это ___.
?) формулы алгебры логики
?) исчисление высказываний
?) функция трех переменных
?) свойство совершенства
Вопрос id:1366102
Аксиоматическое исчисление называется ___, если добавление к списку его аксиом любой недоказуемой в исчислении формулы в качестве новой аксиомы приводит к противоречивому исчислению.
?) полным в широком смысле
?) общим
?) равнозначным
?) полным в узком смысле
Вопрос id:1366103
Базисное понятие нечетких систем – ___.
?) нечеткое множество
?) разность множеств
?) четкое множество
?) кратное множество
Вопрос id:1366104
В 1936 г. американский математик ___ доказал, что проблема разрешимости логики предикатов в общем виде алгоритмически не разрешима, то есть не существует алгоритма, который бы позволил установить, к какому классу формул относится любая формула логики предикатов.
?) Беллман
?) А.Черч
?) Э. Мамдани
?) Лотфи Заде
Вопрос id:1366105
В систему аксиом исчисления высказываний входят ___ аксиом.
?) 11
?) 12
?) 13
?) 14
Вопрос id:1366106
Всякая формула Ai Î H является формулой, выводимой из ___.
?) H
?) X
?) Y
?) Ai
Вопрос id:1366107
Всякое сложное высказывание, которое может быть получено из элементарных высказываний посредством применения логических операций отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции, называется ___ алгебры логики.
?) смыслом
?) равенством
?) формулой
?) значением
Вопрос id:1366108
Если формулы A и A ® B доказуемы в исчислении высказываний, то формула B также доказуема – это правило ___.
?) заключения
?) ввода
?) доказуемости
?) подстановки
Вопрос id:1366109
Значительный вклад в развитие теории и практики нечетких систем с эволюционной адаптацией внесла группа испанских исследователей во главе с ___.
?) Б. Коско
?) Ф. Херрера
?) Д. Дюбуа
?) Г. Праде
Вопрос id:1366110
Инструмент для извлечения из баз данных закономерностей, которые формулируются в виде лингвистических высказываний, - это ___.
?) нечеткие ассоциативные правила
?) нечеткие вопросы
?) четкие вопросы
?) четкие ассоциативные правила
Вопрос id:1366111
Исчисление высказываний называется ___, если любая тожественно истинная формула в нем доказуема.
?) полным в широком смысле
?) равнозначным
?) общим
?) полным в узком смысле
Вопрос id:1366112
Логическое сложение – это
?) конъюнкция
?) эквиваленция
?) импликация
?) дизъюнкция
Вопрос id:1366113
Логическое умножение – это
?) импликация
?) конъюнкция
?) эквиваленция
?) дизъюнкция
Вопрос id:1366114
Множество M, на котором определен предикат P(x), называется ___ определения предиката.
?) областью
?) значением
?) временем
?) местом
Вопрос id:1366115
Множество со специальным образом определенными на нем операциями сложения, умножения и отрицания – это ___.
?) аксиома
?) булева алгебра
?) закон поглощения
?) закон идемпотентности
Вопрос id:1366116
Набор свойств функции алгебры логики, при котором она имеет максимально простой вид – это ___.
?) импликация
?) свойства совершенства
?) дизъюнкция
?) функция трех переменных
Вопрос id:1366117
Образование доказуемой формулы из исходных доказуемых формул путем применения правил вывода, называется ___ из аксиом.
?) формулой исчисления высказываний
?) формулой алгебры логики
?) доказательством формулы
?) выводом формулы
Вопрос id:1366118
Основным (неопределяемым) понятием математической логики является понятие ___.
?) «простого высказывания»
?) равенства
?) «сложного высказывания»
?) неравенства
Вопрос id:1366119
Понятие нечеткой и лингвистической переменных используется при описании объектов и явлений с помощью ___.
?) четких множеств
?) кратных множеств
?) разности множеств
?) нечетких множеств
Вопрос id:1366120
Понятия «Математическая теория нечетких множеств» и «Нечеткая логика» были впервые предложены американским ученым Лотфи Заде в ___ г.
?) 1985
?) 1965
?) 1975
?) 1995
Вопрос id:1366121
Последовательности символов алфавита исчисления высказываний представляют собой ___.
?) формулы алгебры логики
?) формулы исчисления высказываний
?) свойства совершенства
?) функцию трех переменных
Вопрос id:1366122
Преобразования формул на основе законов равносильностей называются ___.
?) импликацией
?) эквиваленцией
?) равносильными преобразованиями
?) дизъюнкцией
Вопрос id:1366123
Проблема ___ заключается в выяснении вопроса: является данное исчисление непротиворечивым или нет?
?) полноты
?) разрешимости исчисления высказываний
?) непротиворечивости
?) независимости
Вопрос id:1366124
Проблема ___ заключается в доказательстве существования алгоритма, который позволил бы для любой заданной формулы исчисления высказываний определить, является ли она доказуемой или не является.
?) разрешимости исчисления высказываний
?) полноты
?) непротиворечивости
?) независимости
Вопрос id:1366125
Процесс получения доказуемых формул называется ___.
?) согласованностью
?) доказательством
?) убеждением
?) подтверждением
Вопрос id:1366126
Символы p, q, r, ... – ___, принимающие два значения: 1 – истина, 0 – ложь.
?) переменные высказывания
?) предметные переменные
?) символы постоянных предикатов
?) одноместные предикатные переменные
Вопрос id:1366127
То, что утверждается о субъекте, - это ___.
?) объект
?) заключение
?) предикат
?) высказывание
Вопрос id:1366129
Формула А называется ___, если она принимает значение 1 при всех значениях входящих в нее переменных.
?) формулой алгебры логики
?) тождественно ложной формулой
?) тождественно истинной
?) равносильной формул алгебры логики
Вопрос id:1366130
Формула А называется ___, если она принимает значение 0 при всех значениях входящих в нее переменных.
?) тождественно ложной формулой
?) формулой алгебры логики
?) тождественно истинной
?) равносильной формул алгебры логики
Вопрос id:1366134
Формула, получаемая из аксиом с помощью правил вывода – это ___.
?) недоказуемая формула
?) доказуемая формула
?) формула исчисления высказываний
?) формула алгебры логики
Вопрос id:1366135
Формулой x&(у&z) º (x&у)&z обозначается ___.
?) ассоциативность конъюнкции
?) коммутативность дизъюнкции
?) ассоциативность дизъюнкции
?) коммутативность конъюнкции
  • Страница:
  • 1
  • 2
  • 3
  • 4
Copyright testserver.pro 2013-2024