Электронные книги

Жанры
Реклама
Последние комментарии
От партнёров
Облако тегов

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

Компьютерное моделирование логических процессов. Архитектура и языки решателя задач
Название: Компьютерное моделирование логических процессов. Архитектура и языки решателя задач
Автор: Подколзин А.С.
Издательство: Физматлит
Год: 2008
Страниц: 1024
ISBN: 978-5-9221-1045-7
Формат: DJVU
Размер: 8 Мб
Язык: русский

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





Нажмите для скачивания Kompyuternoe_modelirov_logicheskih_processov_2008.rar!irov_logicheskih_processov_2008.rar
Размер: 8.04 Mb(cкачиваний: 2)



Похожие книги

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


  • Valid XHTML 1.0 Transitional