Аннотация доклада.

По аналогии с конструктивной можно ввести "программируемую математику", в которой объекты могут быть эффективно отображены в эффективные программы. Мы называем такие объекты прообразами программ, или пропрограммами. Используя накопленные за многие века математические подходы и методы, при помощи понятия обобщенной факторизации можно строить так называемые компетентные базы знаний, несущие "индуцированный интеллект" в мир программ. Знания в таких системах могут строиться динамически из так называемых "зерен", или прообразов знаний, что сильно упрощает реализацию искусственного интеллекта. Появление новых знаний ярко проявляется и в одном из видов пропрограмм. Обобщенная факторизация естественно приводит к численно-аналитическим методам, эффективным при оптимизации различных конструкций. Для электроники интерес могут представлять нововведения: компотроника и компограммы, а для цифровой экономики -- оптимизация управления многоагентными системами.