Реальная база готовых
студенческих работ

Авторам Вопрос-ответ

Узнайте стоимость индивидуальной работы!

Тип задания

Предмет

Ваше имя

Вы нашли то, что искали?

Да, спасибо!

Нет, пока не нашел

Узнайте стоимость индивидуальной работы

Тип задания

Предмет

Ваше имя

это быстро и бесплатно

Оформите заказ сейчас и получите скидку 100 руб.!

Тип задания

Предмет

Ваше имя

Доказательство примитивной рекурсивности функции и её вычисление.

Тип Лабораторная

Предмет Математическая логика и теория алгоритмов

ID (номер) заказа
2600608

Просмотров

672

Размер файла

9.35 Мб

Ознакомительный фрагмент работы:

Комплексная лабораторная работа
Вариант №5
Задание 1. Доказательство примитивной рекурсивности функции и её вычисление.
Написать рекурсивную и не рекурсивную программу вычисления значения функции f, полученной оператором примитивной рекурсии R над функциями g и h. Доказать, что функция примитивно-рекурсивна.
g(x, y) = y+xh (x, y, z, t) = t(x+y)
По определению оператора примитивной рекурсии:
f(x,y,0)=y+xf(x,y,z+1)=f(x,y,z)(x+y)
Доказательство ПРФ: Функция f является ПРФ, т.к. построена из примитивно-рекурсивных функций с помощью оператора примитивной рекурсии. Функция сложения и произведения являются примитивно-рекурсивными.
Напишем рекурсивную и не рекурсивную функцию:
#include "pch.h"
#include <iostream>
#include <cstdio>
int f_rec(int x, int y, int z)
{
if (z == 0) return y + x;
return f_rec(x, y, z-1)*(x + y);
}
int f_norec(int x, int y, int z)
{
int f = x + y;
for (int i = 0; i < z; i++)
{
f = f * (x + y);
}
return f;
}
int main()
{
printf( "Rec: %x \n" , f_rec(1,2,3));
printf( "Norec: %x \n" , f_norec(1, 2, 3 ));
}
Результат выполнения:

Задание 2. Построить машину Тьюринга
На ленте записана цепочка, состоящая из 0 и 1. Если она начинается с 0, то стереть цепочку и вывести f, иначе все символы заменить на символ *.
Вход МТ: 011101
Выход МТ: f
Решение:

Состояния:
Q1 – ветвление по первому символу
Q2 – стираем все символы, в конце пишем f и выходим
Q3 – меняем 0 и 1 на *
Q4 – возвращаемся в начало цепочки символов и выходим
Использован эмулятор: http://kpolyakov.spb.ru/prog/turing.htm
Задание 3. Построить алгоритм Маркова, вычисляющий функцию. Значения аргументов задаются в унарном коде через разделитель.
Y(X,Y)=2*X/3+1

