Cтраница 2
Вполне возможно, что понятие самодвойственной полноты покажется читателю несколько искусственным. [16]
Приведенной здесь краткой характеристики понятия полноты оказывается вполне достаточно для обсуждения следующего понятия, относящегося к аксиоматическим теориям. Понятие это характеризует теорию относительно той цели, ради которой теория строилась. [17]
Второе условие связано с понятием полноты. [18]
На эти семантические рассмотрения дадим понятие полноты и состоятельности ( вместо выполнимости), приспособленные к авто-эпистемичности. [19]
С понятием замыкания тесно связано понятие полноты. [20]
Мы придем к другой формулировке понятия полноты, если дадим отрицательную форму критерию того, какие формулы должны быть доказуемыми. Будем говорить, что система полна, если постулаты дают все возможное при условии, что не наступает некоторый нежелательный результат. Результат, который сразу приходит на ум-это простая противоречивость. Точные формулировки будут даны для конкретных формальных систем после того, как мы к ним перейдем. [21]
В основе теории условных изображений лежит понятие полноты. Изображение называется полным, если на нем определены все инциденции элементов оригинала. Рассмотрение полноты изображения ограничивается классом позиционных ( визуальных) задач, в которых сохраняются только пространственные соотношения между отдельными элементами. Именно такая структура отвечает функциональным требованиям пространственно-графической модели. [22]
Известно [47], что в гильбертовых пространствах понятия полноты и замкнутости равносильны. [23]
Известно [68], что в гильбертовых пространствах понятия полноты и замкнутости равносильны. [24]
Типичным примером полной нумерации, давшим повод к введению понятия полноты нумерации, является клиниевская нумерация множества всех одноместных частично рекурсивных функций. [25]
Понятие сходимости в среднем, а вместе с ним и понятие полноты системы функций сохраняет смысл для системы, не обязательно являющейся ортогональной и нормированной. [26]
Понятие замкнутости ортогональной нормированной системы тесно связано с введенным выше понятием полноты системы. [27]
Подятие замкнутости ортогональной нормированной системы тесно связано с введенным выше понятием полноты системы. [28]
Безусловно это важно, но не менее важным для системы является понятие полноты в аспекте выявления и систематической корректировки перечня источников информации ( в основном периодических изданий), который необходимо просматривать для ввода в систему. Для этих целей достаточно иметь ранговое распределение источш-ков информации, построенное в зависимости от частоты обращения к ним, и ограничивать перечень, задавая определенное пороговое значение полноты. В практической деятельности достаточно вести расчет двух коэффициентов: относительной продуктивности и относительной полезности источника информации. [29]
Замкнутость А здесь является ограничением, существенным для того, чтобы метаматематическое понятие простой полноты имело нужный нам смысл. [30]