Cтраница 3
В структурах к одиночным данным и различным характеристикам можно обращаться по их логическим именам независимо от внутреннего строения структуры. Мы уже ранее встречались с подобным типом данных, а именно со списком свойств символа. [31]
Далее мы в качестве простейшего примера применения макросов для работы с типами данных зададим макрос ВЕРДОСТУП, который определяет предназначенную для чтения свойства символа простейшую функцию доступа, именем которой является само это свойство, а аргументом - символ. [32]
Рассмотрим вертикальные высокочастотные гармонические колебания жесткого штампа, соединенного без трения с упругой полуплоскостью. Основная трудность построения высокочастотной асимптотики состоит в осуществлении эффективной факторизации символа ядра основного интегрального уравнения. Предлагается функция, учитывающая все свойства символа, позволяющая осуществить его равномерную аппроксимацию и легко факторизуемая. Такое решение проблемы приближенной факторизации позволяет в простом явном виде выписать главный член асимптотики решения. [33]
Символ - это группа объектов, которые программой Planix Home 3D Architect воспринимаются как один объект. Planix Home 3D Architect сохраняет информацию о нарисованном символе вне зависимости от того, сколько раз вы будете использовать его на своем рисунке. Эта информация включает в себя геометрические, графические свойства символа и его базу данных. Каждый раз, когда вы вставляете в рисунок символ, Planix Home 3D Architect фиксирует это действие. [34]
Не все принятые в Лиспе парадигмы1 родом из самого Лиспа, несмотря на то что подобные направления использовались в Лиспе уже давно. Например, логическое программирование и Пролог разработаны в процессе исследования доказательства теорем, которое ранее осуществлялось на Лиспе. Идея объектно-ориентированного программирования возникла при обработке свойств символов в Лиспе задолго до того, как языки Симула и Смолтолк появились на свет. Однако в чистые парадигмы программирования ( или в метафоры ( metaphora), как это имеет место в языке Смолтолк) они вылились лишь в ходе развития соответствующих языков программирования. Все же возможности, присущие Лиспу, позволили освоить и включить в него результаты других разработок, и часто в более совершенной форме, чем в исходном языке. Например, объектно-ориентированная система Flavor в Зеталиспе во многих отношениях является более развитой, чем Смолтолк. [35]
Второй столбец корреляционной таблицы содержит признак символа, отличающий символы от сегментов. В случае символов эти три столбца всегда содержат 0, поскольку визуальные свойства символов и их место на экране не определены до тех пор, пока к ним не будет обращения. [36]
Генцеиовская нормальная форма для доказательств в исчислении предикатов требует классификации дедуктивных шагов, отличной от той, которая дае. Следует отделить символ импликации: D в его роли посредника При выводах от этого же символа в роли составного символа доказываемой формулы. В первой из указанных ролей этот символ будет заменен новым формальным символом - ( читается: дает или приводит к), которому будут приписаны свойства, сходные со свойствами содержательного символа - наших прежних выводимых правил. [37]
Значение и определение функции являются встроенными Системными свойствами, которые управляют работой интерпретатора в различных ситуациях. Функции, используемые для чтения и изменения этих свойств ( SETQ, SYMBOL-VALUE, DEFUN, FUNCTION-VALUE и другие), мы уже ранее рассматривали. Весь список свойств также является системным свойством. Работающие со свойствами символов прикладные системы могут свободно определять новые свойства. [38]