Страницу Назад
Поискать другие аналоги этой работы

Эквивалентность элементарных функций

ID: 103493
Дата закачки: 13 Августа 2013
Закачал: Qiwir (Напишите, если есть вопросы)
Посмотреть другие работы этого продавца

Тип работы: Работа
Форматы файлов: Microsoft Word

Описание:
Определение. Функция называется элементарной по Кальмару, если ее можно получить й из функций s1, Inm, x+y, x-y, S, а также конечного применения операций суммирования и мультиплицирования.
Определим пять классов функций, элементарных по Кальмару.
L1 Класс функций, получаемый из функций s1, Inm, x+y, x-y, S, а также конечного применения операций суммирования и мультиплицирования.
L2 Класс функций, получаемый из функций s1, Inm, x-y, 2x ,S, а также конечного применения операции суммирования.
L3 Класс функций, получаемый из функций s1, Inm, x-y, x*y, 2x ,S, а также конечного применения операции ограниченной минимизации.
L4 Класс функций, получаемый из функций s1, Inm, x-y, x+y 2x ,S, а также конечного применения операции ограниченной рекурсии.
L5 Класс функций, получаемый из функций s1, Inm, x-y, x*y, S, а также конечного применения операции мультиплицирования.
Доказательство будем проводить по следующей схеме:

Размер файла: 16,3 Кбайт
Фаил: