12.02.2026. Шелехов В.И. Семинар ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ

Семинар ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. Дата: 12.02.2026 Докладчик: Шелехов Владимир Иванович к.т.н.
профессор ИСИ СО РАН Тема: Язык и технология предикатного и автоматного программирования Аннотация Предпосылки исследовательского проекта предикатного и автоматного программирования заложены еще на заре мирового программирования в далеких 1960-1980 годах.
Исторический контекст тех времен важен для понимания того как проект возник и как затем развивался.
Медленное эволюционное развитие проекта во многом связано с преодолением препятствий: многочисленных разнообразных тупиков в процессе исследований и ошибочных положений и поныне считающихся общепринятой классикой. В предикатном программировании программа конструируется как математическое утверждение а для достижения эффективности к программе применяется система оптимизирующих трансформаций.
Фактически предикатное программирование является разновидностью функционального программирования.
В докладе излагается история развития архитектуры проекта начиная с 2002 г.
когда проект окончательно сформировался.
Итог выглядит парадоксально.
Это отрицание структурного объектно-ориентированного и функционального программирования.

Источник: rutube.ru