Справочная книга по математической логике. В четырех частях. Часть 3

Справочная книга по математической логике. В четырех частях. Часть 3
Автор
 
Год
 
Страниц
 
360
ISBN
 
5816300326
Издатель
 
Главная редакция физико-математической литературы изд-ва "Наука"
Категория
 
Алгебра. Логика
Искать в интернет библиотекахКупить

Содержание:

Вступление, Происхождение удочки, Удилище, Леса, Наплавок, Грузило, Крючок, Поводок, Устройство удочки, Насадка, О выборе места для уженья, Прикормка, Уменье удить, Лошок, Верховка, Голец, Пескарь, Уклейка, Елец, Ерш, Плотица, Красноперка, Язь, Головль, Лещ, Сазан, Карпия, Линь, Карась, Окунь, Щука, Жерих, шестепер, Судак, Лох, Красуля, Форель, Пестряк, Кутема, Налим, Сом, Раки, Крючки и жерлицы, Блесна

Описание:

"Теория рекурсии" - так называется настоящий том "Справочной книги по математической логике" - составляет теоретическую основу современного учения об алгоритмах. Первая вводная глава тома, написанная Эндертоном, знакомит с тем разделом теории алгоритмов, который теперь называется "классической" теорией рекурсии. Две следующие главы, написанные Девисом и Рабином, занкомят с постановками различных алгоритмических проблем, возникающих в арифметике, алгебре, математической логике и других разделах математики. Четвертая глава, написанная Симпсоном, знакомит с теорией (тьюринговых) степеней неразрешимости. Пятая глава, написанная Шором, является содержательным обзором по так называемой a-рекурсии. В шестой главе, написанной Кекрисом и Московакисом, излагается новый подход к изложению теории рекурсии по Клини для функционалов конечных типов. Седьмая глава, написанная Ацелом, является введением в общую теорию индуктивных определений.

Похожие книги

Сергей Аксаков. Записки об уженьеСергей Аксаков. Записки об уженье
Автор: Сергей Аксаков
Год: 1847
Тяжелый песокТяжелый песок
Автор: Анатолий Рыбаков
Год: 1979
Труп моего врагаТруп моего врага
Автор: Фелисьен Марсо
Год: 2004
Наша Russia. 1 сезон. Наша Russia. 1 сезон. "Целая страна говорит на..."
Автор: Гастон Тиссандье
Год: 2008
Глаз бури (аудиокнига CD)Глаз бури (аудиокнига CD)
Автор: А. Г. Битов
Год: 2004