Главная | Обратная связь | Поможем написать вашу работу!

Лабораторная работа №2: правила

⇐ ПредыдущаяСтр 13 из 17Следующая ⇒

Методические указания

1) Составьте первую Пролог-программу по варианту Вашего задания,

с использованием трёх правил.

2) Поставьте вопросы:

а) простой 'неосновной',

б) конъюнктивные 'неосновной',

в) 'неосновной' из двух конъюнктов (содержит операцию ';'(or)).

3) Составьте вторую Пролог-программу с использованием одного правила.

Тело правила состоит из трёх конъюнктов (содержит две операции ';'(or)).

4) Поставьте вопросы пункта 2.

5) Определите, существует ли разница в ответах на одни и те же вопросы

двух Пролог - программ.

Примечания

1) Номер варианта (N) равен порядковому номеру студента в списке группы.

2) Срок выполнения - 3,4-ая недели семестра.

3) Отчёт по выполнению лабораторной работы оформляется и защищается

после чтения лекций по соответствующей теме и должен содержать:

a) файл Lab_2_N.pro с комментариями,

b) формулу исчисления предикатов (ИП), интерпретирующую

простой неосновной вопрос раздела цели Пролог - программы,

Постановка задачи

Дано x. Определить y соответственно варианту задачи. x,y - вещественные числа.

Варианты задачи

x >0.1 0.1 ³ x ³0 x <0	1 lnÖ` x cos x round(e^x)	2 Ö` e ^{1.5 x} sin x +2.8 arctg ê x ê	3 ln³ x tg 2 x 1.7 + x ³
x >0.7 0.7 ³ x ³0 x <0	4 sin 6 x 3 ^x – 7.2 Ö`2`+` x ²	5 sinÖ`0.5`+` x ` ln x ² ½ x ³- 1.9½	6 ⁴Ö`e ^x arctg x trunc(x)
x >0.5 0.5 ³ x ³0 x <0	7 (x -1) ^x tg sin(4 x/ 3) x ln½ x ½	8 lg½ x - 4.3½ x ⁷ - x ⁶ round(x)	9 ctg 2 x ⁴Ö` x ³ lg(x ²+1)
x >0.8 0.8 ³ x ³0 x <0	10 ctg x Ö` x tg cos x ln x ⁴	11 lg(x - 1)² 4.3-sinÖ`1`+` x ½ x ½	12 3 x - Ö` x trunc(x ²-2) lg ½cos x ½
x >0.6 0.6 ³ x ³0 x <0	13 arctg(x -0.7) ln ½1.5- x ½ e^{sin x}	14 e ^-x ctg cos(x/ 2) round(x ²sin x)	15 ½ctg x ½ ln(x +Ö`1`+` x ²) sin 2 x

Примечание

В Vigual и PDC Prolog имеются следующие встроенные функции:

abs(X) - X³0 ® X;-X;

cos(X),sin(X),tan(X) - X представлено в радианах;

arctan(X) - X вещественное;

exp(X) - возводит e в степень X;

ln(X) - логарифм из X по основанию e;

log(X) - логарифм из X по основанию 10;

sqrt(X) - корень квадратный из X;

round(X) - округляет значение X;

trunc(X) - усекает X (отбрасывает дробные разряды);

random(X) - конкретизирует X случайным вещественным числом; 0£X<1;

random(X,Y) - конкретизирует Y случайным целым числом; 0£Y<X.

Лабораторная работа №3: домены

Методические указания

Составьте две Пролог - программы:

а) первая программа (варианты 1 ¸ 18) соответствует варианту Вашего задания,

б) вторая программа (варианты 19 ¸ 36) соответствует варианту Вашего задания + 18.

Примечания

1) Номер варианта (N) равен порядковому номеру студента в списке группы.

2) Срок выполнения - 5,6-ая недели семестра.

3) Отчёт по выполнению лабораторной работы оформляется и защищается

после чтения лекций по соответствующей теме и должен содержать:

a) файлы Lab_3a_N.pro и Lab_3b_N.pro с комментариями;

b) для 1-ой задачи - определение класса логических формул ИВ с использованием трёх методов:

1. с помощью таблицы истинности,

2. приведением к конъюнктивной нормальной форме (КНФ),

3. методом резолюций;

c) для 2-ой задачи – формулу, изображающую в исчислении предикатов (ИП) неосновной вопрос из одного конъюнкта раздела цели Пролог-программы.

Постановка задачи (для вариантов № 1 ¸ 18)

Ввести логические формулы ИВ в алфавите {a,b,c,...,x,y,z,(,),,}, записанные в префиксной форме в виде термов. Формулы содержат операции, определённые вариантом задания.

Вывести термы, изменив в них вид главного функтора.

Задать три вопроса, содержащие логическую формулу:

1) общезначимую,

2) выполнимую,

3) невыполнимую.

Снабдить Пролог – программу комментариями. Записать в комментариях результат выполнения программы и класс логической формулы программы.

Варианты задач

⇐ Предыдущая 8 9 10 11 121314 15 16 17 Следующая ⇒