RL

We now define the recursive functions by a generalized inductive definition consisting of three rules Rl through R3.

Теперь мы определим рекурсивные функции с помощью обобщенного индуктивного определения, состоящего из трех правил Rl —R3.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

The wages for white workers were Rl,715, R3,000, Rl,742 and R2,464, respectively.

Заработная плата белых рабочих составляла соответственно 1 715, 3 000, 1 742 и 2 464 рандов,

© Организация Объединенных Наций, 2010 год

http://www.un.org/ 21.02.2011

© United Nations 2010

http://www.un.org/ 21.02.2011

This point is the geometric intersection of the corresponding rays belonging of the vectors RL and Rr in the same plane, passing through the eye base B. That condition is written by the vector coplanarity equation:

Условие геометрического пересечения соответственных лучей определяется условием принадлежности векторов RL и RR к одной плоскости, проходящей через глазной базис В. Это условие записывается уравнением компланарности векторов:

http://www.patentlens.net/ 11.11.2011

http://www.patentlens.net/ 11.11.2011