Компьютерное моделирование логических процессов. Архитектура и языки решателя задач Практическое пособие
В книге представлено описание разработанного автором пакета прикладных программ Логическая система "Искра" обобщающего многолетний опыт компьютерного моделирования логических процессов в результате которого возникла развитая технология обучения решателя. В основном моделировались процессы...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Russian |
| Published: |
Москва
Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ)
2008
|
| Edition: | 1 |
| Subjects: | |
| Online Access: | ЭБС Знаниум ЭБС Знаниум Перейти в каталог НТБ ТГАСУ |
| LEADER | 03789nam a22003131 4500 | ||
|---|---|---|---|
| 001 | 565 | ||
| 005 | 20230301224120.0 | ||
| 007 | cr bn uu|uu | ||
| 008 | 200612s2008 ru | 000 0 rus d | ||
| 020 | |a 9785922110457 | ||
| 040 | |a RU-ToGUA |b rus |c RU-ToGUA |e PSBO | ||
| 080 | |a 519.95; 007:159.955 | ||
| 084 | |a 32.81 |2 rubbk | ||
| 084 | |a 09.04.02 |2 okso | ||
| 084 | |a 09.03.02 |2 okso | ||
| 100 | 1 | |a Подколзин, Александр Сергеевич |9 231725 | |
| 245 | 1 | 0 | |a Компьютерное моделирование логических процессов. Архитектура и языки решателя задач |h [Электронный ресурс] |b Практическое пособие |c Московский государственный университет им. М.В. Ломоносова |
| 250 | |a 1 | ||
| 260 | |a Москва |b Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ) |c 2008 | ||
| 300 | |a 1024 с. | ||
| 520 | 3 | |a В книге представлено описание разработанного автором пакета прикладных программ Логическая система "Искра" обобщающего многолетний опыт компьютерного моделирования логических процессов в результате которого возникла развитая технология обучения решателя. В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа позволяющая не только получать ответы но и прослеживать ход решения по шагам. Для обучения решателя был развит новый язык объединяющий в себе два логических уровня - предметной области и принятия решений что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы решателя. Студентам аспирантам и специалистам по искусственному интеллекту программированию и компьютерной математике. | |
| 540 | |a Профессиональное образование | ||
| 650 | 4 | |a Информатика. Вычислительная техника |x Информационные технологии в науке и образовании |2 local |9 33492 | |
| 655 | 0 | 4 | |a Практическое пособие |2 local |9 228556 |
| 856 | 4 | |a znanium.com |m ebs_support@infra-m.ru |n НИЦ ИНФРА-М |u https://znanium.com/catalog/document?id=119576 |y ЭБС Знаниум | |
| 856 | 4 | 1 | |a znanium.com |d /cover/0186 |f 186565.jpg |q image/jpeg |u https://znanium.com/cover/0186/186565.jpg |y ЭБС Знаниум |
| 856 | |y Перейти в каталог НТБ ТГАСУ |u https://catalog.tsuab.ru/cgi-bin/koha/opac-detail.pl?biblionumber=700540 | ||
| 999 | |c 700540 |d 700540 | ||
| 039 | |z 2 |b 2 | ||