Задачи по теории алгоритмов

[NastyaLain]

Нужно понять как решается к завтрашнему дню!)

Есть пример задания, решённый в классе. Условие такое: Есть преподователь который поставил хоть одну 5 в каждой группе.
Решение такое:
(∃t)(∃a)(∃b)(∃c) E(a,b,t,c)&(∀gr) [(∃st) S(st,gr) → (∃st)(S(st,gr)&(∃sub) E(st,sub,t,5)]
st- студент, sub - предмет, gr - группа.
Объясните пожалуйста зачем нужны эти символы: a,b,t,c. И что значит E?

Вот другое задание:


Моё решение! как получилось)
(∃t)(∃a)(∃b) E(a,b,t,)&(∀st) [(∃sub) S(sub,st) → (∃sub)(S(sub,st)&(∃t) E(st,sub,t,5,4,3)]

В чём основные ошибки?

И вот ещё задание:
Доказать что:
(∃ x)(Φ ∨ Ψ ≡ ((∃ x)Φ ∨ (∃ x)Ψ).

Я так понимаю что тут с помощью формул надо доказать? Если Да, то каких????

@темы: Математическая логика

Comments

[Гость]

(∃t)(∃a)(∃b) E(a,b,t,)

В базе данных 5 столбцов

[NastyaLain]

Ок! значит это так сказать "переменные" А правильно ли решила?Конец практически на бум написала! E(st,sub,t,5)] - зачем тут ещё и t стоит?

[Гость]

А правильно ли решила?

Не похоже

ещё и t стоит?

Д.б. gr - группа

[Гость]

Вот другое задание:

Наберите текстом

[NastyaLain]

Вот: "Каждый студент имеет положительную оценку хотя бы по одному предмету"