Теория дедуктивных систем и ее применения

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

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