Особливості організації сучасних систем автоматизації міркувань
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Особливості організації сучасних систем автоматизації міркувань
|
|
| Creator |
Мороховець, М.К.
|
|
| Subject |
Програмно-технічні комплекси
|
|
| Description |
Аналізуються різні форми взаємодії сучасних систем автоматизації міркувань (САМ) з іншими програмними засобами розв’язання математичних задач. Сучасні САМ розглянуто з точки зору їх складу. На основі проведеного аналізу сформульовані основні проблеми та виділені можливі напрямки розвитку САМ. Іл.: 1. Бібліогр.: 28 назв.
Анализируются различные формы взаимодействия современных систем автоматизации рассуждений (САР) с другими программными средствами решения математических задач. Современные САР рассмотрены с точки зрения их состава. На базе проведенного анализа сформулированы основные проблемы и выделены возможные направления развития САР. Ил.: 1. Библиогр.: 28 назв. Various forms of the interaction of modern systems for automated reasoning (ARS) with other software tools for solving mathematical problems are observed. Modern ARS are considered in a compositional aspect. On the base of the analysis done, the main problems and possible directions of the development of ARS are formulated. Fig.: 1. Refs.: 28 titles. |
|
| Date |
2008-06-24T13:31:04Z
2008-06-24T13:31:04Z 2003 |
|
| Type |
Article
|
|
| Identifier |
Особливості організації сучасних систем автоматизації міркувань / Мороховець М.К. // Математичні машини і системи. – 2003. – № 2. – С. 140 – 145
1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/730 681.3:519.68 |
|
| Language |
uk
|
|
| Publisher |
Інститут проблем математичних машин і систем НАН України
|
|