:
12 2015 .

28 2015 : ?, , , , .

: , , . , - .

. , - - .

.

, Algo-rithm , . - , () , , 115-.

, λ, , . , , , , .

.

λ Algo-rithm.

:
http://conferences.kazan.souz-lombardov.ru

[ ]

-