x-uni.com
регистрация / вход
сейчас на линии 34 чел.
x-uni.com
x-uni.com
 
Математика
Биология
Литература
Русский язык
ВИДЕО
Физика
Химия
История
Английский
 
ВИДЕО
 
 
регистрация / вход
сейчас на линии 34 чел.
Рекурсивные функции, Петер Р., 1954

Рекурсивные функции, Петер Р., 1954

Рекурсивные функции, Петер Р., 1954.

  Во всем современном математическом мышлении большое место занимает различение между «конструктивным» и «неконструктивным». Даже математики, которые спокойно признают «неконструктивные» доказательства существования, не могут отрицать, что чистое (неконструктивное) доказательство существования какого-либо математического объекта естественно влечет за собой проблему восполнения этого доказательства соответствующей конструкцией.

РЕКУРСИВНЫЕ ФУНКЦИИ И ОТНОШЕНИЯ.
В предыдущем параграфе мы дали определения целого ряда функций, употребляемых в элементарной теории чисел. Как отмечалось, каждое из этих определений позволяет для любого конкретного значения аргумента фактически вычислять значение соответствующей функции. При этом нигде не требуется производить выбор числа с каким-либо определенным свойством из совокупности всех натуральных чисел и нигде не используется то обстоятельство, что все натуральные числа обладают каким-либо определенным свойством. Сколем [1] впервые заметил, что в этом смысле элементарная теория чисел может быть построена конструктивно. Было установлено, что часть упомянутых определений составляют определения посредством рекурсии, т. е. такие определения, при которых задается значение определяемой функции в некоторой начальной точке и указывается, как значения функции в остальных точках вычислять по значениям в предшествующих точках. Другие функции конструируются из уже полученных путем подстановки. Первой встретившейся нам функцией, которая строится посредством подстановки, была функция в1(m, n) из п. 5 §1. Она строится так: сначала в функции а—n производятся замена n на m и подстановка п+1 вместо а, а затем полученная функция (n+1)-n подставляется в sg(n) вместо n.

Скачать бесплатно на сайте fileskachat.com
Скачать бесплатно на сайте yadi.sk

Предложения интернет-магазинов

Русская история в картинах. Выпуск 9. Павел I и Александр I. 1796-1825 гг.

  Издательство: Белый город, 2013 г.  Серия: Наборы репродукций

Цена: 606 руб.   Купить

В набор вошли репродукции картин, посвященных главным событиям времен правления Павла I и Александра I, - от побед над Францией чудо-богатырей Александра Суворова до ожесточенного противостояния России Французской империи Наполеона I Бонапарта. 1. (193) Владимир Боровиковский. Портрет Павла I в костюме гроссмейстера Мальтийского ордена. 1800 2. (194) Карл Штейбен. А.В.Суворову карты военных действий 3. (195) Николай Шабунин. А.В.Суворов в Кончанском беседует с крестьянами 4. (196) Адольф Шарлемань. Торжественная встреча А.В.Суворова в Милане в апреле 1799 года. 1855 5. (197) Александр Коцебу. Переход войск Суворова через Сент-Готард 13 сентября 1799 года 6. (198) Адольф Шарлемань. Фельдмаршал А.В.Суворов на вершине Сент-Готарда 13 сентября 1799 года. 1855 7. (199) Александр Коцебу. Бой на Чертовом мосту 14 сентября 1799 года 8. (200) Франц Крюгер. Александр I на лошади Эклипс, подаренной ему Наполеоном в 1808 году, на которой Александр I въехал в Париж в 1814 году 9. (201) Виктор Мазуровский. Бой за знамя (Подвиг конногвардейцев Гаврилова и Омельченко под Аустерлицем). 1910-1912 (?) 10. (202) Алексей Боголюбов. Афонское сражение 1807 года. 1853 11. (203) Мастерская Игнатия Клаубера по оригиналу Джузеппе Багетти. Переход французской армии через Неман12 июня 1812 года 12. (204) Николай Самокиш. Подвиг солдат генерала Н.Н.Раевского под Салтыковкой 11 июля 1812 года. 1912 13. (205) Петер фон Хесс (Гесс). Бородинское сражение 26 августа (7 сентября) 1812 года. 1843 14. (206) Василий В.Верещагин. Наполеон на Бородинских высотах. Копия начала XX в. 15. (207) Василий В.Верещагин. Конец Бородинского сражения. 1900 16. (208) Алексей Кившенко. Военный совет в Филях в 1812 году. 1882 17. (209) Альбрехт Адам. Наполеон в горящей Москве. 1841 18. (210) Василий Сазонов или Михаил Тихонов. Расстрел французами русских патриотов в Москве в 1812 году. 1813 19. (211) Константин Пржецлавский. Русские в 1812 году. 1855 20. (212) Петер фон Хесс (Гесс). Сражение под Малоярославцем. 1812 год 21. (213) Илларион Прянишников. В 1812 году. 1874 22. (214) Петер фон Хесс (Гесс). Переправа через Березину. 1844 23. (215) Александр Зауервейд. Битва под Лейпцигом 24. (216) Николай Шильдер. Въезд императора Александра I в Париж

ПЕДСОВЕТ / ФОРУМ

Новости образования

Новости науки

флаг италииX-UNI рекомендует репетитора итальянского языка: yuliyavenezia (Скайп).

Репетитор по Скайпу без посредников

Неограниченная аудитория, свободный график. Начните свой бизнес здесь!