Верны ли утверждения?
А) Математическая теория нечетких множеств позволяет описывать нечеткие понятия и знания, оперировать этими знаниями и делать нечеткие выводы.
В) Нечеткая логика обеспечивает эффективные средства отображения неопределенностей и неточностей реального мира.
(*ответ*) А - да, В - да
А - да, В - нет
А - нет, В - да
А - нет, В - нет
Верны ли утверждения?
А) Определение доказуемых формул имеет тот же характер, что и определение формулы.
В) В систему аксиом исчисления высказываний входят 12 аксиом.
(*ответ*) А - да, В - нет
А - да, В - да
А - нет, В - да
А - нет, В - нет
Верны ли утверждения?
А) Равносильные преобразования используются для доказательства равносильностей, для приведения формул к заданному виду, для упрощения формул.
В) Алгебра логики является интерпретацией булевой алгебры
(*ответ*) А - да, В - да
А - да, В - нет
А - нет, В - да
А - нет, В - нет
Верны ли утверждения?
А) Эквивалентность не играет важную роль в математических доказательствах.
В) Импликация играет важную роль в математических доказательствах.
(*ответ*) А - нет, В - да
А - да, В - да
А - да, В - нет
А - нет, В - нет
Верны ли утверждения?
А) Алгоритм всегда описывается настолько четко, что на основе этого описания можно действовать чисто механически, не вникая в смысл.
В) Если процедура является алгоритмом, то ни в какой момент ее выполнения не должно возникать сомнения, что делать дальше.
(*ответ*) А - да, В - да
А - да, В - нет
А - нет, В - да
А - нет, В - нет
Верны ли утверждения?
А) На всех этапах подготовки к алгоритмизации задачи широко используется структурное представление алгоритма.
В) Графическое изображение алгоритма широко используется перед программированием задачи вследствие его наглядности.
(*ответ*) А - да, В - да
А - да, В - нет
А - нет, В - да
А - нет, В - нет
Верны ли утверждения?
А) Нечеткая логика основана на использовании таких оборотов естественного языка, как «далеко», «близко», «холодно», «горячо».
В) Чтобы использовать теорию нечеткости на цифровых компьютерах, необходимы математические преобразования, позволяющие перейти от лингвистических переменных к их числовым аналогам в ЭВМ.
(*ответ*) А - да, В - да
А - да, В - нет
А - нет, В - да
А - нет, В - нет
Верны ли утверждения?
А) Понятие алгоритма - одно из фундаментальных понятий информатики.
В) Алгоритмы являются объектом систематического исследования пограничной между математикой и информатикой научной дисциплины, примыкающей к математической логике - теории алгоритмов
(*ответ*) А - да, В - да
А - да, В - нет
А - нет, В - да
А - нет, В - нет
Верны ли утверждения?
А) При решении задач на компьютере необходимо не столько умение составлять алгоритмы, сколько знание методов решения задач.
В) В информатике процесс решения задачи распределяется между двумя субъектами: программистом и компьютером.
(*ответ*) А - да, В - да
А - да, В - нет
А - нет, В - да
А - нет, В - нет