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

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

https://library.dvfu.ru/en/lib/document/EBSZnanium/2611E262-87C0-4B5A-8C97-AE2C28A3F863/

519.95; 007:159.9
Подколзин, А. С.
    Компьютерное моделирование логических процессов. Архитектура и языки решателя задач [Текст] : Практическое пособие / А.С. Подколзин. - 1. - Москва : Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2008. - 1024 с. . - ISBN 978-5-9221-1045-7

УДК	519.95; 007:159.955

ББК 32.81

Рубрики: Информатика. Вычислительная техника

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

QR code of document