В книге представлено описание разработанного пакета прикладных программ "Логическая система "Искра"", обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения "решателя". В основном моделировались процессы решения математических задач. Было проработана около 9000 задач из разных разделов математики. Создана база приемор решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решений по шагам. Для обучения "решателя" был развит новый язык, объединяющий в себе два логических уровня - предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по атоматическому синтезу приемов. Прилагается адрес в сети программы "решателя".Студентам, аспирантам и специолистам по искуственному интеллекту, программированию и комптютерной математике.

zlib/no-category/Подколзин А.С./Компьютерное моделирование логических процессов. Архитектура и языки решателя задач_2889113.pdf

А. С. Подколзин

Fiziko-matematicheskaya literatura ("FIZMATLIT")

Russia, Russian Federation

lg1646392

{"isbns":["5922110454","9785922110457"],"last_page":1024,"publisher":"Издательство \"Физматлит\""}

Библиогр.: с. 1021-1022
Имеется электронная копия Договор с правообладателем

РГБ

Russian State Library [rgb] MARC:
=001 004239875
=005 20140512134807.0
=008 090225s2008\\\\ru\\\\\\\\\\\\000\|\rus|d
=017 \\ $a 09-3803
=020 \\ $a 978-5-9221-1045-7 (в пер.)
=040 \\ $a RuMoRKP $b rus $e rcr $d RuMoRGB
=041 0\ $a rus
=080 \\ $a 004.89
=084 \\ $a З973.26-018.2,07 $2 rubbk
=084 \\ $a З813.4,07 $2 rubbk
=084 \\ $a В192.1с31,07 $2 rubbk
=100 1\ $a Подколзин, Александр Сергеевич
=245 00 $a Компьютерное моделирование логических процессов : $b архитектура и язык решателя задач $c А. С. Подколзин
=260 \\ $a Москва $b Физматлит $c 2008
=300 \\ $a 1022 с. $c 25 см
=504 \\ $a Библиогр.: с. 1021-1022
=533 \\ $a Имеется электронная копия $n Договор с правообладателем
=650 \7 $a Вычислительная техника -- Вычислительные машины электронные цифровые -- Персональные компьютеры -- Программирование -- Операционные системы -- Пакеты прикладных программ -- Логическое программирование -- Пособие для специалистов $2 rubbk
=650 \7 $a Радиоэлектроника -- Кибернетика -- Искусственный интеллект -- "Интеллектуализация " компьютеров -- Пособие для специалистов $2 rubbk
=650 \7 $a Физико-математические науки -- Математика -- Вычислительная математика -- Приближённые вычисления -- Численные методы -- Применение ЭВМ -- Пособие для специалистов $2 rubbk
=653 \\ $a логическая система "Искра"
=653 \\ $a решатели задач
=653 \\ $a алгоритмический язык ЛОС
=653 \\ $a алгоритмический язык ГЕНОЛОГ
=852 0\ $a РГБ $b FB $h 1 09-5/47 $x 90
=852 0\ $a РГБ $b FB $h 1 09-5/46 $x 90
=852 7\ $a РГБ $b CZ2 $h В19/П44 $p 70141 $x 83
=856 41 $q application/pdf $u http://dlib.rsl.ru/rsl01004000000/rsl01004239000/rsl01004239875/rsl01004239875.pdf $y Читать
=979 \\ $a dllimit
=979 \\ $a dledu

2017-04-20