Личный кабинет
Подробное описание документа
Подколзин, А. С. Компьютерное моделирование логических процессов. Архитектура и языки решателя задач : учебное пособие / А. С. Подколзин. — Москва : ФИЗМАТЛИТ, 2008. — 1024 с. — ISBN 978-5-9221-1045-7.
В книге представлено описание разработанного пакета прикладных программ "Логическая система "Искра"", обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения "решателя". В основном моделировались процессы решения математических задач. Было проработана около 9000 задач из разных разделов математики. Создана база приемор решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решений по шагам. Для обучения "решателя" был развит новый язык, объединяющий в себе два логических уровня - предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по атоматическому синтезу приемов. Прилагается адрес в сети программы "решателя".Студентам, аспирантам и специолистам по искуственному интеллекту, программированию и комптютерной математике.
Похожие издания
Компьютерное моделирование логических процессов. Архитектура и язык решателя задач / Подколзин А. С. - М. : Физматлит, 2008. - 1022 с. - Библиогр.:
Читать онлайн
