|
|
Регистрация Восстановить пароль |
Повторная активизация e-mail |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
Опции темы | Поиск в этой теме |
11.05.2018, 07:25 | #1 |
Новичок
Джуниор
Регистрация: 10.05.2018
Сообщений: 0
|
примитивно-рекурсивными описаниями операторов суммирования и перемножения
Операторы суммирования и перемножения
Цель работы: Ознакомиться с примитивно-рекурсивными описаниями операторов суммирования и перемножения, научиться программно их реализовывать. теоретические сведения Пусть f (x1, ..., xn, y) - функция от (n + 1) -й переменной. Тогда (n + 1) -местная функция q (x1, ..., xn, z) такова, что полученная из функции f (x1, ..., xn, y) применением оператор суммирования, если: ** Можно доказать, что эта функция примитивно рекурсивной: * * Поскольку ранее было доказано, что добавление является примитивно рекурсивной операцией, то и суммирования, полученное путем примитивной рекурсии, примененной к добавлению и нуль-функции, является примитивно-рекурсивным. Аналогично для перемножения: ** Можно доказать, что эта функция примитивно рекурсивной: * * Поскольку ранее было доказано, что умножение является примитивно рекурсивной операцией, то и перемножения, полученное путем примитивной рекурсии, примененной к умножению и суперпозиции функции следующего элемента и нуль-функции, является примитивно-рекурсивным. Задание: Написать программу, которая реализует: 1. Примитивно-рекурсивный описание оператора суммирования. Функцию f1 выбрать согласно варианту. 2 Примитивно-рекурсивный описание оператора перемножения. Функцию f2 выбрать согласно варианту. Отчет должен содержать: 1. Титульный лист. 2. Должностные вариант. 3. Схема примитивной рекурсии для заданной функции. 4. Исходный код. 5. Образец работы программы (скрин-шоты с входными и выходными данными) варианты: * f1 = (x1 * x2) ^ (y + 1). (y+1) — это степень f2 = (x1 + x2) * y |
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
доказать что функция f(x,y)=max(x,y) примитивно рекурсивна | Андрей564 | Помощь студентам | 2 | 19.06.2015 12:17 |
Программа на языке С с использованием условных операторов и операторов цикла. | Valentin Pirgach | Помощь студентам | 0 | 17.10.2011 20:16 |
Подпрограмма перемножения матриц (3 матрицы) | Doublefaced | Помощь студентам | 8 | 01.07.2009 23:15 |
Подпрограмма перемножения матриц | Doublefaced | Помощь студентам | 0 | 22.06.2009 11:26 |
Перегрузка операторов, Организация перегрузки операторов | chagin_yav | Помощь студентам | 2 | 12.05.2008 09:15 |