Системы Theorema и автоматизация дедукции: сравнительный анализ
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Системы Theorema и автоматизация дедукции: сравнительный анализ
|
|
| Creator |
Анисимов, А.В.
Джебелян, Т. Лялецкий, А.В. Попов, Н. |
|
| Subject |
Организационные и методические аспекты обеспечения непрерывного образования
|
|
| Description |
Рассмотрены основные парадигмы обработки математических знаний и обозначено место среди них систем Theorema и автоматизация дедукции. Описаны сравнительный анализ систем, общие черты их построения и различие в методах обработки данных.
Basic paradigms of the mathematical knowledge processing are considered and the place of the Theorema and SAD systems is outlined. A comparative analysis of the systems, common features of their construction and the distinction in data processing methods are described. Розглянуто основні парадигми обробки математичних знань та позначено місце серед них систем Theorema та автоматизація дедукції. Описано порівняльний аналіз систем, загальні риси їх побудови та різницю в методах обробки даних. |
|
| Date |
2015-06-12T09:13:14Z
2015-06-12T09:13:14Z 2011 |
|
| Type |
Article
|
|
| Identifier |
Системы Theorema и автоматизация дедукции: сравнительный анализ / А.В. Анисимов, Т. Джебелян, А.В. Лялецкий. Н. Попов // Управляющие системы и машины. — 2011. — № 4. — С. 59-63, 77. — Бібліогр.: 20 назв. — рос.
0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/82950 004.8:510.62:63 |
|
| Language |
ru
|
|
| Relation |
Управляющие системы и машины
|
|
| Publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
|
|