Теми рефератів
> Реферати > Курсові роботи > Звіти з практики > Курсові проекти > Питання та відповіді > Ессе > Доклади > Учбові матеріали > Контрольні роботи > Методички > Лекції > Твори > Підручники > Статті Контакти
Реферати, твори, дипломи, практика » Курсовые обзорные » Рішення задач з логіки та обчисленню висловлювань

Реферат Рішення задач з логіки та обчисленню висловлювань





ify"> Г? C (d); Г? B (v) VA (y); Г? B (x) V Г? A (W) VC (z)};

Побудуємо граф виведення порожній резольвенти:

B (x) Г? C (d) Г? B (v) VA (y) Г? B (x) V Г? A (W) VC (z)

y ? w x ? v

x ? v Г? B (v) VA (w) V Г? A (w) VC (z) V Г? B (v)

z ? d

Г? B (v) VC (d) V Г? C (d)


Малюнок А.8 - Граф виведення порожній резольвенти


. Реляційна алгебра


Виконати наступні бінарні операції і скласти результуючі таблиці.

) (r 1 Г€ r 2 )

) (r 1 Г‡ r 2 )

) (r 1 r 2 )

) Виконати задану композицію операцій

Варіант № 48


Таблиця r 1

А 3 А 4 А 7 А 8 з 1 d 2 12с 2


Назад | сторінка 20 з 27 | Наступна сторінка





Схожі реферати:

  • Реферат на тему: Граф М.Т. Лоріс-Меліков і його спроба урядових реформ
  • Реферат на тему: Методи рішень завдань логіки висловлювань, логіки предикатів і реляційної л ...
  • Реферат на тему: Спектр оператора. Застосування нестандартного аналізу для дослідження резо ...
  • Реферат на тему: Алгебра висловлювань
  • Реферат на тему: Алгебра висловлювань в інформатиці