Cтраница 4
Связь между программами 35 и 36 основывается на их общей спецификации S. Для того чтобы получить желаемое преобразование, в рассматриваемом примере потребуется использовать определенные факты из спецификации, которые нельзя было бы так просто вывести только лишь из утверждений программы. Мы приводим поэтому полную спецификацию. [46]
В выражениях для равновесия с ионами водорода чаще используются константы диссоциации, чем константы ассоциации. Далее, обычно предполагается, что взаимодействие участков имеет чисто-электростатический характер, если нет определенных фактов, заставляющих предположить обратное. [47]