База данных: Каталог ЭБС Университетская библиотека онлайн
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
Подколзин, А. С.
Компьютерное моделирование логических процессов: архитектура и языки решателя задач [Электронный ресурс] : монография / А. С. Подколзин. - Москва : Физматлит, 2008. - 1020 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-1045-7 : Б. ц.
ББК 22.185.4 + 22.195
Аннотация: В книге представлено описание разработанного автором пакета прикладных программ "Логическая система "Искра", обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения "решателя". В основном моделировались процессы решения математических задач. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. для обучения "решателя" был развит новый язык, объединяющий в себе два логических уровня - предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы "решателя" Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.
Доп.точки доступа:
Физматлит
Подколзин, А. С.
Компьютерное моделирование логических процессов: архитектура и языки решателя задач [Электронный ресурс] : монография / А. С. Подколзин. - Москва : Физматлит, 2008. - 1020 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-1045-7 : Б. ц.
| УДК |
Аннотация: В книге представлено описание разработанного автором пакета прикладных программ "Логическая система "Искра", обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения "решателя". В основном моделировались процессы решения математических задач. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. для обучения "решателя" был развит новый язык, объединяющий в себе два логических уровня - предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы "решателя" Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.
Доп.точки доступа:
Физматлит
Страница 1, Результатов: 1