Книга: Подколзин Александр Сергеевич «Компьютерное моделирование логических процессов. Архитектура и язык решателя задач»

Производитель: "ФИЗМАТЛИТ"

В книге представлено описание разработанного автором пакета прикладных программ `Логическая система `Искра``, обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения `решателя`. В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. Для обучения `решателя` был развит новый язык, объединяющий в себе два логических уровня - предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы `решателя`. Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.

Издательство: "ФИЗМАТЛИТ" (2008)

Формат: 70x100/16, 1024 стр.

ISBN: 978-5-9221-1045-7

Купить за 1421 грн (только Украина) в