Скачать Компьютерное моделирование логических процессов Александр Подколзин,

Обложка Компьютерное моделирование логических процессов	Александр Подколзин,
Название:
Компьютерное моделирование логических процессов
ISBN:
978-5-9221-1045-7
Добавил:
Admin
Время добавления:
28.02.2011
Год издания:
Форматы:
PDF
FB2
DJVU
EPUB
TXT
Издательство:

Ссылки для скачивания:

download Компьютерное моделирование логических процессов	Александр Подколзин,  FB2 download Компьютерное моделирование логических процессов	Александр Подколзин,  ePUB download Компьютерное моделирование логических процессов	Александр Подколзин,  Mobi download Компьютерное моделирование логических процессов	Александр Подколзин, Pdf download KEYPART-1]	Александр Подколзин,  Txt download Компьютерное моделирование логических процессов	Александр Подколзин,  ebook

Описание Компьютерное моделирование логических процессов Александр Подколзин,

В книге представлено описание разработанного автором пакета прикладных программ /u0022Логическая система /u0022Искра/u0022/u0022, обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения /u0022решателя/u0022. В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс.

приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. Для обучения /u0022решателя/u0022 был развит новый язык, объединяющий в себе два логических уровня - предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы /u0022решателя/u0022./u003cbr/u003e/u003cbr/u003e Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике

Вместе с Компьютерное моделирование логических процессов скачивают