Теория рекурсивных функций и эффективная вычислимость - Х. Роджерс

Класическо издание на фундаменталната работа по теория на рекурсивните функции и ефективна вычислимост. Подходящо за студенти, преподаватели и изследователи в областта на математиката, логиката и теоретичната информатика, търсещи дълбоко разбиране на изчислителните процеси на прагматично високо ниво.

• Автор: Х. Роджерс
• Заглавие: Теория рекурсивных функций и эффективная вычислимость
• Издател: Мир
• Година на издаване: 1972
• Корицa: Твърда подвързия
• Език: Руски
• Страници: 624
• Състояние: Отлично
• Категория: Медиа > Книги

Изданието предлага систематично въведение в рекурсивните функции и концепцията за ефективна вычислимост, оформено за по-задълбочено разбиране на математическата логика и теория на изчисленията. Това е ценен ресурс за онези, които искат да овладеят основите на алгоритмичната теорема, формалните модели и границите на computability, както и за колекционери на антикварни книги с интерес към класическата литература по математика.