Cтраница 1
Проблема полноты в широком смысле слова решается положительным образом. [1]
Исследование проблемы полноты, касающееся NF, выходит за рамки нашей книги. [2]
Некоторые из проблем полноты, отмеченные в системе PLANNER, существуют и в языке PROLOG. В частности, использование литералов отсечения и неудачи может серьезно сказаться на полноте и согласованности фактов и правил. [3]
Наиболее серьезными являются проблемы полноты, ортогональности и правильного выбора волновых функций. Перекрытие атомных функций резко усложняет задачу, а волновые функции изолированного иона в твердом теле заметно видоизменяются. Учет этих модификаций вносит в теорию много произвольных параметров, например, интегралы перекрытия. [4]
Таким образом, проблема полноты для ( Род, С, О) содержит значительные трудности. [5]
При создании запасов возникает проблема полноты удовлетворения спроса на запасные части и минимизации функции затрат на них при заданных ограниченных сроках выполнения работ. Единая система ПНР [14] не содержит конкретных указаний по номенклатуре и количеству запасных частей. Эти вопросы ремонтные службы предприятий решают самостоятельно. Основным методом установления состава ( номенклатуры) запасных частей и их количества в отраслевом масштабе является анализ данных об отказах и сроках службы конкретных элементов машин. [6]
При создании запасов возникает проблема полноты удовлетворения спроса на запасные части и минимизации функции затрат на них при заданных ограниченных сроках выполнения работ. Единая система ППР [14] не содержит конкретных указаний по номенклатуре и количеству запасных частей. Эти вопросы ремонтные службы предприятий решают самостоятельно. Основным методом установления состава ( номенклатуры) запасных частей и их количества в отраслевом масштабе является анализ данных об отказах и сроках службы конкретных элементов машин. [7]
При создании запасов возникает проблема полноты удовлетворения спроса на запасные части и материалы и минимизации функции затрат на них при заданных ограничениях сроков выполнения работ. [8]
С концепцией процедурной дедукции связана проблема полноты. В системе PLANNER это свойство отсутствует. [9]
Этот вопрос и представляет собой проблему полноты в широком смысле для исчисления высказываний. [10]
В процессе разработки имитационной модели возникает проблема полноты учета факторов, определяющих степень безопасности полетов. Априорное решение этого вопроса и выбор наиболее существенных факторов вызывает большие трудности. [11]
Имеется дальнейшее применение этих теорем к проблемам полноты и непротиворечивости. Допустим, что наша система ( просто) непротиворечива. Тогда, как в доказательстве второй половины теоремы 28, Ар ( р) недоказуема, но - - ч А. Тарский [ 1933а ] ввел для этой ситуации название - неполноты. Если в этой ситуации 1 - - i VxA ( x) ( последняя фэрмула есть - ч Ар ( р)), то система будет - противоречивой. Открытие, что система может быть в-неполной, обнаруживает возможность того, что она является в-противоречивой, не будучи просто противоречивой. Такого рода системой, несомненно, является та, которая получается из системы гл. [12]
Излагаются рассуждения Эйнштейна - Подольского-Розена по проблеме полноты квантовой механики и ответ Бора. [13]
Этот факт приводит к установлению связи между проблемами полноты в пространствах аналитич. [14]
В заключение следует упомянуть, что в рамках данной книги проблема полноты рассмотренных функций перемещений и функций напряжении, а также их зависимости от физических уравнений не обсуждается. [15]