Машины Тьюринга и рекурсивные функции
Эббинхауз, Якобс, Ман, Хермес.(Ebbinghaus, Jacobs, Mahn, Hermes)
Этот коллективный труд немецких математиков содержит элементарное изложение теории машин Тьюринга и рекурсивных функций — важного раздела современной математической логики, нашедшего широкое применение в кибернетике. Помимо основ этой теории, книга содержит ряд существенных результатов, включая достижения последнего времени (в частности, результаты Колмогорова о связи машин Тьюринга с основаниями теории вероятностей). Изложение ведется строго, но доступно, содержит много примеров и пояснений.
Книгу с интересом прочтут читатели разных категорий, начиная от учащихся старших классов школ с математической специализацией и кончая научными работниками и преподавателями высшей школы.
Книгу с интересом прочтут читатели разных категорий, начиная от учащихся старших классов школ с математической специализацией и кончая научными работниками и преподавателями высшей школы.
カテゴリー:
年:
1972
出版社:
Мир
言語:
russian
ページ:
265
ファイル:
DJVU, 3.55 MB
IPFS:
,
russian, 1972