TY  - BOOK
AU  - Подколзин,Александр Сергеевич
TI  - Компьютерное моделирование логических процессов. Архитектура и языки решателя задач: Практическое пособие
SN  - 9785922110457
PY  - 2008///
CY  - Москва
PB  - Издательская  фирма "Физико-математическая литература" (ФИЗМАТЛИТ)
KW  - Информатика. Вычислительная техника
KW  - Информационные технологии в науке и образовании
KW  - local
KW  - Практическое пособие
N2  - В книге представлено описание разработанного автором пакета прикладных программ Логическая система "Искра" обобщающего многолетний опыт компьютерного моделирования логических процессов в результате которого возникла развитая технология обучения решателя. В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа позволяющая не только получать ответы но и прослеживать ход решения по шагам. Для обучения решателя был развит новый язык объединяющий в себе два логических уровня — предметной области и принятия решений что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы решателя. Студентам аспирантам и специалистам по искусственному интеллекту программированию и компьютерной математике
UR  - https://znanium.com/catalog/document?id=119576
UR  - https://znanium.com/cover/0186/186565.jpg
ER  -