Новые поступления (книга в стадии обработки) Машины Тьюринга и рекурсивные функции [Текст] : научное издание / Г.-Д. Эббинхауз [и др.] ; пер. с нем. Э. Г. Белаги. - М. : Изд-во "Мир", 1972. - 264 с. : ил., табл. ; 20 см. - (Современная математика). - Библиогр. в конце глав. - Указ.: с. 248-250. - Предм. указ.: с. 251-262. - 0.89 р.
Рубрики: Математика--Теория функций Кл.слова (ненормированные): АЛГОРИТМЫ -- МАШИНЫ ТЬЮРИНГА -- ПЕРЕЧИСЛИМОСТЬ -- РАЗРЕШИМОСТЬ -- РЕКУРСИВНЫЕ ФУНКЦИИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВА Аннотация: Книга содержит элементарное изложение теории машин Тьюринга и рекурсивных функций - важного раздела современной математической логики, нашедшего широкое применение в кибернетике. Помимо основ этой теории, книга содержит ряд существенных результатов, включая достижения последнего времени (в частности, результаты Колмогорова о связи машин Тьюринга с основаниями теории вероятностей). Изложение ведется строго, но доступно, содержит много примеров и пояснений. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Эббинхауз, Г.-Д. Якобс, К. Ман, Ф.-К. Хермес, Г. Белага, Э. Г. |