Сборник обязательных задач для семинарских занятий, страница 2
Описание файла
PDF-файл из архива "Сборник обязательных задач для семинарских занятий", который расположен в категории "". Всё это находится в предмете "математическая логика и логическое программирование" из 7 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст 2 страницы из PDF
Вычислить длину X списка LЗапрос length(L, X);2. Вычислить сумму X элементов целочисленного списка L;Запрос sum(L, X);3. Вычислить кратность Y вхождения элемента X в список L;Запрос mult(L, X, Y );4. Вычислить самый распространенный элемент X в списке L;Запрос most_of t(L, X);5. Вычислить список всех простых чисел, не превосходящих заданного числа X;Запрос prime(L, X);6. Вычислить наибольший общий делитель Z двух целых чисел X и Y ;Запрос GCD(X, Y, Z);97Операторы отсечения и отрицания.Упражнение 7.1. Вычислить ответы на запрос G : ? A(X) к программе ΠA(Y )A(X)B(U )B(V )E(a2 )E(a3 )E(Z)D(U, a1 )D(U, U )D(X, a2 )C(Z, a3 )←−←−←−←−←−←−←−←−←−←−←−B(Y ), C(a2 , Y );D(a1 , X), C(X, Y );D(U, V ), !, E(V );E(a5 );;;;C(U, f (U ));;;;Упражнение 7.2.
Используя оператор отсечения написать программы решения следующихзадач:1. Вычисления наибольшего из двух чисел.Запрос ? max(X, Y, Z).2. Вычисления пересечения L3 множеств L1 и L2 , представленных бесповторными списками.Запрос ? common(L1 , L2 , L3 ).3. Вычисления всех элементов целочисленного списка L1 , квадраты которых не содержатся в этом списке.Запрос ? nonsquare(L1 , L2 ).Упражнение 7.3. Вычислить ответы на запрос G : ? A(X) к программе ΠA(Y )B(a)B(b)D(U )C(a)C(b)E(a, b)E(b, a)←−←−←−←−←−←−←−←−B(Y ), not(D(Y ));;;C(Y ), !, E(U, Y );;;;;Упражнение 7.4.
Используя оператор not, написать логические программы решения следующих задач1. Вычисления максимального элемента списка L.Запрос ? max(L, x).102. Вычисления списка самого длинного слова в тексте L.Запрос ? max_occur(L1 , L2 ).3. Вычисления кратчайшего пути между двумя вершинами в ориентированном графе,представленном списком дуг Γ.Запрос ? short_path(v1 , v2 , Γ, L).Упражнение 7.5. Представляя граф G посредством пары списков, — списка вершин V исписка ребер E, — написать логические программы решения теоретико-графовых задач.1. Для заданного графа G и пары вершин x, y выяснить, существует ли путь, соединяющийx и y в G.
Запрос ? reach(V, E, x, y).2. Проверить выполнение программы для запросов? reach(a.b.c.d.nil, (a.b.nil).(b.c.nil), (c.a.nil), (b.d.nil).nil, a, d)3. Для заданного графа G и пары вершин x, y построить кратчайший путь, соединяющийx и y. Запрос ? short_path(V, E, x, y, L).4. Для заданного графа G построить наименьшую его правильную раскраску.11.