Книга посвящена молодой, активно развивающейся области математической логики и кибернетики — теории исчислений. Излагается математический аппарат теории и новейшие ее обобщения применительно к моделированию различных технологических, биологических и экономических процессов. Рассмотрена связь теории с проблематикой искусственного интеллекта и конструктировання ЭВМ.
Для инженерно-технических работников, специализирующихся в области кибернетики, особенно в области искусственного интеллекта, а также для специалистов смежных наук, интересующихся логическими возможностями ЭВМ.