Системы Theorema и автоматизация дедукции: сравнительный анализ
Рассмотрены основные парадигмы обработки математических знаний и обозначено место среди них систем Theorema и автоматизация дедукции. Описаны сравнительный анализ систем, общие черты их построения и различие в методах обработки данных. Basic paradigms of the mathematical knowledge processing are con...
Збережено в:
| Опубліковано в: : | Управляющие системы и машины |
|---|---|
| Дата: | 2011 |
| Автори: | , , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2011
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/82950 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Системы Theorema и автоматизация дедукции: сравнительный анализ / А.В. Анисимов, Т. Джебелян, А.В. Лялецкий. Н. Попов // Управляющие системы и машины. — 2011. — № 4. — С. 59-63, 77. — Бібліогр.: 20 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862726652134424576 |
|---|---|
| author | Анисимов, А.В. Джебелян, Т. Лялецкий, А.В. Попов, Н. |
| author_facet | Анисимов, А.В. Джебелян, Т. Лялецкий, А.В. Попов, Н. |
| citation_txt | Системы Theorema и автоматизация дедукции: сравнительный анализ / А.В. Анисимов, Т. Джебелян, А.В. Лялецкий. Н. Попов // Управляющие системы и машины. — 2011. — № 4. — С. 59-63, 77. — Бібліогр.: 20 назв. — рос. |
| collection | DSpace DC |
| container_title | Управляющие системы и машины |
| 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 та автоматизація дедукції. Описано порівняльний аналіз систем, загальні риси їх побудови та різницю в методах обробки даних.
|
| first_indexed | 2025-12-07T18:59:11Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-82950 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0130-5395 |
| language | Russian |
| last_indexed | 2025-12-07T18:59:11Z |
| publishDate | 2011 |
| publisher | Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| record_format | dspace |
| spelling | Анисимов, А.В. Джебелян, Т. Лялецкий, А.В. Попов, Н. 2015-06-12T09:13:14Z 2015-06-12T09:13:14Z 2011 Системы Theorema и автоматизация дедукции: сравнительный анализ / А.В. Анисимов, Т. Джебелян, А.В. Лялецкий. Н. Попов // Управляющие системы и машины. — 2011. — № 4. — С. 59-63, 77. — Бібліогр.: 20 назв. — рос. 0130-5395 https://nasplib.isofts.kiev.ua/handle/123456789/82950 004.8:510.62:63 Рассмотрены основные парадигмы обработки математических знаний и обозначено место среди них систем 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 та автоматизація дедукції. Описано порівняльний аналіз систем, загальні риси їх побудови та різницю в методах обробки даних. ru Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України Управляющие системы и машины Организационные и методические аспекты обеспечения непрерывного образования Системы Theorema и автоматизация дедукции: сравнительный анализ Theorema and SAD Systems: A Comparative Analysis Системи Theorema та автоматизація дедукції: порівняльний аналіз Article published earlier |
| spellingShingle | Системы Theorema и автоматизация дедукции: сравнительный анализ Анисимов, А.В. Джебелян, Т. Лялецкий, А.В. Попов, Н. Организационные и методические аспекты обеспечения непрерывного образования |
| title | Системы Theorema и автоматизация дедукции: сравнительный анализ |
| title_alt | Theorema and SAD Systems: A Comparative Analysis Системи Theorema та автоматизація дедукції: порівняльний аналіз |
| title_full | Системы Theorema и автоматизация дедукции: сравнительный анализ |
| title_fullStr | Системы Theorema и автоматизация дедукции: сравнительный анализ |
| title_full_unstemmed | Системы Theorema и автоматизация дедукции: сравнительный анализ |
| title_short | Системы Theorema и автоматизация дедукции: сравнительный анализ |
| title_sort | системы theorema и автоматизация дедукции: сравнительный анализ |
| topic | Организационные и методические аспекты обеспечения непрерывного образования |
| topic_facet | Организационные и методические аспекты обеспечения непрерывного образования |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/82950 |
| work_keys_str_mv | AT anisimovav sistemytheoremaiavtomatizaciâdedukciisravnitelʹnyianaliz AT džebelânt sistemytheoremaiavtomatizaciâdedukciisravnitelʹnyianaliz AT lâleckiiav sistemytheoremaiavtomatizaciâdedukciisravnitelʹnyianaliz AT popovn sistemytheoremaiavtomatizaciâdedukciisravnitelʹnyianaliz AT anisimovav theoremaandsadsystemsacomparativeanalysis AT džebelânt theoremaandsadsystemsacomparativeanalysis AT lâleckiiav theoremaandsadsystemsacomparativeanalysis AT popovn theoremaandsadsystemsacomparativeanalysis AT anisimovav sistemitheoremataavtomatizacíâdedukcííporívnâlʹniianalíz AT džebelânt sistemitheoremataavtomatizacíâdedukcííporívnâlʹniianalíz AT lâleckiiav sistemitheoremataavtomatizacíâdedukcííporívnâlʹniianalíz AT popovn sistemitheoremataavtomatizacíâdedukcííporívnâlʹniianalíz |