Компьютерное моделирование логических процессов. Архитектура и языки решателя задач Практическое пособие
В книге представлено описание разработанного автором пакета прикладных программ Логическая система "Искра" обобщающего многолетний опыт компьютерного моделирования логических процессов в результате которого возникла развитая технология обучения решателя. В основном моделировались процессы...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | Russian |
| Published: |
Москва
Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ)
2008
|
| Subjects: | |
| Online Access: | https://znanium.com/catalog/document?id=119576 https://znanium.com/cover/0186/186565.jpg |
| LEADER | 03478nam a2200241 i 4500 | ||
|---|---|---|---|
| 001 | zna186565 | ||
| 006 | m o | ||
| 007 | cr | ||
| 008 | 200612d2016 RU s rus | ||
| 040 | |a RU |b rus |c RU |d Ru-ToGu | ||
| 080 | |a 519.95; 007:159.955 | ||
| 084 | |a 32.81 |2 rubbk | ||
| 084 | |a 09.03.02 |2 okso | ||
| 084 | |a 09.04.02 |2 okso | ||
| 100 | 1 | |a Подколзин, А.С. | |
| 245 | 1 | 0 | |a Компьютерное моделирование логических процессов. Архитектура и языки решателя задач |b Практическое пособие |c Московский государственный университет им. М.В. Ломоносова |
| 260 | 2 | |a Москва |b Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ) |c 2008 | |
| 300 | |a 1024 с. | ||
| 520 | |a В книге представлено описание разработанного автором пакета прикладных программ Логическая система "Искра" обобщающего многолетний опыт компьютерного моделирования логических процессов в результате которого возникла развитая технология обучения решателя. В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа позволяющая не только получать ответы но и прослеживать ход решения по шагам. Для обучения решателя был развит новый язык объединяющий в себе два логических уровня — предметной области и принятия решений что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы решателя. Студентам аспирантам и специалистам по искусственному интеллекту программированию и компьютерной математике. | ||
| 650 | 1 | 0 | |a Информатика. Вычислительная техника |x Информационные технологии в науке и образовании |
| 856 | 4 | |a znanium.com |m ebs_support@infra-m.ru |n НИЦ ИНФРА-М |u https://znanium.com/catalog/document?id=119576 |a znanium.com |m ebs_support@infra-m.ru |n НИЦ ИНФРА-М |u https://znanium.com/catalog/document?id=119576 | |
| 856 | 4 | 1 | |a znanium.com |d /cover/0186 |f 186565.jpg |q image/jpeg |u https://znanium.com/cover/0186/186565.jpg |a znanium.com |d /cover/0186 |f 186565.jpg |q image/jpeg |u https://znanium.com/cover/0186/186565.jpg |
| 910 | |a ЭБС Знаниум | ||