
axiom scheme | | схема аксиом.;
axiomatic semantics | | аксиоматическая семантика. Способ; описания семантики языков программд; ирования посредством задания для; каждой элементарной конструкции язд; ыка предусловий и аксиом, определяд; ющих, соответственно, условия, неод; бходимые для ее применения, и услод; вия, которые становятся выполненныд; ми после ее применения.;
