Компьютерное моделирование логических процессов. Архитектура и языки решателя задач
Название: Компьютерное моделирование логических процессов. Архитектура и языки решателя задач
Автор: Подколзин А.С.
Издательство: Физматлит
Год: 2008
Страниц: 1024
ISBN: 978-5-9221-1045-7
Формат: DJVU
Размер: 8 Мб
Язык: русский
В книге представлено описание разработанного автором пакета прикладных программ «Логическая система "Искра"», обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения «решателя».
В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. Для обучения «решателя» был развит новый язык, объединяющий в себе два логических уровня — предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы «решателя».
Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.
unibytes.com
depositfiles.com
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12758 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Любимец женщин
Название: «Любимец женщин» Себастьян ЖапризоИздательство: Нигде не купишьОзвучивает: М.ИвановаГод издания аудио книги: 2006Жанр: ДетективАудио: MP3, 96 Кбит/сек, 44 кГц, моноРазмер: 648,8 МБПродолжите . . .
-
Пустите детей (Детки в клетке)
Название аудиокниги: Пустите детей (Детки в клетке) Автор: Стивен КингИсполнитель: Олег БулдаковЖанр: ужасыФормат: MP3Битрейт аудио: 96 кбит/сГод выпуска: 2009Время звучания: 36 минРазмер: 32,3 МБИзда . . .
-
Книги по САМОРАЗВИТИЮ!
по САМОРАЗВИТИЮ!1. «К черту все! Берись и делай — 2» — Ричард Брэнсон2. «Как приобретать друзей и оказывать влияние на людей» — Дейл Карнеги.3. «Сказать жизни “Да!”. Психолог в концлагере» — Виктор Фр . . .
-
« Ruby Red »
« Ruby Red »Автор: Gier KerstinОписание:«Gwyneth Shepherd's sophisticated, beautiful cousin Charlotte has been prepared her entire life for traveling through time. But unexpectedly, it is Gwyneth who . . .
-
Бестселлеры по бизнесу 2012 года:
по бизнесу 2012 года:1.Джейсон Фрайд и Дэвид Хайнемайер ХенссонRework: Бизнес без предрассудковО том, как начать свой бизнес. Если хотите - параллельно с основной работой. И о том, как усовершенствова . . .
-
Эзотерика. Психология :
Психология :1.«Как вырабатывать уверенность в себе и влиять на людей, выступая публично»Автор: Карнеги ДейлЖанр: ПсихологияОписание:«С 1912 года свыше пятисот тысяч мужчин и женщин были слушателями ку . . .
-
Дин Кунц. Живущий в ночи (Аудиокнига)
Автор: Дин КунцНазвание: Живущий в ночиИздательство: Нигде не купишьГод: 2004Формат: MP3Битрейт аудио: 128 Кбит/c, 44 кГц, моноВремя звучания: 19 ч. 52 мин.Читает: Алексей КовалевРазмер: 600 Мб28-летн . . .
-
А зори здесь тихие
Название: «А зори здесь тихие» Б.ВасильевИздательство: ООО АудиокнигаОзвучивает: Алексей РоссошанскийГод издания аудио книги: 2006Жанр: Военная прозаАудио: MP3, 320 Кбит/сек, 44 кГц, стереоРазмер: 478 . . .
-
Триллер:
когда раввин заспался»Автор: Кемельман ГарриЖанр: Детективы, боевики, триллерыОписание:«Полностью готовый к утренней службе раввин мерил шагами центральный проход - не раздраженно, а как человек, слиш . . .
-
Роберт Шекли. Поединок разумов
Название: Поединок разумов Автор: Роберт ШеклиИздательство: Нигде не купишьГод: 2005Время звучания:01:55:48Формат: MP3, 128 Kbps, 44.1 КГц, StereoРазмер: 106 MbВторая Марсианская Экспедиция возвращает . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Компьютерное моделирование логических процессов. Архитектура и языки решателя задач. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.