Форум программистов, компьютерный форум CyberForum.ru
Наши страницы

Пример, подтверждающий что не любую итерацию можно заменить рекурсией - C++

Войти
Регистрация
Восстановить пароль
Другие темы раздела
C++ Интересная сортировка http://www.cyberforum.ru/cpp-beginners/thread172995.html
Дан вектор.Сжать существующий вектор,удалив все отрицательные элементы,не используя дополнительный вектор. Огромная,просьба напишите,как можно проще,просто начинающий.
C++ Треугольниз из звезд Нада программа которая через цикли делает треугольник ******* * * * * * Примерно такой главное что б был пустым и конец был вниз) как с заполниним знаю а пустой никак не могу... http://www.cyberforum.ru/cpp-beginners/thread172979.html
ошибка C++
в чем моя ошибка , уже и так и сяк переставляла а компиль подчеркивает..... m и n в int mni, int max и подчеркивает вторую скобку в void sedlo(double mas) вот код #include "stdafx.h" #include...
C++ Используя перегрузку, написать функцию для выполнения приведения типов
Используя перегрузку, написать функцию для выполнения, приведения типов, для следующих типов данных float, int, double, long.
C++ Какое минимальное количество спичек нужно для того, чтобы построить в пространстве N кубов со стороной в одну спичку http://www.cyberforum.ru/cpp-beginners/thread172918.html
Какое минимальное количество спичек нужно для того, чтобы выложить на плоскости N квадратов со стороной в одну спичку? Какое минимальное количество спичек нужно для того, чтобы построить в...
C++ Найти номера строк и столбцов всех Седловых точек матрицы Дана целочисленная прямоугольная матрица. Определить: 1.) сумму элементов в тех строках, которые содержат хотя бы один отрицательный элемент; 2.) номера строк и столбцов всех Седловых точек... подробнее

Показать сообщение отдельно
KBAC
1 / 1 / 0
Регистрация: 10.05.2010
Сообщений: 72
13.10.2010, 18:22  [ТС]
Так, вот что я почерпнул из ТВП:

(1)Тезис Тьюринга: "Всякий алгоритм может быть реализован на машине Тьюринга"
Доказательства этому утверждению НЕТ и НЕ может быть, т.к. само понятие алгоритма является неточным, неформальным.
(2)далее по Тьюрингу: Если для некоторой функции существует маш. Тьюринга, которая эту функцию правильно вычисляет, то эта функция называется вычислимой.
(3)по Чёрчу :
каждая стандартно заданная частично рекурсивная функция(ЧРФ) вычислима путем применения процедуры механического характера.
ЧРФ - множество всех арифметических рекурсивных функций.

по- моему, доказано. только как быть не с арифметическими функциями ? или наверно для машины- то таковых НЕ существует ?
0
 
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru