ЛИТЕРАТУРА ПО ФУНДАМЕНТАЛЬНЫМ И ПРИКЛАДНЫМ НАУКАМ
для школьников, студентов и научных работников

 

Каталог

Книги

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

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

Издательство:Физматлит
Год издания:2008
ISBN:978-5-9221-1045-7
Кол-во страниц:1024
Переплёт:Твёрдый
 990 руб.  В корзину

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

Комментарии: (авторизуйтесь, чтобы оставить свой)
В корзине нет товаров
Новости
2024-02-10
11-го февраля(воскресенье) магазин в МФТИ работает с 9:00 до 18:00
2023-12-26
Уважаемые покупатели! В связи с новогодними каникулами заказы, оформленные после 26.12.2023, будут обработаны после 9 января 2024 г. Заказы, содержащие только книги издательства «ФИЗМАТКНИГА», будут отправлены раньше. Приносим извинения за задержку!
2023-10-30
31-го декабря, 1, 2, 3 и 7-го января — магазин не работает 4,5, и 6-го января — магазин работает с 10:00 до 17:30 с 8-го января — в обычном режиме
2021-05-20
Уважаемые покупатели! С 20 апреля вы вновь можете оплатить ваш заказ банковской картой непосредственно на на нашем сайте.