Название: Машины Тьюринга и рекурсивные функции Автор: Эббинхауз Г.-Д., Якобе К., Ман Ф.-К., Хермес Г. Издательство: Мир Год: 1972 Cтраниц: 264 Формат: pdf Размер: 11 мб Язык: русский
Этот коллективный труд немецких математиков содержит элементарное изложение теории машин Тьюринга и рекурсивных функций - важного раздела современной математической логики, нашедшего широкое применение в кибернетике. Помимо основ этой теории, книга содержит ряд существенных результатов, включая достижения последнего времени (в частности, результаты Колмогорова о связи машин Тьюринга с основаниями теории вероятностей). Изложение ведется строго, но доступно, содержит много примеров и пояснений. Книгу с интересом прочтут читатели разных категорий, начиная от учащихся старших классов школ с математической специализацией и кончая научными работниками и преподавателями высшей школы.
Скачать Эббинхауз Г.-Д., Якобе К., Ман Ф.-К., Хермес Г. Машины Тьюринга и рекурсивные функции
|