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

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


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

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

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

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

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

Бойко
2020
Розовый жираф
945.00 руб.
Хокинг Л.
2020
Розовый жираф
1024.50 руб.
Литвина А., Десницкая А.
2020
Самокат
2173.50 руб.
Геласимов А.
2020
Городец-Флюид
304.50 руб.
Ломов А.М.
2020
Флинта
486.00 руб.
2020
РУСАЙНС
1114.50 руб.
Скобликов П.А.
2019
НОРМА
1012.50 руб.
Гиленсон Б.А.
2020
ИНФРА-М
1114.50 руб.
Драгунский В.Ю.
2019
Детская литература
219.00 руб.