Искусственный интеллект: стратегии и методы решения сложных проблем

Посвящена одной из наиболее перспективных и привлекательных областей развития научного знания методологии искусственного интеллекта. В ней детально описываются как теоретические основы искусственного интеллекта, так и примеры построения конкретных прикладных систем. Книга даёт полное представление о современном состоянии развития этой области науки. Для студентов вузов. Д. Ф. Люгер ISBN 5-8459-0437-4

Читать далее и скачать

Математическая логика и теория алгоритмов

Рассмотрены основные разделы курса математической логики: алгебра логики, исчисление высказываний, логика и исчисление предикатов, а также некоторые вопросы рекурсивных функций. Во второй части приведены решения почти всех задач, предложенных на практических занятиях, причём развёрнутые решения некоторых из них дополняют основной курс, изложенный в первой части. пособие полезно для знакомства с основными направлениями и методами математической логики и теории алгоритмов и предназначено для студентов технических вузов, обучающихся по специальностям 'Автоматизированные системы обработки информации и управления', 'Информатика и вычислительная техника'. С. Д. Шапорев; БГТУ 'ВОЕНМЕХ'

Читать далее и скачать