Cтраница 1
Описание формулы ( р) аналогично описанию формулы ( а), только оно производится в двойственных терминах. Кванторы Зл г - также называются внешними. В частном случае внешних кванторов может и не быть. Может оказаться, что в формуле ( р) только одно внешнее слагаемое или что внешнее слагаемое содержит только один множитель. В таких условиях формула ( р) может представлять любую формулу. [1]
В описании формулы для оценки вероятности стабильности предприятия опущены аргументы функционала Рсп, в число которых входят все параметры, характеризующие бизнес-проект и менеджмент предприятия, а также, неявным образом, параметры, характеризующие уровень профессионализма эксперта. [2]
Описание формулы ( р) аналогично описанию формулы ( а), только оно производится в двойственных терминах. Кванторы Зл г - также называются внешними. В частном случае внешних кванторов может и не быть. Может оказаться, что в формуле ( р) только одно внешнее слагаемое или что внешнее слагаемое содержит только один множитель. В таких условиях формула ( р) может представлять любую формулу. [3]
Паспорт специальностей научных работников - выпущенный Министерством промышленности, науки и технологий и Высшей аттестационной комиссией документ, содержащий описание формул специальностей и областей исследований применительно к номенклатуре специальностей научных работников, по которым защищаются диссертации. [4]
В целях иллюстрации ниже приведены данные Паспорта специальностей научных работников ( экономические науки, шифр 08.00.00), содержащие описание формул специальностей и областей исследований в области экономических наук. [5]
Очевидно, что любая РСТ-функция ( Э СТ - функция, ЕСТ-функция) определима некоторой бескванторной ( некоторой 3-формулой, некоторой элементарной формулой) исчисления предикатов первого порядка. Представляет интерес описание формул исчисления предикатов, определяющих РСТ ( 3 СТ ЕСТ) - функции, подобное приведенному выше для СТ-функций. [6]
Для того чтобы описание формулы вступило в силу, в ответ на это сообщение следует нажать кнопку ОК. [7]
Еще сложнее картина распространения внеосевых эрмитовых и лагер-ровых пучков более высокого порядка. Останавливаться на ней мы не будем; отметим только, что распределения полей начинают требовать для своего описания весьма громоздких формул и перестают быть симметричными. [8]
Такая форма хранения информации о строении требует в 10 - 15 раз больше знаков, чем при использовании фрагментных кодов и линейных шифров. Однако этот недостаток компенсируется преимуществами топологической записи: небольшой алфавит символов, простые правила кодирования, полнота описания формулы и возможность поиска по любым структурным фрагментам. [9]
ПАТЕНТ - документ, выдаваемый на определенный срок компетентным государственным органом изобретателю, удостоверяющий авторство и исключительное право на изобретение. ПАТЕНТ включает патентную грамоту единого образца с раскрытием названия изобретения, даты его приоритета, фамилии, имени, отчества автора, а также приложенного к грамоте описания формулы и полного текста изобретения с необходимыми иллюстрациями. ПАТЕНТ имеет номер и индекс класса изобретения в соответствии с МКИ. [10]
В чем же состоит цель заявки на изобретение. Во-первых, ясно изложить суть технического решения. Во-вторых, показать, что данное решение соответствует требованиям, предъявляемым к изобретению: обладает существенными отличиями от предшествующих решений, новизной и полезностью. В набор документов, составляющих материалы заявки на изобретение, входят заявление о выдаче авторского свидетельства, описание формулы изобретения, чертежи и целый ряд дополнительных документов различного характера. [11]