інтелект штучний, интеллект искусственный, artificial intelligence ; логіка математична, логика математическая
Излагаются проблемы и методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждений, логика и модифицируемые рассуждения, формальные грамматики и логическое программирование.
Для всех изучающих и использующих методы искусственного интеллекта и логического программирования.
