Cтраница 3
Доказательству основного утверждения мы предпошлем предварительно несколько определений и лемм. [31]
Теория интегрирования функций от трех аргументов включает в себя, кроме тройных интегралов ( интегралов по трехмерной области) и криволинейных интегралов ( интегралов по одномерной области), еще один, третий, тип интегралов - интегралы по поверхности. Прежде чем определить это понятие, мы для большей ясности предпошлем некоторые общие соображения, которые вместе с тем помогут уточнить изложенные ранее идеи, в особенности те, что относятся к двойным интегралам. [32]
Проблема излучения света занимает центральное место в теории строения атома, так как свет доставляет нам наибольшее количество сведений о внутреннем устройстве атома. Рассмотрению этой проблемы, которая будет занимать нас почти во всей книге, мы предпошлем краткий обзор некоторых вопросов классической теории электромагнитного излучения, знакомство с которой необходимо для понимания современных представлений. [33]
Однако за двумя исключениями: мы начнем с напоминания о вводе-выводе и, кроме того, подробному анализу малоизвестных и часто недооцениваемых возможностей Фортрана предпошлем главу, посвященную манипуляциям с текстами. Различные затронутые темы были выбраны с учетом их практической полезности и частоты применений. [34]
Мы уже доказали установленную в 1923 г. П. С. Александровым и П. С. Урысоном теорему о нормальности хаусдорфова бикомпактного пространства. Этот пункт посвящен доказательству одной из основных теорем, теории паракомпактных пространств, а именно теоремы Дьедоппе о нормальности любого хаусдорфова параком-пактпого пространства, доказанную им в 1944 г. Этой теореме мы предпошлем одно вспомогательное утверждение, которое оказывается полезным и при установлении других глубоких свойств паракомпактных пространств. [35]
Основным элементом, выделяющим систему ДИСПУТ из ряда традиционных диалоговых систем, является интерпретатор естественноязыковых запросов. Как уже говорилось выше, он включает в себя лингвистический и прагматический процессоры. Их описанию мы предпошлем рассмотрение базы данных системы, которая включает информационные массивы и блок управления. [36]
Для любой разделимой функции осуществима разделительная декомпозиция, поэтому ее можно представить бесповторным термом над множеством неконстантных неразделимых функций. При этом оказывается, что такое представление в определенном смысле единственное. Строгой формулировке этого факта предпошлем определения и вспомогательное утверждение, которое имеет и самостоятельный интерес. [37]
Научная литература по геопорфиринам довольно обширна и разнообразна. Много исследований посвящено методическим вопросам и геохимическим аспектам изучения нефтяных порфиринов. Сведения же о молекулярном составе нефтяных порфиринов и их химической структуре рассредоточены по многим весьма разноплановым работам. Сопоставление и анализ этих публикаций для извлечения информации о структуре порфиринов нефти представляют определенную сложность. Поэтому систематическому изложению материала мы предпошлем небольшой раздел, в котором в самой сжатой форме изложены современные представления о составе и структурных особенностях порфиринов нефтей. [38]