Обратная теорема (алгоритмические и эвристические процессы мышления)

Abstract

Брошюра посвящена проблемам моделирования, интеллектуальной деятельности человека, связанной с логической переработкой языковой информации. Дана формальная модель понятия обратной теоремы. Брошюра рассчитана на широкий круг читателей, интересующихся проблемами искусственного интеллекта.