Cтраница 1
Понятие пары) позволяет ввести не только взаимно однозначное соответствие, но и определить понятие отображения в самом общем виде. [1]
Авторы языка включают понятие пары в число базовых понятий. [2]
Таким образом, понятие пары сводится к понятию множества. [3]
В данной ситуации понятие неотделимой пары теорий определяется следующим образом. [4]
Несмотря на это, понятие пары сопряженных функторов сформировалось очень поздно. По-видимому, термин сопряженный вначале ( и уже очень давно) применялся в теории линейных дифференциальных операторов. [5]
Введя, по аналогии, понятие пары ( А, В) точек общего положения как упорядоченной пары, состоящей из различных точек А и В, мы немедленно получим, что это понятие в точности совпадает с понятием невырожденного направленного отрезка. [6]
Иначе подходит Кенигс и к понятию пары: Положения, которые могут принимать два твердых тела одно относительно другого, зависят от шести параметров. Если ограничить эти положения определенными условиями, то тем самым сузится поле изменения этих шести параметров; так определяется то, что мы называем бинарной системой. [7]
Поэтому Льюис обращает внимание на то, что понятие пары электронов важнее понятия восьми электронов в оболочке. Он пишет: В моей ранней теории куб был основной структурой всех атомных оболочек. Поэтому для атомов с малой оболочкой и в первую очередь для атома углерода Льюис предлагает новую модель. [8]
Прежде чем приступить к доказательству необходимости теоремы, введем понятие критической пары многогранника и установим ее свойства. [9]
При рассмотрении групп автоморфизмов алгебраических систем важную роль играет общая идея представлений и связанное с ней понятие пары. Приведем относящиеся сюда определения. [10]
Последнее, что необходимо обсудить, прежде чем перейти к описанию алгоритма вычисления пар видимости, это понятие особой пары и действие процедуры корректировки ( refine); они влияют на выполнение алгоритма жордановой сортировки с исправлением ошибок. Пара точек пересечения dV с L называется особой, если одна из них является первой, а другая - последней точками пересечения некоторой Г - границы ( в порядке следования вдоль dV), иначе пара называется нормальной. [12]
Для того чтобы сформулировать и доказать теорему о бесшумовом скользящем блоковом кодировании источника, нам теперь необходимо ввести понятие пары кодер-декодер ( / я / в)) для источника. [13]
![]() |
Ассоциативная сеть структуры знаний эксперта-программиста. [14] |
Интерпретация выявленных отношений ( связей) между понятиями требует дополнительных усилий от коллектива разработчиков ЭС. Так, например, означивание дуг на рис. 5.2. потребовало дополнительного эксперимента, участникам которого была предложена пара понятий и поставлена задача дать словесное описание связи между понятиями пары. Результаты представлены в табл. 5.1. Таким образом, ассоциативная сеть на рис. 5.2 может быть превращена в семантическую. [15]