Результат выполнения: 11111
Проверка: x=6, y=2 Y(6,2)=2*6/3+1=12/3+1=4+1=5
Использован эмулятор: http://kpolyakov.spb.ru/prog/nma.htmЗадание 4. Оценка сложности алгоритма, построение эффективных алгоритмов
Написать рекурсивную и не рекурсивную программу для задачи по варианту. Оценить класс сложности алгоритмов.
Написать программу, которая проверяет, есть ли число X в упорядоченном массиве из N чисел.
Пример:
Массив [1, 5, 6, 15, 20, 56, 60, 71, 100]
Число X = 15
Функция поиска возвращает True.
Код программы:
#include "pch.h"
#include <iostream>
#include <cstdio>
// функция с алгоритмом двоичного поиска
bool Rec_poisk(int arr[], int left, int right, int key)
{
intmidd = (left + right) / 2;
if (key == arr[midd]) // если искомое равно элементу в массиве
{
return true; // возвращаем true
}
if (midd == right || midd == left) // если границы сомкнулись
{
return false;
}
if (key < arr[midd]) // если искомое меньше значения в ячейке
{
returnRec_poisk(arr, left, midd, key); // смещаем правую границу поиска, вызываем рекурсивную функцию поиска
}
else if (key > arr[midd]) // если искомое больше значения в ячейке
{
returnRec_poisk(arr, midd, right, key); // смещаем левую границу поиска, вызываем рекурсивн...

Нет нужной работы в каталоге?

Сделайте индивидуальный заказ на нашем сервисе. Там эксперты помогают с учебой без посредников Разместите задание – сайт бесплатно отправит его исполнителя, и они предложат цены.

Вы работаете с экспертами напрямую. Поэтому стоимость работ приятно вас удивит

Исполнитель внесет нужные правки в работу по вашему требованию без доплат. Корректировки в максимально короткие сроки

Если работа вас не устроит – мы вернем 100% суммы заказа

Наши менеджеры всегда на связи и оперативно решат любую проблему

К работе допускаются только проверенные специалисты с высшим образованием. Проверяем диплом на оценки «хорошо» и «отлично»

1 000 +

Новых работ ежедневно

Требуются доработки?
Они включены в стоимость работы

Работы выполняют эксперты в своём деле. Они ценят свою репутацию, поэтому результат выполненной работы гарантирован

Математика

История

Экономика

159599
рейтинг

3275
работ сдано

1404
отзывов

Математика

Физика

История

156804
рейтинг

6076
работ сдано

2739
отзывов

Химия

Экономика

Биология

105734
рейтинг

2110
работ сдано

1318
отзывов

Высшая математика

Информатика

Геодезия

62710
рейтинг

1046
работ сдано

598
отзывов

Тип работы

Новосибирский государственный университет водного транспорта

Очень понравилось работать с данным исполнителем. Всегда идет на встречу.

РГУ нефти и газа (НИУ) имени И.М. Губкина

Все отлично. Работа выполнена раньше срока. Быстро отвечал на вопросы. Помог с понимаем. У...

АмГУ

Работа была выполнена досрочно, замечания оперативно исправлены... Оценка отлично, спасибо!

Последние размещённые задания

Ежедневно эксперты готовы работать над 1000 заданиями. Контролируйте процесс написания работы в режиме онлайн

Тема: База данных питомника растений все в файле только исправить...

Курсовая, Базыданных

Срок сдачи к 27 апр.

только что

2 задачи

Решение задач, Электротехника

Срок сдачи к 1 мая

1 минуту назад

Кредитование коммерческих банков Банком России

Диплом, Банковское дело

Срок сдачи к 20 мая

3 минуты назад

Необходимо подготовить два доклада и две презентации по тема: «Ведение учета налоговых рисков» и «Стратегические решения и риск-менеджмент»

Доклад, Управление рисками

Срок сдачи к 24 апр.

4 минуты назад

Роль ИТ–менеджмента в бизнесе (реферат+презентация)

Реферат, Информатика

Срок сдачи к 23 апр.

4 минуты назад

Сделать курсовой проект и контрольную

Контрольная, Производство, ремонт и утилизация наземных транспортно-технологических средств

Срок сдачи к 1 мая

5 минут назад

Лабораторная работа № 3 в программе Abaqus

Лабораторная, Компьютерный инжиниринг в обработке металлов давлением

Срок сдачи к 8 мая

6 минут назад

Основания ограничений прав человека и гражданина в современном мире

Курсовая, Теория государства и права

Срок сдачи к 26 апр.

7 минут назад

Нужно написать 1 главу к диплому

Диплом, Прикладная информатика

Срок сдачи к 26 апр.

7 минут назад

нужен буклет для проекта, сам проект готов. Тема: Источники заработка подростка Это 9 класс!

Другое, Обществознание

Срок сдачи к 24 апр.

8 минут назад

Защита чести, достоинства и деловой репутации, страниц 25-30

Курсовая, Гражданское право

Срок сдачи к 26 апр.

8 минут назад

Теория в эмпирической части

ВКР, Общая психология

Срок сдачи к 30 апр.

8 минут назад

Работа срочно теоретическая механика. тема: равновесие вала

Решение задач, Теоретическая механика

Срок сдачи к 23 апр.

9 минут назад

Необходимо нарисовать диаграмму бизнес процесса

Презентация, Бизнес анализ, бизнес аналитика

Срок сдачи к 24 апр.

9 минут назад

Методы учета личинок на рыбоводных заводах и нерестовых хозяйствах

Презентация, Пастбищная аквакультура

Срок сдачи к 27 апр.

10 минут назад

Бизнес-анализ и совершенствование кадровой политики организации в сфере перевозок грузов транспортными средствами: экономический аспект

ВКР, Бизнес и финансы

Срок сдачи к 8 мая

10 минут назад

эссе

Эссе, Физическая культура и спорт

Срок сдачи к 2 мая

11 минут назад

Реферат 25-30 стр

Реферат, Инфраструктура инновационной деятельности

Срок сдачи к 30 апр.

11 минут назад

Закажи индивидуальную работу за 1 минуту!

Размещенные на сайт контрольные, курсовые и иные категории работ (далее — Работы) и их содержимое предназначены исключительно для ознакомления, без целей коммерческого использования. Все права в отношении Работ и их содержимого принадлежат их законным правообладателям. Любое их использование возможно лишь с согласия законных правообладателей. Администрация сайта не несет ответственности за возможный вред и/или убытки, возникшие в связи с использованием Работ и их содержимого.