Список - определение
Cтраница 1
 |
Создание маркированных и нумерованных списков. [1] |
Список определений задается парным тегом DL. [2]
Можно быстро создать список определений элемента, воспользовавшись командой меню Edit-Fast Create ( редактировать-быстрое создание) после щелчка на узле типа элемента в навигаторе. Это полезно для создания определения группы элементов с последующей детализацией отдельных свойств. Операция применима и для столбцов, которые имеют ряд необходимых свойств, например типов данных. Нельзя быстро создавать первичные ключи, но можно применить эту операцию для внешних ключей. Внешним ключам будут присвоены имена псевдонима таблицы, за которым следует псевдоним первичного ключа таблицы и FK, разделенные символом подчеркивания. [3]
Вставьте в документ тег DL, который начинает список определений. [4]
В ряде случаев определения уточнены и дополнены, список определений расширен. [5]
Заметьте, что в этих кодах let - выражения включают список локальных определений, а не одно-единственное определение, как в гл. [6]
Значениями стандартных функций pred и succ в соответствии с задаваемым упорядочением констант являются предыдущий и последующий по отношению к аргументу элементы списка определения. [7]
В научных текстах существует ограниченная сочетаемость многих слов. Ниже приводится список определений оценочного характера, сочетающихся с основными научными понятиями. [8]
По сравнению со словесным выражением символ не только отличается краткостью и ясностью, но и обладает еще одним важным преимуществом, имеющим первостепенное значение для математики: сам по себе он ничего не обозначает. Лишь заглянув в список определений, можно узнать, что означает тот или иной символ, Поэтому производя над ним различные действия, мы должны хорошо знать, что он означает, ибо в противном случае дедукция легко приводит к абсурду. [9]
Программа на FC-этапе компиляции имеет вид S-выражения ( см. гл. Программа состоит из списка определений комбинаторов ( comblist) и выражения верхнего уровня ( ехр), описывающего вид результата работы программы. Каждое определение комбинатора ( combdef) включает в себя определение арности комбинатора ( argcount) - целое число и выражение, описывающее этот комбинатор. Есть три класса функций: встроенные функции ( Ы) или примитивы; определяемые пользователем функции ( ud), которые являются комбинаторами; и функции-выражения ( fe), обработка которых в процессе компиляции приводит к появлению замыканий. [10]
Посмотрите, как выглядит при отображении Wei-стра-ницы список определений. [11]
Командой FILEDEF описываются наборы данных ОС ЕС и файлы ПДО, для ввода или вывода которых используются средства ОС ЕС. Команда FILEDEF без операндов применяется для отображения списка текущих определений наборов данных и файлов. Команда FILEDEF аналогична оператору DD операционной системы ОС ЕС. [12]
Мы полагаем, что вы сочтете полезным приведенный ниже список определений. [13]
При этом под основным материалом мы понимаем не столько доказательства трудных теорем ( которых в линейной алгебре немного), сколько систему понятий, которыми следует овладеть. Поэтому многие теоремы из этих разделов могут быть рассказаны в более простом варианте или вовсе опущены; по недостатку времени такие сокращения неизбежны. Как избежать при этом превращения лекций в унылый список определений, составляет серьезную заботу преподавателя. [14]
 |
Пример программы на Лиспе. [15] |
Страницы: 1 2