|
Booksee.org
Компьютерное моделирование логических процессов. Архитектура и языки решателя задачПодколзин А.С.В книге представлено описание разработанного автором пакета прикладных программ «Логическая система ''Искра''», обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения «решателя» В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс приемов Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам Для обучения «решателя» был развит новый язык, объединяющий в себе два логических уровня — предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов Прилагается адрес в сети программы «решателя»Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#5
Советские легкие танки. 1920-1941 гг.Солянкин А.Г., Павлов М.В., Павлов И.В., Желтов И.Г.
13.98 Mb
#7
Дистанционное чертежно-графическое образование - альтернатива отсутствию курса ''Черчение'' в школахБольшаков В.П.Категория: Черчение
808 Kb
#9
90 Days of Power Prayer: Supernatural Declarations to Transform Your Life (Epub, Mobi & PDF)Kynan BridgesКатегория: Christian, Devotional
2.05 Mb
|
|