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

Электронная копия печатной книги

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

Автор
Издательство ООО "Физматлит"
Дата издания 2008
Кол-во страниц 1024
ISBN 978-5-9221-1045-7
Тематика Электроника. Информационные и компьютерные технологии
№ в каталоге 1092
Вариант покупки скачивание PDF файла
Арт:1092(1045-isbn)
В наличии
1 229 Р

Краткое описание книги:
В книге представлено описание разработанного автором пакета прикладных программ <<Логическая система ``Искра''>>, обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения решателя. В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. Для обучения решателя был развит новый язык, объединяющий в себе два логических уровня - предметной области и принятия решений. что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы решателя. Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.

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

Оставьте отзыв об этом товаре первым!