дз7 (1185794)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

7Аксиомы на основе дескриптивной логикиИспользовалась логика ALCQ, с концептами Кухня, РаботникКухни, Повар, Блюдо, СетьРесторанов, Филиал, СотрудникРесторана, ВладелецРесторана, ОбеденныйЗал, УправляющийПерсонал, РаботникЗала, РаботникКухни, Помещение, ПомещениеДляПосетителей, ПроизводственноеПомещение, Медкнижка, Человек, ≥18 , Курьер, ≥14 , ВременнойИнтервал, Дата,Год, Месяц, День, Часы, Минуты, Секунды, ПродуктРастительногоПроисхождения, Фрукт, Овощ, ЗерновойПродукт, Ягода, Орех, Трава и ролямиответственный, готовит, has, age, должность.Аксиомы:1. Повар готовит хотя бы одно блюдо:Повар u (≥ 1 готовит.Блюдо);2.

Продукт растительного происхождения может быть фруктом, овощем,зерновым продуктом, ягодой, орехом или травой:Продукт ≡ Фрукт t Овощ t ЗерновойПродукт t Ягода t Орех t Трава;3. На должностях, отличных от курьера, может работать только совершеннолетний, курьер должен быть старше 14 лет:СотрудникРесторана ≡ Человек u (∃ age.≥18 u ∃ должность.¬Курьерt ∃ age.≥14 u ∃ должность.Курьер);4. У сети ресторанов ровно один владелец:СетьРесторанов u (= 1 has.ВладелецРесторана);5. Ответственный за кухню является работником кухни:Кухня u ∃ ответственный.РаботникКухни;6.

Ответственный за обеденный зал является либо работником зала, либоуправляющим персоналом:ОбеденныйЗал u ∃ ответственный.(УправляющийПерсонал t РаботникЗала);7. Сотрудники ресторана делятся на управляющий персонал, работниковзала, работников кухни, владельца ресторана и курьера:СотрудникРесторана ≡ УправляющийПерсонал t РаботникЗала t РаботникКухни t ВладелецРесторана t Курьер;8.

В филиале работает хотя бы один сотрудник:Филиал u (≥ 1 has.СотрудникРесторана);159. Помещения делятся на помещения для посетителей и производственныепомещения:Помещение ≡ ПомещениеДляПосетителей t ПроизводственноеПомещение;10. Работником кухни является работник ресторана с медкнижкой:РаботникКухни ≡ СотрудникРесторана u ∃ has.Медкнижка;11.

Временной интервал состоит из двух дат:ВременнойИнтервал u (= 2 has.Дата);12. Дата состоит из года, месяца, дня, часов, минут, секунд, причём не обязательно из всех:Дата u (∃ has.Год t ∃ has.Месяц t ∃ has.День t ∃ has.Часы t∃ has.Минуты t ∃ has.Секунды);13. В сети ресторанов есть хотя бы один филиал:СетьРесторанов u (≥ 1 has.Филиал);16.

Характеристики

Тип файла PDF

PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

Список файлов курсовой работы