Компьютерное моделирование логических процессов. Архитектура и язык решателя задач
В книге представлено описание разработанного автором пакета прикладных программ "Логическая система "Искра"", обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения "решателя". В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. Для обучения "решателя" был развит новый язык, объединяющий в себе два логических уровня - предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы "решателя". Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.
Товар имеет сертификаты качества и безопасности и соответствует нормам санитарной гигиены. На товар распростаняется гарантия. Имеется дисконтная накопительная система, а также корпоративная скидка 10% на заказ от 20 шт. На странице офомления заказа будет отражена более точная информация о стоимости доставки в ваш регион и о вашей личной скидке.
Позвольте Вам предложить
-
Многомерный статистический анализ в экономических задачах. Компьютерное моделирование в SPSS (+CD)
Книга посвящена многомерному статистическому анализу (МСА) и организации вычислений по МСА. Для реализации методов многомерной статистики используется программа обработки статистической информации…
-
Компьютерное моделирование многофазных течений при решении задач техносферной безопасности. Уч. пос.
Учебное пособие посвящено решению задач гидродинамики многофазных течений на основе численного моделирования с применением программного комплекса ANSYS Workbench на базе системы…
-
Программирование на языке Пролог для задач искусственного интеллекта. Введение в логическое программ
Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual…
-
Язык R в задачах науки о данных. Импорт, подготовка, обработка, визуализация и моделирование данных
Овладейте искусством превращения необработанных первичных данных в плодотворные догадки, гипотезы и новые знания с помощью языка R. Эта книга задумана как…
-
Компьютерное моделирование наночастиц и наносистем
Книга представляет собой введение в теорию и практику моделирования атомной и электронной структур наночастиц и наносистем методами квантовой механики. На конкретных…
-
Компьютерное моделирование в авиакосмической промышленности
Эта книга посвящена уникальным разработкам в области компьютерного моделирования авиакосмической техники. В книге описаны оригинальные концептуальные модели самолетов-амфибий, экрано-планов, судов на…
-
Компьютерное моделирование в промышленном дизайне
В окружении современного человека трудно найти предметы, которые не прошли через заботливые руки дизайнера. При проектировании для дизайнера основными критериями являются…
-
Архитектура компьютерных систем. Курс лекций. Учебное пособие
Учебная дисциплина «Архитектура компьютерных систем» рассчитана на 74 аудиторных часа и предназначена для студентов 2 курса специальности «Программирование в компьютерных системах». Целью…
-
Функционально-воксельный метод в компьютерном моделировании
Изложен функционально-воксельный метод компьютерного решения широкого класса задач, приводимых к геометрической постановке. В книге рассматриваются примеры оптимизационных постановок, постановок решения систем…