V - это список вершин графа, E - это список ребер графа. Нужно написать программу, которая возвращает пустую подстановку, если граф - связный и прекращает дальнейшее выполнение, если обнаружится, что из какой-то вершины нет пути до другой. Причем, список ребер не бесповторный и также могут быть петли в графе. Элементы (то есть ребра) в списке ребер E, представляют из себя список, например x.y.nil - этот элемент обозначает ребро из вершины x в вершину y. Еще надо учесть, что граф не ориентированный. Запрос к программе ?G(V,E).
Вот, Захаров сказал, что так как задача сложней, чем на основном экзамене, то вместо 30 минут он дает нам 40 минут, но в итоге задачу все равно решили только несколько человек. Захаров еще сказал, что в следующий раз задача будет еще сложнее. Можно было пользоваться функциями: elem(L,x), append(L1,L2,L3).
После этого он дал основные 12 задач.
Первые 4 задачи были аналогичны как и на основном экзамене, единственное, это формулы были раза в 2 длиннее поэтому время, затраченное на них резко увеличивалось.
1-я задача звучала примерно так: С помощью логики предикатов записать следующее утверждение. Какова бы ни была сходящаяся последовательность, последовательность, состоящая из эементов обратных элементам первой последовательности тоже сходится. Обратный элемент - это значит со знаком минус. Можно пользоваться теми же обозначениями, что и раньше (посмотри на сайте Женьки Корныхина приведен досрочный вариант, обозначения такие же).
2-я задача: с помощью семантических таблиц выяснить общезначима ли формула. Формулу я не помню, но в итоге у меня получилось, что одна из таблиц, получившаяся в конце, оказалось не закрытой. Эту задачу он мне на чистый плюс засчитал.
3-я задача это доказать общезначимость резольвентным методом. Ничего сложного, только формула была длинная.
4-я задача построить sld-дерево. Дерево тоже получилось большим. Там в одной ветви был оператор not и при рисовании для него отдельного дерева, получалось, что дерево зацикленное, тогда в ветви, где был not, надо было ставить не failure, а знак бесконечности, я его не поставила и мне захаров поставил в итоге +- за задачу, хотя все остальное было правильно.
4 задачи на определение: По сути там определений не было.
Один из вопросов: Связь между опреатором непосредственного следования и целевым утверждением хорновской логической программы. Другой вопрос: Сформулировать строго математически полноту относительно вычислительного ответа к логической программе. Еще один вопрос был надо было привести какой-то пример... я не помню точно И еще один вопрос еще про какую-то связь между чем-то.