Пусть в сигнатуру системы, описывающей результаты экзаменов входит предикат Студ(З), выделяющий в основном множестве подмножество номеров зачетных книжек студентов, и предикат Экз(З, П, О), где З - номер зачетной книжки студента, П - предмет (возможные значения: дм - дискретная математика, инф - информатика, алг - алгебра), О - оценка, полученная за экзамен (ее возможные значения: отл, хор, уд, неуд). Какие из следующих формул правильно выражают смысл предложения "Только один студент сдал все экзамены на отлично"?

∃x ∀p (Экз(x, p, отл) ∧ ∀y (∀p Экз(y, p, отл) →​ (y=x) ))

∃x (∀p Экз(x, p, отл) ∧ ∀y ((Студ(y) ∧ ¬ (y=x)) →​ (∀p∀o¬ Экз(y, p, o) ∨ ∃o∃p (¬ (o= отл ) ∧ Экз(y, p, o)))))

∀x ∀y ((Студ(x) ∧(Студ(y) ∧¬ (y=x)) →​ ∃o∃p (¬ (o= отл ) ∧ (Экз(x, p, o) ∨ Экз(y, p, o)) ))

Правильный ответ:

• # Пусть заданы три множества: A={ a, b, c,{∅}, {a}}, B={a, e, {a}, {b},∅} и C = {a, b, d, {e}, {∅}}. Какова мощность множества D = (A \ B) ∩ C?
• # Какие из следующих равенств справедливы для всех множеств A, B и C?
• # Какое из следующих перечислений вершин бинарного дерева T: [Большая Картинка] представляет его обход в обратном (суффиксном) порядке?
• # В стране N в первенстве премьер-лиги по футболу участвуют 15 команд. Назовем два возможных исхода этого первенства совпадающими в главном, если в этих исходах совпадают обладатели золотых, серебренных и бронзовых медалей, а также две команды, покидающие премьер-лигу (т.е. занявшие два последних места). Найдите число не совпадающих в главном возможных исходов первенства.
• # Пусть отношения R и S со схемами R(A,B,C) и S(B,C,D) заданы перечислениями своих кортежей: R ={(a, 5, 8), (a, 6, 8), (a1, 3, 12), (a1, 6, 2)},S = {(6, 8, d), (6, 2, d), (5, 8, d1), (3, 12, d2)}. Какое отношение Qi (i=1, 2, 3) задается выражением реляционной алгебры Q = πAD(σ B >3(R) >< S) и какая из указанных формул Fj (j=1,2) ему эквивалентна? Q1 ={(a,d), (a,d1), (a1,d1) } F1= ∃b ∃c (R(a, b, c) ∧ S(b, c, d) ∧ (b > 3)) Q2 ={(a,d), (a,d1), (a1,d), (a1,d1) } F2= ∃b ∃c ((R(a, b, c) ∧ S(b, c, d) )→​ (b > 3)) Q3 ={(a,d), (a,d1), (a1,d), (a1,d1), (a1,d2) }