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

Формулу A называют ___ формулой, если она принимает значение «истина» хотя бы на одном наборе значений входящих в нее переменных и не является тождественно истинной

Формулы х + у = у + х, x*у = у*х – это ___.

Формулы А и А* называются ___ если формула А* получается из формулы А путем замены в ней каждой операции на двойственную.

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

Пропозициональная формула, являющаяся дизъюнкцией одного или более литералов, - это ___.

___ конъюнкцией n переменных называется конъюнкция переменных или их отрицаний.

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

Алгебра логики возникла в середине ___ в. в трудах Дж. Буля.

Алгоритм, предусматривающий многократное повторение одного и того же действия (одних и тех же операций) над новыми исходными данными – это ___.

Алгоритм, ранее разработанный и целиком используемый при алгоритмизации конкретной задачи – это ___.

Алгоритм, содержащий хотя бы одно условие, в результате проверки которого ЭВМ обеспечивает переход на один из двух возможных шагов – это ___.

Дает программу решения задачи несколькими путями или способами, приводящими к вероятному достижению результата ___ алгоритм.

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

Набор команд (указаний), выполняемых последовательно во времени друг за другом – это ___.

Нечеткое множество является ___, если "xОE m A(x)=0.

Нечеткое множество является ___, если mA(x)=1 лишь для одного x из E.

Обязательное требование к алгоритмам - ___.

Одним из главнейших понятий математики является понятие ___.

Описание, содержащее следующие условия: допустимость заданного элемента для данного процесса, описание преобразования и его результата, условие достижения цели – это ___.

Последовательность преобразований для заданного элемента, позволяющая достичь заданной цели преобразований за конечное число шагов, называется ___.

При mA(x)<1 нечеткое множество называется ___.

Семантика предложений представляет собой ___ этих предложений.

Слово “алгоритм” происходит от имени работавшего в ___ в. в Багдаде математика аль-Хорезми.

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

Такой алгоритм, в котором достижение конечного результата программы действий однозначно не предопределено, так же как не обозначена вся последовательность действий, не выявлены все действия исполнителя – это ___.

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

Функция , для которой существует алгоритм оценки для любого элемента x в области определения , - это___.

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

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

В) Непосредственным результатом революции, происшедшей в логике в конце XIX – начале XX вв., было возникновение логической теории, получившей со временем имя классической логики.

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

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

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

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

А) В модальной логике основное внимание уделяется абсолютным модальностям.

В) Модальные понятия разных типов имеют общие формальные свойства.

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

А) В форме суждений отражаются отношения между предметами и их свойствами.

В) Логика изучает виды умозаключений.

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

А) Деонтическая логика слагается из множества систем, или «логик», различающихся используемыми символическими средствами и доказуемыми утверждениями.

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

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

А) Законы любой теории имеют идеализированную интерпретацию.

В) Приложения теории имеют материальную интерпретацию.

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

А) Законы теории не могут формулироваться непосредственно для материальных систем.

В) Законы формулируются именно для систем теоретических объектов, а применяются с некоторой степенью приближения и точности для некоторого класса систем объективной действительности.

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

А) Истинность теории непосредственно является аналитической истинностью.

В) Законы теории интерпретируются на системе теоретических объектов, представляющей непосредственный предмет теории.

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

А) Конструктивная логика возникла в результате переосмысления основных предпосылок интуиционистской логики.

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

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

А) Логика как наука едина.

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

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

А) Многозначная логика отрицает и дискредитирует двузначную.

В) Для классической логики вещь существует или не существует.

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

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

В) Модальные понятия разных групп выполняют одну и ту же функцию.

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

А) Мышление - это сложный, многосторонний процесс, высшая форма познания мира, свойственная только человеку.

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

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

А) Обоснование не может проводиться непосредственным или опосредованным методами.

В) Методы обоснования не зависят от типа теории.

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

А) Понятие причинной связи определяется с помощью понятия закона природы.

В) Логика причинности строится так, чтобы в ее рамках могло быть получено описание и полных, и неполных причин.

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

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

В) Причинная связь является логическим отношением.

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

А) Язык логики предикатов используется для описания внутренней структуры высказываний.

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

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

Понятия, в содержании которых различные признаки, связанные между собой, в силу этих связей объемы этих понятий совпадают, оказываются тождественны – это ___ понятия.

Рассуждение совершенно справедливое с интуитивной точки зрения, но приводящее тем не менее к противоречиям – это ___.

___ - слова, различные по звучанию, но тождественные или близкие по смыслу: «труд» и «работа»; «договор» и «контракт».

___ изучает отношение человека к знакам, а также отношения между людьми в процессе знакового общения.

___ логика не позволяет выводить из противоречия все что угодно.