Логика предикатов вариант 9
Цена, руб.400
Номер работы57513
ПредметЛогика
Тип работы Контрольная
Объем, стр.8
ОглавлениеЗадание №1
Следующие высказывания записать в виде формул логики предикатов, используя следующие обозначения:
Пусть:
y?{Вещи,которые можно читать и писать.}
x?{Люди.}
На этих областях определения заданы предикаты:
P(x):x-профессор
V(x):x-поэт
W(x,y):x любит читать y
M(x,y):x любит писать y
K(y):y-конспект
U(y):y-учебник
H(y): y-шпаргалка
S(x):x-студент
R(x,y):x пишет y
Q(x,y):x читает y
N(y):y-роман
C(y):y-стихи
L(y):y-письмо

Ни один учебник не написан в стихах.
Никто из студентов не пишет учебники.
Поэты пишут только стихи.

Задание №2
Доказать или опровергнуть следующее утверждение, используя метод резолюций.
Область определения: поэмы.
1.Ни одна интересная поэма не останется непризнанной людьми с тонким вкусом.
2.Ни одна современная поэма не свободна от аффектации.
3.Все ваши поэмы написаны о мыльных пузырях.
4.Ни одна аффектированная поэма не находит признания у людей с тонким вкусом.
5.Ни одна древняя поэма не написана о мыльных пузырях.
6.Вывод: Все ваши поэмы неинтересны.

Задание №1
Построить автомат, распознающий слова в алфавите {a,b,c} согласно условию. Привести диаграмму Мура. Перейти от автомата Мура к автомату Мили.
Условие: Все слова, не содержащие подслова [bac]
Цена, руб.400

Заказать работу «Логика предикатов вариант 9»

Ваше имя *E-mail *
E-mail *
Оплата картой, электронные кошельки, с мобильного телефона. Мгновенное поступление денег. С комиссией платежной системы
Оплата вручную с карты, электронных кошельков и т.д. После перевода обязательно сообщите об оплате на 3344664@mail.ru




Нажав на кнопку "заказать", вы соглашаетесь с обработкой персональных данных и принимаете пользовательское соглашение

Так же вы можете оплатить:

Карта Сбербанка, номер: 4279400025575125

Карта Тинькофф 5213243737942241

Яндекс.Деньги 4100112624833

QIWI-кошелек +79263483399

Счет мобильного телефона +79263483399

После оплаты обязательно пришлите скриншот на 3344664@mail.ru и ссылку на заказанную работу.