Особливості організації сучасних систем автоматизації міркувань

• Date: 2003
• Main Author: Мороховець, М.К.
• Format: Article
• Language: Ukrainian
• Published: Інститут проблем математичних машин і систем НАН України 2003
• Subjects: Програмно-технічні комплекси
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/730
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Особливості організації сучасних систем автоматизації міркувань / Мороховець М.К. // Математичні машини і системи. – 2003. – № 2. – С. 140 – 145

Аналізуються різні форми взаємодії сучасних систем автоматизації міркувань (САМ) з іншими програмними засобами розв’язання математичних задач. Сучасні САМ розглянуто з точки зору їх складу. На основі проведеного аналізу сформульовані основні проблеми та виділені можливі напрямки розви...