Задача 23.1 Построить объект заданного вида.
Формулировка задачи. Установить определение объекта, применив
принцип свертывания:
C = Iy : [D]∀x : D(y(x) ↔ Φ) = {x : D | Φ}. (C)
Решение.
Решение этой основной задачи опирается на диаграмму, показанную
на рис.23.1. Конкретное применение зависит от целого ряда факто-
ров и прежде всего -- от целей использования объекта. К таким объ-
ектам относятся элементарные типы и индексированные концепты.
Кроме этого вид результирующего объекта может изменяться в зави-
симости от применяемой вычислительной модели. В последующих
подразделах приводятся различные варианты решения основной за-
дачи -- задачи построения модели объекта данных.
Опубликовал Kest
June 22 2014 22:00:13 ·
0 Комментариев ·
2214 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
