Заказ успешно обновлен!
Библиотечный коллектор

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


Заказ:
Компьютерное моделирование логических процессов
Автор: Подколзин А.С.
ISBN: 978-5-9221-1045-7
Год издания: 2008
Издательство: ФИЗМАТЛИТ
Переплёт:
Страниц: 1024
Формат: 70Х100/16

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

Мы в социальных сетях

ОдноклассникиFacebookВКонтакте

Новые поступления

Абрамова М.А.
2020
Флинта
486.00 руб.
Перевалов С.В.
2020
Флинта
243.00 руб.
Блэквуд Сэйдж
2020
Абрикобукс
930.00 руб.
2019
РНБ
607.50 руб.
2018
РНБ
1215.00 руб.
2019
РНБ
810.00 руб.
2019
РНБ
1722.00 руб.
Руни Салли
2020
Синдбад
595.50 руб.