Эквивалентность пяти классов функций элементарных по Кальмару
Категория реферата: Рефераты по математике
Теги реферата: использование рефератов, реферат трудовой
Добавил(а) на сайт: Pomel'nikov.
Предыдущая страница реферата | 1 2
[pic]
Пусть
[pic] тогда
[pic]
Отношение, примененное в операция конечной минимизации, является элементарным по Кальмару.
Докажем, что L4КL1 (для этого выразим операции суммирования и мультиплицирования через функции L4)
Выразим м3ультиплицирование через ограниченную рекурсию.
[pic]
Где y(x,y)-к-ступенчатая функция.
Выразим суммирование через ограниченную рекурсию.
[pic]
Докажем, что L1КL5 (для этого выразим x*y через функции L5 )
[pic]
Докажем, что L5КL3 (для этого выразим 2x и операцию ограниченной минимизации выразим через функции L5 )
[pic]
Пусть
[pic] тогда
[pic]
Эквивалентность классов доказана.
Скачали данный реферат: Шевелёк, Конрад, Краснокутский, Локтионов, Jakurin, Palladij.
Последние просмотренные рефераты на тему: отзыв на дипломную работу, онегин сочинение, контрольная работа за полугодие, ответы на кроссворды.
Предыдущая страница реферата | 1 2