Размер шрифта:
А
А
А
|  Шрифт:
Arial
Times
|  Интервал:
Стандартный
Средний
Большой
|  Цвет сайта:
Ц
Ц
Ц
Ц
Ц

Компьютерное моделирование логических процессов. Архитектура и языки решателя задач

Доступ по подписке только в составе Коллекции

Компьютерное моделирование логических процессов. Архитектура и языки решателя задач

Нет доступа
Основная коллекция
Издательство: Физматлит
Вид издания: Практическое пособие
Уровень образования: Профессиональное образование
Год издания
2008
Кол-во страниц
1024
ISBN
978-5-9221-1045-7
Артикул
124619.01.01
Аннотация
В книге представлено описание разработанного автором пакета прикладных программ «Логическая система "Искра"», обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения «решателя». В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. Для обучения «решателя» был развит новый язык, объединяющий в себе два логических уровня — предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы «решателя». Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.
Библиографическая запись Скопировать запись
Подколзин, А. С. Компьютерное моделирование логических процессов. Архитектура и языки решателя задач / А.С. Подколзин. - Москва : ФИЗМАТЛИТ, 2008. - 1024 с. ISBN 978-5-9221-1045-7, 300 экз. - Текст : электронный. - URL: https://znanium.com/catalog/product/186565 (дата обращения: 09.07.2020). – Режим доступа: по подписке