Изменения

Перейти к: навигация, поиск

Примитивно рекурсивные функции

557 байт добавлено, 15:34, 14 января 2012
Рекурсивные функции.
целочисленное деление, остаток от деления.
|proof=
Упражнение<tex>\operatorname {plus} = R \langle U^1_1, S\langle N, U^3_3 \rangle\rangle \\\operatorname {dec} = R \langle Z, U^2_1 \rangle \\\operatorname {minus} = R \langle U^1_1, S\langle\operatorname {dec}, U^3_3 \rangle\rangle \\\operatorname {one} = S \langle N, Z \rangle \\\operatorname {mul} = R \langle Z, S \langle\operatorname {plus}, U^3_1, U^3_3 \rangle\rangle \\\operatorname {pow} = R \langle\operatorname {one}, S \langle\operatorname {mul}, U^3_1, U^3_3 \rangle\rangle \operatorname {sign} = R \langle Z, S \langle N, S \langle Z, U^2_1 \rangle\rangle  </tex> 
}}
1299
правок

Навигация