• Язык
 

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


Дисциплина: Архитектура вычислительных систем Архитектура вычислительных систем и компьютерных систем Архитектура информационных систем Архитектура компьютеров Информационные компьютерные технологии Компьютерное проектирование Компьютерные технологии Программирование Информационные технологии

Год издания: 2008
Издательство: Физматлит
Объем (стр.): 1020
ISBN: 978-5-9221-1045-7

Постраничный просмотр для данной книги Вам недоступен.

Книга доступна только по подписке.

Выгрузить: RusMarc / RusMarc (UTF8)
В книге представлено описание разработанного автором пакета прикладных программ "Логическая система "Искра", обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения "решателя". В основном моделировались процессы решения математических задач. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. для обучения "решателя" был развит новый язык, объединяющий в себе два логических уровня - предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы "решателя" Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.

Отзывы: нет