Kategorie

Hlavní stránka > Knihy>Компьютерная литература>Языки и системы программирования>Компьютерное моделирование логических процессов

Компьютерное моделирование логических процессов

  • Автор: Подколзин Александр Сергеевич

  • Переплет: твердый
  • Страниц: 1024
  • Формат: 24.5x17.5x5 см
  • Вес: 1486 г
  • ISBN: 978-5-9221-1045-7

04585828

Dostupnost: odeslání v polovině prosince

1 127 Kč

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