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

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

Правило подстановки в исчислении формальной системы. Логические формулы представлены в префиксном виде, формулы-подстановки записаны списком, алфавит обозначений атомарных высказываний (алфавит символов 1-ой категории) записан списком.

Для этого написать программы, определяющие

1. результат интерпретаций логических формул (интерпретация задана списком),

2. результат подстановки в общезначимую формулу любой формулы,

3. формулу – подстановку как 1-ю формулу списка,

4. формулы – подстановки как список,

5. подстановку формулы списка вместо любого атома тождественной формулы.

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

1. Ø Ù Ú

2. Ù ®

3. Ú Ø

4. ï

5. ® Ø

6. º Ú Ù

7. Ø ï

8. ® Ú

9. º Ø

10. ¯ Ú

11. ® Ú Ø

12. Ø Ù º 13. ® ï 14. ¯ Ø 15. ® º

16. Ù ® Ø 17. ® º Ú 18. ¯ ® 19. Ø Ù

20. Ù Ú

Лабораторная работа №7: база данных, оператор отсечения

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

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

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

Срок выполнения – 7 - 12-ая недели семестра.

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

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

a) для 1-ой задачи:

файлы Lab_7a1_N.pro ¸ Lab_7a7_N.pro с комментариями,

b) для 2-ой задачи:

файлы Lab_7b1_N.pro ¸ Lab_7b5_N.pro с комментариями,

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

Сформировать базу данных. Удалить из базы объекты с минимальным свойством (ценой, числом, количеством экземпляров и т.д.) и определить количество объектов, оставшихся в базе данных. Для этого написать следующие программы:

1. ввод данных с клавиатуры, создание внутренней базы данных и

вывод созданной базы данных на экран,

2. ввод данных с клавиатуры, создание внутренней базы данных, вывод

созданной базы данных на экран и создание внешней базы данных,

3. удаление факта из внутренней базы,

4. добавление во внешнюю базу фактов из списка,

5. определение объектов с минимальным свойством,

6. удаление из внутренней базы объектов с минимальным свойством

и определение количества оставшихся в ней объектов,

7. удаление из внешней базы объектов с минимальным свойством

и определение количества оставшихся в ней объектов.

Варианты и пример факта задач

1. Вид и цена шоколада chocolate(“Алёнка”,16.50)

2. Начало занятий в институте begin(monday, 9.15)

3. Увлечение – марки hobby(“Антон”, “марки”,250)

4. Расписание лабораторных работ lab(“Физика”, Tuesday, 9.15)

5. Число спектаклей в театре theatre(“Ленком”, ”Фигаро”,3)

6. Адрес института и число корпусов institute(“Мирэа”, ”Проспект Вернадского”,6)

7. Число театральных премьер first(“Щелкунчик”, ”Большой театр”,4)

8. Число глав произведения поэта poem(“Лермонтов”, ”Мцыри”,26)

9. Порода, кличка и возраст собаки dog(“пудель”, ”Джой”,3)

10. Имя, фамилия и курс студента student(“Голубев”, ”Алексей”,4)

11. Фамилия и возраст лектора lecturer(“История”, ”Ключевский”,45)

12. Юбилей гражданина jubilee(“Ельцин”,70)

13. Марка, цена и цвет автомобиля auto(“Моквич”,brown,4500)

14. Количество человек в семье family(“Сидоровы”,4)

15. Марка и размер монитора monitor(samsung,15)

16. Количество автозаправок в районе petrol(“Строгино”, 6)

17. Количество зверей в зоопарке animal(horse,7)

18. Спортивная команда sport(“футбол”,11)

19. Количество книг по предмету book(“Физика”, 3)

⇐ Предыдущая 8 9 10 11 12 13 14 15 1617