Добро пожаловать в клуб

Показать / Спрятать  Домой  Новости Статьи Файлы Форум Web ссылки F.A.Q. Логобург    Показать / Спрятать

       
Поиск   
Главное меню
ДомойНовостиСтатьиПостановка звуковФайлыКнижный мирФорумСловарьРассылкаКаталог ссылокРейтинг пользователейЧаВо(FAQ)КонкурсWeb магазинКарта сайта

Поздравляем!
Поздравляем нового Логобуржца alenka.aleks со вступлением в клуб!

Реклама

КНИЖНЫЙ МИР

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

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

70x100/16 1024 страниц. 2008 год.
ФИЗМАТЛИТ
В книге представлено описание разработанного автором пакета прикладных программ "Логическая система "Искра"", обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения "решателя". В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. Для обучения "решателя" был развит новый язык, объединяющий в себе два логических уровня - предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы "решателя". Студентам, аспирантам и специалистам по...
 
- Генерация страницы: 0.04 секунд -