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