Cтраница 3
Соответствующее множество соотношений г 1 j r e R называется множеством определяющих соотношений группы G относительно X. Говорят, что соотношение ja 1 вытекает, следует или выводимо из множества соотношений s ljseS, если ше 5 в группе F. Выбор множества определяющих слов R неоднозначен. [31]
Если коэффициенты полиномов принадлежат полю рациональных чисел, то говорят, что группа определена и ад полем рациональных чисел. Обозначим эту группу через G, понимая под G не множество точек, а множество полиномиальных соотношений. [32]
AT-ее порождающее множество, то существует определяющее множество соотношений G относительно AT в смысле теории групп. Таким множеством соотношений может служить, например, множество всех соотношений в G относительно К. [33]
Один процесс, используя представление полугруппы образующими и соотношениями, пополняет множество соотношений, причем в эту полугруппу встраивается определенный антиавтоморфизм. Другой процесс показывает, что некоторое заданное на образующих отображение не может быть продолжено до инволюции всей полугруппы. [34]
В целях получения высококачественных недорогих составов для изготовления толстых пленок разработаны сплавы различных благородных металлов. Известно очень большое число многокомпонентных систем, а в каждой системе - множество соотношений металл-металл и стекло-металл, создающих разнообразные свойства. [35]
Так как ответ на вопрос о том, кому передать выполнение функции - человеку или машине, частично зависит от характера системы и выполняемой работы, а частично от формулировки поставленного вопроса, то анализ психофизиологических факторов необходимо провести для каждой конкретной конструкторской ситуации. Должны быть рассмотрены стоимость, вес, безопасность, уровень развития техники. Более того, анализ одиночных функций системы человек - машина не позволяет решить вопрос оптимальным образом; для его разрешения требуется рассмотрение множества соотношений. Поэтому до анализа конкретной задачи не представляется возможным дать рекомендации о принятии решения: выбрать автоматизированный вариант, использовать операторов или же выбрать сочетание этих двух вариантов, а в случае последнего решения - дать рекомендацию, при каких обстоятельствах его использовать. [36]
Традиционные программистские формализмы этими достоинствами логики не обладают. Более того, синтез традиционных программ не дает возможности откладывать принятие решений относительно их поведения в период исполнения. В частности, использование упорядоченных последовательностей деструктивных присваиваний приводит к сильной логической и операционной зависимости между сегментами программы, что затрудняет их независимую разработку и анализ, делает их менее гибкими при окончательном применении. Наконец, семантическое несоответствие между декларативными, основанными на логике спецификациями и операционными конструкциями машинно-ориентированных языков заметно уменьшает понимание программистом их взаимосвязи, зависящей фактически от большого и разнородного множества соотношений, которые связывают эти два вида формальных систем. [37]