Справочная книга по математической логике. В четырех частях. Часть 3
|
Издатель | | Главная редакция физико-математической литературы изд-ва "Наука" |
|
Содержание:
Вступление, Происхождение удочки, Удилище, Леса, Наплавок, Грузило, Крючок, Поводок, Устройство удочки, Насадка, О выборе места для уженья, Прикормка, Уменье удить, Лошок, Верховка, Голец, Пескарь, Уклейка, Елец, Ерш, Плотица, Красноперка, Язь, Головль, Лещ, Сазан, Карпия, Линь, Карась, Окунь, Щука, Жерих, шестепер, Судак, Лох, Красуля, Форель, Пестряк, Кутема, Налим, Сом, Раки, Крючки и жерлицы, Блесна
Описание:
"Теория рекурсии" - так называется настоящий том "Справочной книги по математической логике" - составляет теоретическую основу современного учения об алгоритмах. Первая вводная глава тома, написанная Эндертоном, знакомит с тем разделом теории алгоритмов, который теперь называется "классической" теорией рекурсии. Две следующие главы, написанные Девисом и Рабином, занкомят с постановками различных алгоритмических проблем, возникающих в арифметике, алгебре, математической логике и других разделах математики. Четвертая глава, написанная Симпсоном, знакомит с теорией (тьюринговых) степеней неразрешимости. Пятая глава, написанная Шором, является содержательным обзором по так называемой a-рекурсии. В шестой главе, написанной Кекрисом и Московакисом, излагается новый подход к изложению теории рекурсии по Клини для функционалов конечных типов. Седьмая глава, написанная Ацелом, является введением в общую теорию индуктивных определений.Похожие книги
| Искры Автор: Рабиндранат Тагор Год: 1970
|