- теорема ______________.
Верны ли утверждения?
А) Всякая аксиома является доказуемой формулой.
В) Никакая другая формула исчисления высказываний не считается доказуемой.
Верны ли утверждения?
А) Всякую математическую теорему можно записать в виде импликации, выделив условие и заключение.
В) Алгебра высказываний дает точное определение понятия выводимости.
Верны ли утверждения?
А) Все логические слагаемые формулы различны.
В) Ни одно логическое слагаемое формулы не содержит одновременно переменную и ее отрицание.
Верны ли утверждения?
А) Значение формулы алгебры логики полностью зависит от значений входящих в эту формулу высказываний.
В) Формула алгебры логики является функцией входящих в нее элементарных высказываний.
Верны ли утверждения?
А) Каждая формула, доказуемая в исчислении высказываний, является тождественно истинной в алгебре высказываний.
В) Каждая тождественно истинная формула алгебры высказываний доказуема в исчислении высказываний.
Верны ли утверждения?
А) Логическими значениями высказываний являются «истина» и «ложь».
В) В алгебре логики все высказывания рассматриваются только с точки зрения их логического значения.
Верны ли утверждения?
А) Математическая теория нечетких множеств позволяет описывать нечеткие понятия и знания, оперировать этими знаниями и делать нечеткие выводы.
В) Нечеткая логика обеспечивает эффективные средства отображения неопределенностей и неточностей реального мира.
Верны ли утверждения?
А) Определение доказуемых формул имеет тот же характер, что и определение формулы.
В) В систему аксиом исчисления высказываний входят 12 аксиом.
Верны ли утверждения?
А) Равносильные преобразования используются для доказательства равносильностей, для приведения формул к заданному виду, для упрощения формул.
В) Алгебра логики является интерпретацией булевой алгебры
Верны ли утверждения?
А) Эквивалентность не играет важную роль в математических доказательствах.
В) Импликация играет важную роль в математических доказательствах.
Верны ли утверждения?
А) Алгоритм всегда описывается настолько четко, что на основе этого описания можно действовать чисто механически, не вникая в смысл.
В) Если процедура является алгоритмом, то ни в какой момент ее выполнения не должно возникать сомнения, что делать дальше.
Верны ли утверждения?
А) На всех этапах подготовки к алгоритмизации задачи широко используется структурное представление алгоритма.
В) Графическое изображение алгоритма широко используется перед программированием задачи вследствие его наглядности.
Верны ли утверждения?
А) Нечеткая логика основана на использовании таких оборотов естественного языка, как «далеко», «близко», «холодно», «горячо».
В) Чтобы использовать теорию нечеткости на цифровых компьютерах, необходимы математические преобразования, позволяющие перейти от лингвистических переменных к их числовым аналогам в ЭВМ.
Верны ли утверждения?
А) Понятие алгоритма - одно из фундаментальных понятий информатики.
В) Алгоритмы являются объектом систематического исследования пограничной между математикой и информатикой научной дисциплины, примыкающей к математической логике - теории алгоритмов
Верны ли утверждения?
А) При решении задач на компьютере необходимо не столько умение составлять алгоритмы, сколько знание методов решения задач.
В) В информатике процесс решения задачи распределяется между двумя субъектами: программистом и компьютером.
__________ дизъюнкцией n переменных называется дизъюнкция переменных или их отрицаний.
___________ нормальной формой формулы А называется равносильная ей формула, представляющая собой конъюнкцию элементарных дизъюнкций.
____________ имеет нормальную форму, если она содержит только операции конъюнкции, дизъюнкции и кванторные операции, а операция отрицания отнесена к элементарным формулам.
Аксиоматическая логическая система, интерпретацией которой является алгебра высказываний – это ______________.
Аксиоматическое исчисление называется ____________, если добавление к списку его аксиом любой недоказуемой в исчислении формулы в качестве новой аксиомы приводит к противоречивому исчислению.
Базисное понятие нечетких систем – ___________.
В 1936 г. американский математик ________ доказал, что проблема разрешимости логики предикатов в общем виде алгоритмически не разрешима, то есть не существует алгоритма, который бы позволил установить, к какому классу формул относится любая формула логики предикатов.
В систему аксиом исчисления высказываний входят _________ аксиом.
Всякая формула Ai Î H является формулой, выводимой из _____.
Всякое сложное высказывание, которое может быть получено из элементарных высказываний посредством применения логических операций отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции, называется _____________ алгебры логики.
Если формулы A и A ® B доказуемы в исчислении высказываний, то формула B также доказуема – это правило _______________.
Значительный вклад в развитие теории и практики нечетких систем с эволюционной адаптацией внесла группа испанских исследователей во главе с ____________.
Инструмент для извлечения из баз данных закономерностей, которые формулируются в виде лингвистических высказываний, - это ____________.
Исчисление высказываний называется ____________, если любая тожественно истинная формула в нем доказуема.
Логическое сложение – это
Логическое умножение – это
Множество M, на котором определен предикат P(x), называется _________ определения предиката.
Множество со специальным образом определенными на нем операциями сложения, умножения и отрицания – это __________.
Набор свойств функции алгебры логики, при котором она имеет максимально простой вид – это _____________.
Образование доказуемой формулы из исходных доказуемых формул путем применения правил вывода, называется ___________ из аксиом.
Основным (неопределяемым) понятием математической логики является понятие ____________.
Понятие нечеткой и лингвистической переменных используется при описании объектов и явлений с помощью ___________.
Понятия «Математическая теория нечетких множеств» и «Нечеткая логика» были впервые предложены американским ученым Лотфи Заде в _______ г.
Последовательности символов алфавита исчисления высказываний представляют собой ___________.
Преобразования формул на основе законов равносильностей называются _____________.
Проблема _________ заключается в выяснении вопроса: является данное исчисление непротиворечивым или нет?
Проблема __________ заключается в доказательстве существования алгоритма, который позволил бы для любой заданной формулы исчисления высказываний определить, является ли она доказуемой или не является.
Процесс получения доказуемых формул называется ____________.
Символы p, q, r, ... – ____________, принимающие два значения: 1 – истина, 0 – ложь.
То, что утверждается о субъекте, - это _____________.
Формула xÚyºyÚx означает ____________.
Формула А называется ___________, если она принимает значение 1 при всех значениях входящих в нее переменных.
Формула А называется ____________, если она принимает значение 0 при всех значениях входящих в нее переменных.
Формула х&уºу&х означает ______________.
Формула хÚ(уÚz) º (xÚy) Úz означает _____________.
Формула _________ является функцией трех переменных f(х,у,z).
Формула, получаемая из аксиом с помощью правил вывода – это ______________.
Формулой x&(у&z) º (x&у)&z обозначается __________.
Формулу A называют ___________ формулой, если она принимает значение «истина» хотя бы на одном наборе значений входящих в нее переменных и не является тождественно истинной
Формулы х + у = у + х, x*у = у*х – это ___________.
Формулы А и А* называются ___________ если формула А* получается из формулы А путем замены в ней каждой операции на двойственную.
Четкие когнитивные карты были предложены __________ в 1986 г. и используются для моделирования причинных взаимосвязей, выявленных между концептами некоторой области.
Пропозициональная формула, являющаяся дизъюнкцией одного или более литералов, - это ____________.
__________ конъюнкцией n переменных называется конъюнкция переменных или их отрицаний.
___________ нормальной формой формулы А называется равносильная ей формула, представляющая собой дизъюнкцию элементарных конъюнкций.
Алгебра логики возникла в середине _____ в. в трудах Дж. Буля.
Алгоритм, предусматривающий многократное повторение одного и того же действия (одних и тех же операций) над новыми исходными данными – это _____________.
Алгоритм, ранее разработанный и целиком используемый при алгоритмизации конкретной задачи – это _________________.
Алгоритм, содержащий хотя бы одно условие, в результате проверки которого ЭВМ обеспечивает переход на один из двух возможных шагов – это ____________.
Дает программу решения задачи несколькими путями или способами, приводящими к вероятному достижению результата ________________ алгоритм.
Марковский алгоритм, в алфавит которого вводится специальный класс вспомогательных букв, называемых челноками, которые контролируют ход вычисления – это ___________.
Набор команд (указаний), выполняемых последовательно во времени друг за другом – это _____________.
Нечеткое множество является _________, если "xОE m A(x)=0.
Нечеткое множество является ____________, если mA(x)=1 лишь для одного x из E.
Обязательное требование к алгоритмам - ____________.
Одним из главнейших понятий математики является понятие ____________.
Описание, содержащее следующие условия: допустимость заданного элемента для данного процесса, описание преобразования и его результата, условие достижения цели – это ______________.
Последовательность преобразований для заданного элемента, позволяющая достичь заданной цели преобразований за конечное число шагов, называется ____________.
При mA(x)<1 нечеткое множество называется ______________.
Семантика предложений представляет собой __________ этих предложений.
Слово “алгоритм” происходит от имени работавшего в _____ в. в Багдаде математика аль-Хорезми.
Способ решения вычислительных и других задач, точно предписывающий, как и в какой последовательности получить результат, однозначно определяемый исходными данными – это _____________.
Такой алгоритм, в котором достижение конечного результата программы действий однозначно не предопределено, так же как не обозначена вся последовательность действий, не выявлены все действия исполнителя – это ____________.
Формализованный язык для однозначной записи алгоритмов – это ____________.
Функция , для которой существует алгоритм оценки для любого элемента x в области определения , - это_____________.