Информация о книге

978-5-9221-1045-7

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

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

Физматлит, 2008 г., 978-5-9221-1045-7


Наличие в интернет-магазинах

Магазинов: 1, Цена: от 1030 руб. посмотреть все

Описание книги

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

Купить эту книгу можно в интернет-магазинах

  My-Shop - 1030 руб.
  Страница товара выбранного интернет-магазина откроется в новом табе

Поделиться ссылкой на книгу



Содержание книги

Введение
1. Общие замечания о логических процессах и их
моделировании
2. Логический язык решателя задач
3. Представление задач в решателе
4. Общая схема функционирования решателя
5. Алгоритмический язык ЛОС
6. Библиотека вспомогательных операторов ЛОСа
7. Редактор программ ЛОСа
8. Отладчик ЛОСа
9. Примеры и упражнения по программированию на
ЛОСе
10.Язык для записи приемов ГЕНОЛОГ
11. Редактор приемов ГЕНОЛГа
12. Примеры записи приемов на ГЕНОЛОГе и
упражнения
13. программы общего интерфейса системы
14. программа редактора программ
15 . Программа отладчика ЛОСа
16. Интерпретатор ЛОСа
17. Программы просмотра списков задач
18 Программа редактора приемов
19. Компилятор ГЕНОЛОГа
Список литературы


Об авторе

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


Последние поступления в рубрике "Тематика определяется"



Коллекционное холодное оружие Западной Европы XVII - начала XIX вв. 

Издание посвящено уникальным образцам охотничьего и боевого холодного оружия из частных собраний европейских коллекционеров. Каждый экземпляр сопровождается экспертным описанием, оценкой степени его сохранности и подробными авторскими иллюстрациями....

Терапевтическая катастрофа. Мастера психотерапии рассказывают о самых провальных случаях 

Ни один психотерапевт не застрахован от ошибок в работе с клиентами, но мало кто готов открыто обсуждать собственные неудачи. Авторы книги решили наглядно показать, что просчеты и промахи - это не только неотъемлемая сторона профессии, но и повод вынести для себя ценные уроки....

Любовь к человеку с пограничным расстройством личности 

Люди с пограничным расстройством личности (ПРЛ) могут быть очень заботливыми, нежными, умными и веселыми - и при этом своим поведением отталкивать даже самых близких людей. Если у вас непростые отношения с человеком, который страдает от ПРЛ, то эта книга - для вас....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Подколзин А.С., Компьютерное моделирование логических процессов. Архитектура и язык решателя задач в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.