Концепция - тип
Cтраница 1
Концепция типов является одной из основных в языке программирования Паскаль. С каждым объектом программы связывается один и только один определенный тип. [1]
Концепция типов безусловно очень сильная сторона языка программирования Паскаль. Но она также ставит ряд вопросов, на которые необходимо отвечать. [2]
Концепция типов данных может быть полезна в моделировании данных с точки зрения получения абстракций и установления соотношений и связей между данными. В конечном итоге на основе этой концепции оказывается возможным сопоставление моделей данных и данных в языках программирования. [3]
Интересна зиммелевская концепция типов духовности, посредством которой Зиммель разъясняет механизм восприятия искусства, связывая его с процессом творчества и качественной особенностью произведений искусства. [4]
Включение концепции типов данных в число фундаментальных концепций построения языков программирования весьма положительно сказалось на их развитии. [5]
Реализованная в языке Паскаль концепция типов кажется слишком сильно отличающейся от слишком строгой интерпретации слова тип, основанной на его использовании в мире математики, где концепция типов обеспечивает возможность различать числа и булевские значения, числа и множества чисел, множества и множества множеств, но не обеспечивает возможность выявить различия целых и натуральных чисел ( последние представляют собой поддиапазон первых) или маленьких и больших множеств. В программировании расширение математической концепции типов и естественно и необходимо, поскольку объекты могут различаться ( по типам) по намного большему числу признаков ( детализации), чем в абстрактной математике, в которой отсутствуют, например, проблемы, связанные с представлением различных значений. [6]
 |
Схема областей притяже. [7] |
Много внимания было уделено фракталам и концепциям типа параметров порядка. В последней исследуется вопрос о том, системе скольких дифференциальных уравнений отвечает поведение исследуемой динамической системе на аттракторе. [8]
В языках программирования подобная техника связана с концепцией типов данных. Например, типом данных является тип записи СЛУЖАЩИЙ. Применяя обобщение к совокупности подобных типов данных, получим категорию типов данных. Например, понятие типа записи, включая принципы структуризации, типы ограничений и допустимых операций, определяет категорию типов данных. Типы данных могут быть получены на основе других типов данных путем обобщения и агрегации. [9]
Одной из целей теоретических исследований, связанных с концепцией типов как значений, является обоснование непротиворечивости рассмотрения типа типов данных. Благодаря этому появляется возможность рассматривать ретракт как тип данных, выделяющий в универсальном домене определенное множество значений. Но поскольку ретракты суть функции, а универсальный домен по определению содержит в себе все функции, то и типы данных универсального домена являются его значениями. [10]
Отмечается, что на их развитии весьма положительно сказалось включение концепции типов данных в число фундаментальных концепций построения языков программирования. [11]
В третьей главе приводится сопоставительный обзор современных языков программирования баз данных и знаний, базирующийся на концепции типа данных, обсужденной в гл. Дается общая характеристика рассматриваемых языков программирования. Обсуждаются цели и задачи, ставившиеся их авторами, предлагаемые подходы к построению баз данных и знаний и основанных на них информационных и экспертных систем, технология использования этих языков. [12]
 |
Бинарное дерево. Полугруппа сдвигов - свободная полугруппа, если сдвиги порождаются только указателями / и г, и свободная группа, если допускаются обратные сдви. [13] |
В общем случае идея суперпозиции структур данных реализуется посредством задания структурирования памяти М, хранящейся в элементах из j3, и наиболее полно отражена в концепции типов данных языка ПАСКАЛЬ. [14]
Реализованная в языке Паскаль концепция типов кажется слишком сильно отличающейся от слишком строгой интерпретации слова тип, основанной на его использовании в мире математики, где концепция типов обеспечивает возможность различать числа и булевские значения, числа и множества чисел, множества и множества множеств, но не обеспечивает возможность выявить различия целых и натуральных чисел ( последние представляют собой поддиапазон первых) или маленьких и больших множеств. В программировании расширение математической концепции типов и естественно и необходимо, поскольку объекты могут различаться ( по типам) по намного большему числу признаков ( детализации), чем в абстрактной математике, в которой отсутствуют, например, проблемы, связанные с представлением различных значений. [15]
Страницы: 1 2