Методические указания к выполнению расчетно-графической работы по математической логике и теории алгоритмов

4 функции. Проверьте полученный результат, построив с.к.н.ф. равносильными преобразованиям. 4. Методом резолюций выясните, истинно ли приведённое утверждение. Решите эту задачу, используя два метода из следующих: метод исчерпания уровня, стратегию вычёркивания, лок-резолюцию и табличный метод (последний для случая, если заданное множество является множеством хорновских дизъюнктов). 5. Запишите предложение в виде формулы логики предикатов. 6. Привести пример интерпретации, для которой данная формула истинна. 7. Получить предваренные нормальные формы и сколемовские стандартные формы для данных формул. 8. Записать предложения в виде соотношений формул логики предикатов. Методом резолюций выяснить, будет ли заключение логическим следствием из посылок. Продемонстрировать результат с помощью диаграмм Эйлера-Венна. 9. Построить нормальный алгоритм для преобразования слова Р в слово Q, при условии, что в каждой подстановке PI^(*)QI алгоритма число букв удовлетворяет неравенству: \Pi\<n, \ Qi \ < п, где п=2+[N](mod 3), здесь N - ваш номер в списке группы, а [N](mod 3) означает число N по модулю три. 10. Построить машину Тьюринга для преобразованияс л о в а в слово Q. 11. Построить машину Тьюринга, которая будет считать записанные подряд (без пропусков) единицы (их число не превосходит п) и запишет их число в системе счисления с основанием п +7, здесь п=3+[N](mod 13) и N =(ваш номер в списке группы)+(номер вашей группы). 12. Доказать, что приведенная функция является примитивно рекурсивной.