Cтраница 4
В этом случае смысл сходства изображений указанных четырех типов был бы сведен к установлению эквивалентности категории TEE во всех четырех грамматиках. Однако такое решение не годится, поскольку, как легко видеть, сходство этих четырех изображений выходит за рамки эквивалентности их списков. Из табл. 1 видно, что первый элемент списка ( а) соответствует четырем первым элементам списка ( г) и подмножествам элементов остальных списков. Подобное расчленение этих образов можно получить, если считать, что каждое такое подмножество обозначает горизонтальную черточку, или штрих. Аналогичное соображение можно высказать относительно тех подмножеств элементов списка, которые в том или ином виде служат выражением понятия совпадения. Конечно, оба эти соображения можно выразить в достаточно строгих терминах определенного языка. [46]
Эта проблема для случая общих граничных задач возникла в 60 - х годах в связи со следующими обстоятельствами. Во-первых, в середине 60 - х годов была создана общая теория параболических граничных задач, основ - ным результатом которой является установление эквивалентности алгебраических условий параболичности задачи и ее корректной разрешимости в широких кл; с-сах гладких функций. Bo-вторых, было в основном завершено детальное описание оператора в случае задачи Коши для параболических по Петровскому систем уравнений, основанное на всестороннем исследовании фундаментальных матриц решений задачи Коши и которое нашло важные применения. [47]
В описании языка Паскаль [91] ничего не говорится о том, когда два типа можно считать эквивалентными друг другу. В очень важной работе [167] рассматривается два подхода к решению этой проблемы: установление эквивалентности типов по эквивалентности компонентов ( может применяться рекурсивно) и установление эквивалентности типов по именам. И в языке Ада и в стандарте ISO на язык Паскаль [5] эквивалентность типов устанавливается по именам. Однако установление эквивалентности типов только по именам является недостаточным для языка Паскаль, поскольку, например, строка ABC не имеет ассоциированного с ней имени типа. [48]
Гесса закон ( 32) - закон о постоянстве сумм теплот для различных путей превращения исходных веществ в продукты реакции. При постоянстве давления или объема системы является следствием первого начала термодинамики ( 30, 31), но имеет отдельное название, так как был открыт раньше установления эквивалентности теплоты и работы. [49]