Этот коллективный труд немецких математиков содержит элементарное изложение теории машин Тьюринга и рекурсивных функций — важного раздела современной математической логики, нашедшего широкое применение в кибернетике. Помимо основ этой теории, книга содержит ряд существенных результатов, включая достижения последнего времени (в частности, результаты Колмогорова о связи машин Тьюринга с основаниями теории вероятностей). Изложение ведётся строго, но доступно, содержит много примеров и пояснений.

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

Книги на ту же тему

1. Задачи по теории множеств, математической логике и теории алгоритмов, Лавров И. А., Максимова Л. Л., 1975
2. Основы кибернетики, Джордж Ф., 1984
3. Алгоритмы и вычислительные автоматы, Трахтенброт Б. А., 1974
4. Булева алгебра и конечные автоматы, Кунцман Ж., Наслен П., ред., 1969
5. Машины клеточных автоматов, Тоффоли Т., Марголус Н., 1991
6. Ориентированные графы и конечные автоматы, Мелихов А. Н., 1971
7. Теория алгоритмов: основные открытия и приложения, Успенский В. А., Семёнов А. Л., 1987
8. Компьютер и задачи выбора, Журавлёв Ю. И., сост., 1989
9. Введение в дискретную математику, Яблонский С. В., 1979