|
Машины Тьюринга и рекурсивные функции |
Эббинхауз Г. Д., Якобс К., Ман Ф. К., Хермес Г. |
год издания — 1972, кол-во страниц — 264, язык — русский, тип обложки — мягк., масса книги — 240 гр., издательство — Мир |
серия — Современная математика |
цена: 299.00 руб | | | | |
|
Сохранность книги — хорошая
Selecta Mathematica II Herausgegeben von KONRAD JACOBS
H.-D. Ebbinghaus Turing-Maschinen und berechenbare Funktionen I
F.-K. Mahn Turing-Maschinen und berechenbare Funktionen II
H.-D. Ebbinghaus Turing-Maschinen und berechenbare Funktionen III
H.-D. Ebbinghaus Aufzählbarkeit
H. Hermes Entscheidungsproblem und Dominospiele
K. Jacobs Turing-Maschinen und zufallige 0-1-Folgen
K. Jacobs Maschinenerzeugte 0-1-Folgen
SPRINGER-VERLAG 1970
Пер. с нем. Э. Г. Белаги
Формат 84x108 1/32. Бумага типографская №1 |
ключевые слова — тьюринг, рекурсив |
Этот коллективный труд немецких математиков содержит элементарное изложение теории машин Тьюринга и рекурсивных функций — важного раздела современной математической логики, нашедшего широкое применение в кибернетике. Помимо основ этой теории, книга содержит ряд существенных результатов, включая достижения последнего времени (в частности, результаты Колмогорова о связи машин Тьюринга с основаниями теории вероятностей). Изложение ведётся строго, но доступно, содержит много примеров и пояснений.
Книгу с интересом прочтут читатели разных категорий, начиная от учащихся старших классов школ с математической специализацией и кончая научными работниками и преподавателями высшей школы.
|
Книги на ту же тему- Задачи по теории множеств, математической логике и теории алгоритмов, Лавров И. А., Максимова Л. Л., 1975
- Основы кибернетики, Джордж Ф., 1984
- Алгоритмы и вычислительные автоматы, Трахтенброт Б. А., 1974
- Булева алгебра и конечные автоматы, Кунцман Ж., Наслен П., ред., 1969
- Машины клеточных автоматов, Тоффоли Т., Марголус Н., 1991
- Ориентированные графы и конечные автоматы, Мелихов А. Н., 1971
- Теория алгоритмов: основные открытия и приложения, Успенский В. А., Семёнов А. Л., 1987
- Компьютер и задачи выбора, Журавлёв Ю. И., сост., 1989
- Введение в дискретную математику, Яблонский С. В., 1979
|
|
|