Серия: Современная математика (популярная серия)

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