|
Компьютерное моделирование логических процессов. Архитектура и язык решателя задачКомпьютерное моделирование логических процессов. Архитектура и язык решателя задач
1698
руб
Издательство: Физматлит
Год выпуска: 2008 Страниц: 1024 Тип обложки: 7Б - твердая (плотная бумага или картон) Оформление: Тиснение золотом Иллюстрации: Без иллюстраций Масса: 1504 г Размеры: 248x175x50 мм Наличие: Ограничено
В книге представлено описание разработанного автором пакета прикладных программ "Логическая система "Искра"", обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения "решателя". В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. Для обучения "решателя" был развит новый язык, объединяющий в себе два логических уровня - предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы "решателя".
Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.
|
||
© 2024, Издательство «Альфа-книга»
Купить самые лучшие и популярные книги в интернет магазине "Лабиринт"
|
Бумага белая, качество печати хорошее, в конце есть страничка для заметок, в начале есть оглавление.
Есть задачи для самостоятельного решения и обширные комментарии к ним.