КорзинаКорзина

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

Компьютерное моделирование логических процессов. Архитектура и язык решателя задач
Издательство: Физматлит
Год выпуска: 2008
ISBN: 978-5-9221-1045-7
Наличие: Ограниченное количество
2136 р.
Купить Компьютерное моделирование логических процессов. Архитектура и язык решателя задачкупить

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

Товар имеет сертификаты качества и безопасности и соответствует нормам санитарной гигиены. На товар распростаняется гарантия. Имеется дисконтная накопительная система, а также корпоративная скидка 10% на заказ от 20 шт. На странице офомления заказа будет отражена более точная информация о стоимости доставки в ваш регион и о вашей личной скидке.

Книжный раздел

Позвольте Вам предложить