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

∀x ∀o∃b( Экз(x, алг, o) ∧ ¬ (o= неуд ) ∧ ¬(b= неуд ) ∧ (Экз(x, дм , b) ∨ Экз(y, инф, b))

∀x (¬ Экз(x, алг, неуд) →​ ∃b (¬ (b= неуд )∧ (Экз(x, дм , b) ∨ Экз(x, инф, b))))

∀x (∃o( Экз(x, алг, o) ∧ ¬ (o= неуд )) →​ ( Экз(x, дм , неуд ) →​ ¬Экз(y, инф, неуд)))

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

• # Пусть неориентированный граф G=(V,E) задан с помощью списков смежности: La: c, d, b Lb: a, f, g Lc: a, d, e Ld: a, c, e Le: c, d Lf: b Lg: b, i, h Lh: g, i Li: g, h Постройте, начиная с вершины a, обход этого графа в глубину, в котором соседи каждой вершины рассматриваются в порядке, определенном ее списком смежности. Какая из следующих нумераций вершин ему соответствует?
• # Пусть задан неориентированный граф G=(V,E): V= {a, b, c, d, e, f, g, h , i}, E = {(a, b), (a, c), (b, d), (b, c), (d, e), (d, f), (f, g), (f, h), (f,i) }. Используя вариант поиска в глубину с подсчетом функции ВЕРХ, определите все мосты этого графа и укажите их число.
• # Пусть задан ориентированный нагруженный граф G: V= {a, b, c, d, e, f, g, h }, E= { (a, b; 5), (a, c; 32), (a, d; 2), (a, e; 32), (a, f; 12), (a, g; 15), (b, f; 6), (b, e; 20), ( b, h; 4), (c, h; 5), (d, g; 8), (d, h; 21), (g, c; 10), (g; e; 12), (f, d; 5), (f, b; 17) } (здесь каждая скобка (u,v; D) задает ребро (u,v) из E и его "вес" c(u,v)=D ). Используя алгоритм Дейкстры, определите дерево кратчайших путей из вершины a в остальные вершины графа. Каков суммарный вес всех ребер этого дерева?
• # Какие из следующих формул являются тождественно истинными? ,,,
• # Предположим, что P(x,y) означает "x - это родитель y ", а M(x) означает " x - это мужчина". Если F(v, w) равно (M(v) ∧ ∃x∃y ( P(x,y) ∧ P(x,v) ∧ ¬ (y = v) ∧ P(y,w))), то каково значение выражения F(v, w)?