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

Скачать книгу бесплатно (djvu, 3.98 Mb)

---

Читать «Логика в решении проблем»