Название: Компьютерное моделирование логических процессов. Архитектура и языки решателя задач
Автор: Подколзин А.С.
Издательство: Физматлит
Страниц: 1024
Формат: DJVU
Размер: 8 Мб
Качество: Нормальное
Язык: Русский
Год издания: 2008
ISBN: 978-5-9221-1045-7
В книге представлено описание разработанного автором пакета прикладных программ «Логическая система "Искра"», обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения «решателя».
В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. Для обучения «решателя» был развит новый язык, объединяющий в себе два логических уровня — предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы «решателя».
Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12741 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Название: Самоучитель карточной игрыАвтор: Ф. ФихманИздательство: Сянас Драугас, ИнтертанигГод: 1991Страниц: 40Формат: PDFРазмер: 5.6 Mb Игра в карты не такое бездумное занятие, как представляется те . . .
Название: Магия "третьего" глаза. Трехмерные стереокартинки Тома БаччиАвтор: Баччи ТомИздательство: ИнтерДайджестГод: 1996Страниц: 33Формат: PDF Размер: 17,8 MBЭта необычная книга наделяет ваш взгляд . . .
Название: 100 настольных игр Автор: Л. ГальперштейнСерия: Я играю, мы играемГод: 1999Страниц: 198Формат: DJVUРазмер: 26,4 МБЭта книга адресована самому широкому кругу читателей. В ней описано множес . . .
Автор: Энн БенсонИздательство: Ниола 21 векГод: 2005Страниц: 117Формат: JPGРазмер: 17MBКнига "Вышивка бисером" познакомит вас с этим увлекательны . . .
Название: Изысканное фриволитеАвтор: Бернадетт БалделлиИздательство: Мой мирГод: 2008Страниц: 47Формат: jpegРазмер: 15.3мбСтаринная техника плетения кружева фриволите, основывающаяся на повторении дво . . .
Автор:Хелен М. СтивенсНазвание: Издательство:Ниола-Пресс Год: 2006ISBN: 5-366-00048-3, 0-7153-1311-8Формат: JPGРазмер: 14,93 МбС древних времен птицы не перестают удивлять нас красотой своего оперения . . .
Название: Многоликий ВысоцкийАвтор: В. СеливерстовИздательство: Моршанская городская типографияГод: 1998Страниц: 53Формат: PDFРазмер: 3.8 МбЯзык: русский Все человечество делится на три неравные час . . .
Как научиться говорить комплиментыГод выпуска: 2005Автор: Ю.Г. ТамбергИздательство: Флинта: НаукаФормат: Обычный текстКачество: eBook (изначально компьютерное)Количество страниц: 40Описание: "Автору к . . .
Автор: колллективНазвание: Тайская кухняИздательство: ИД «Комсомольская правда»Год: 2011Страниц: 74ISBN: 978-5-7475-0097-6Формат: pdfРазмер: 28.7 МбЯзык: русскийКачество: хорошееТайский бокс, тайский . . .
Название: Чайка Джонатан ЛивингстонАвтор: Ричард Бах Год издания: 2011Издательство: СофияISBN: 978-5-399-00182-1Страниц: 64Формат: PDFРазмер: 1,0 Мб (+3 . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Компьютерное моделирование логических процессов. Архитектура и языки решателя задач. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.