Дискретная математика модуль 3 — ответы

Ответы на модуль 3 (АЛГЕБРА ЛОГИКИ) по предмету дискретная математика.

1) Какое высказывание истинно? никакая переменная не может быть одновременно свободной и связанной.

2) Какая дизъюнктивная нормальная форма (ДНФ) называется совершенной? дизъюнкция некоторых конституент единицы, среди которых нет одинаковых.

3) Какая формула аксиоматической теории называется теоремой? формула, которая выводится только из аксиом, не используя никаких гипотез.

4) В каком случае формула Дискретная математика модуль 3 — ответы называется выполнимой? если существует такой набор значений переменных, при котором формула принимает значение 1.

5) Какие формулы называются равносильными в данной интерпретации I = 〈М, Ф〉? формулы f и g, если формулы выражают в данной интерпретации один и тот же предикат.

6) Что называется длиной формулы логики предикатов? общее число входящих в нее символов предикатов (атомарных формул), логических символов и символов кванторов.

7) Какая формула логики предикатов называется нормальной? приведенная формула, если она содержит все символы кванторов впереди или кванторов вовсе нет.

8) Какие два дизъюнкта называются резольвентной парой? если существует такая литера, которая участвует в одном дизъюнкте как положительная, а в другом — как отрицательная.

9) Какое высказывание истинно? любая булева функция, не являющаяся константой 0, представима в виде сокращенной ДНФ.

10) Что называется функцией алгебры логики (ФАЛ) от п переменных Дискретная математика модуль 3 — ответыфункция, которая произвольному набору Дискретная математика модуль 3 — ответы нулей и единиц ставит в соответствие значение Дискретная математика модуль 3 — ответы.

11) Что называется элементарным произведением? конъюнкт, в который любая переменная входит не более одного раза.

12) Что такое предикат? повествовательное предложение с параметрами.

13) Чем полностью характеризуются формулы алгебры логики семантически? таблицами истинности.

14) Какой дизъюнкт называется хорновским? дизъюнкт, у которого среди литер не более одной положительной.

15) Какие формулы называются равносильными на множестве М? формулы f и g, если они равносильны во всех интерпретациях, заданных на множестве М.

16) Какое утверждение является неверным? формула φ опровержима тогда и только тогда, когда она является тождественно истинной.

17) Как называется конъюнкция литер? конъюнктом.

18) Какое свойство алгоритма означает, что описываемый им процесс и сам алгоритм могут быть разбиты на отдельные элементарные этапы, возможность выполнения которых на ЭВМ у пользователя не вызывает сомнений? дискретность.

19) В каком случае говорят, что формула φ представляет функцию f? если булева функция f и формула φ имеют одну и ту же таблицу истинности.

20) Что называется дизъюнктивной нормальной формой (ДНФ)? дизъюнкция конъюнктов.

21) Какое свойство алгоритма означает, что он должен приводить к получению результата за конечное число шагов? результативность.

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

23) Какое высказывание является неверным? проблема распознавания применимых машин Тьюринга алгоритмически разрешима.

24) Какое утверждение является неверным? в аксиоматической теории можно одновременно иметь два доказательства некоторой теоремы и ее отрицания.

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

Оцените статью
Добавить комментарий