авторТатьяна ПеньковаМатематическая логика и теория алгоритмовМодели и методы искусственного интеллекта
Буклинкер
