Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Рекурсивные функции
1 байт добавлено
,
19:36, 18 января 2013
→
Операции сравнения
<tex> eq_0(0) = \textbf 0 </tex>
<tex> eq_0(y+1) = h(y,eq(y)), где h(y,eq(y)) = I(P_{3,1}(\textbf,x,y)) </tex>
Анонимный участник
194.85.161.2
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы