ЭБС "КОНСУЛЬТАНТ СТУДЕНТА"
Студенческая электронная библиотека

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

Для каталогаПодколзин А.С., Компьютерное моделирование логических процессов. Архитектура и языки решателя задач / Подколзин А.С. - М. : ФИЗМАТЛИТ, 2008. - 1024 с. - ISBN 978-5-9221-1045-7 - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/ISBN9785922110457.html (дата обращения: 24.10.2020). - Режим доступа : по подписке.
АвторыПодколзин А.С.
ИздательствоФизматлит
Тип изданиямонография
Год издания2008
ПрототипЭлектронное издание на основе: Подколзин А.С. Компьютерное моделирование логических процессов. Архитектура и языки решателя задач. М: ФИЗМАТЛИТ, 2008. - 1024 с. - ISBN 978-5-9221-1045-7.
Озвучить текст
АннотацияВ книге представлено описание разработанного автором пакета прикладных программ "Логическая система "Искра"", обобщающего многолетний опыт компьютерного моделирования лологических процессов, в результате которого возникла развитая технология обучения "решателя". В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решении по шагам. Для обучения "решателя" был развит новый язык, объединяющий в себе два логических уровня - предметной области И принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы "решателя". Студентам, аспирантам и специалистам по искусственному интелекту, программированию и компьютерной математике.
Загружено 04-07-2014