Системы Theorema и автоматизация дедукции: сравнительный анализ

• Veröffentlicht in: Управляющие системы и машины
• Datum: 2011
• Hauptverfasser: Анисимов, А.В., Джебелян, Т., Лялецкий, А.В., Попов, Н.
• Format: Artikel
• Sprache: Russisch
• Veröffentlicht: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2011
• Schlagworte: Организационные и методические аспекты обеспечения непрерывного образования
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/82950
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Системы Theorema и автоматизация дедукции: сравнительный анализ / А.В. Анисимов, Т. Джебелян, А.В. Лялецкий. Н. Попов // Управляющие системы и машины. — 2011. — № 4. — С. 59-63, 77. — Бібліогр.: 20 назв. — рос.

Рассмотрены основные парадигмы обработки математических знаний и обозначено место среди них систем Theorema и автоматизация дедукции. Описаны сравнительный анализ систем, общие черты их построения и различие в методах обработки данных. Basic paradigms of the mathematical knowledge processing are con...