Cтраница 1
В-схеме, кото-ая знает их дельта-правила. Использование больших букв позволяет выделить истинно примитивные функции, которые встречаются только лишь в редексах, а не в частичных применениях, которые представлены в СЗНФ. Действительно, если все примитивные функции типа, например входящие в выражение верхнего уровня и тела функций, имеют по два аргумента, то Е - схема прокомпилирует их, непосредственно использовав инструкцию ADD в каждом случае, и элемент глобального контекста для - - никогда не будет достигнут при прогоне. [1]
Тогда было бы легко избежать многозначного употребления V. Но теперь возникает то затруднение, что через ф обозначают также сферическую координату, соответствующую долготе, и имеется много задач о потенциалах, в которых требуется эта координата. Один из возможных выходов состоит в использовании большой буквы Ф для обозначения потенциала в таких задачах, но ее - трудно писать. Другой выход состоит в том, чтобы найти иное обозначение для долготы и для второго угла Эйлера. Ламб использовал для этого обозначение о в тех задачах, где существует потенциал скоростей, и ф - в противном случае. Неудобство со как постоянного символа для этой цели очевидно. В свою очередь употребление ф неудобно тем, что в геодезии, использующей в значительной мере теорию гравитационного потенциала, ф используется для обозначения широты, тогда как долгота обозначается через Я. Такие же обозначения приняты и в метеорологии. [2]