Личный кабинет
Подробное описание документа
Подколзин А. С.
Компьютерное моделирование логических процессов. Архитектура и язык решателя задач / Подколзин А. С. - М. : Физматлит, 2008. - 1022 с. - Библиогр.:
В книге представлено описание разработанного автором пакета прикладных программ «Логическая система "Искра"»,обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения «решателя». В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач,насчитывающая в настоящее время около 25 тыс.приемов. Фактически возникла мощная система символьной компьютерной математики нового типа,позволяющая не только получать ответы,но и прослеживать ход решения по шагам. Для обучения «решателя» был развит новый язык, объединяющий в себе два логических уровня - предметной области и принятия решений,что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы «решателя».
Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.
519.673 Решение математических задач при помощи моделирующих систем1 экз.
- Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
- Читальный зал ауд.305л, УЛК, ауд. 305л
Похожие издания
Читать онлайн
