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