Маслов Ю.С. Теория дедуктивных систем и ее применения

М.: Радио и связь, 1986. — 136 с. — (Кибернетика).Книга посвящена молодой, активно развивающейся области математической логики и кибернетики - теории исчислений. Излагается математический аппарат теории и новейшие ее обобщения применительно к моделированию различных технологических, биологических и экономических процессов. Рассмотрена связь теории с проблематикой искусственного интеллекта и конструктирования ЭВМ.
Для инженерно-технических работников, специализирующихся в области кибернетики, особенно в области искусственного интеллекта, а также для специалистов смежных наук, интересующихся логическими возможностями ЭВМ.Предисловие.
Предисловие научного редактора.
О правилах игры.
Математика исчислений.
Канонические исчисления Поста.
Исчисления и алгоритмы.
Вероятностные исчисления и дедуктивная информация.
Горизонтальное моделирование.
Игрушечная экономика.
Исчисления технологических возможностей.
Развитие по правилам.
Вертикальное моделирование.
Бороться и искать (О теории поиска вывода).
Асимметрия познавательных механизмов и ее следствия.
Список литературы.