Архив выступлений: 2016-2017 учебный год, осенний семестр

М.В. Пирогов (ФГУП НПО им. С.А.Лавочкина).
«Лексикон программирования А.П.Ершова и основной оператор радикального моделирования программирования».

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

Рассматривается проблемная область применения программно-технических средств для сложных целенаправленных систем. Несмотря на широкое применение программно-технических средств и достижения, для целенаправленных систем имеют место и перерасход ресурсов, и экологические проблемы, и аварийные ситуации, и катастрофы. Современным программно-техническим средствам (которые следует рассматривать как целенаправленные системы) также присущи не только достижения, но и принципиальные и не решенные должным образом проблемы. Это проблемы верификации, безотказности работы и другие. Межу тем, расширяющееся применение программно-технических средств позволяет утверждать, что средства информатики несут на себе, соответственно, и все возрастающую ответственность за состояние проблемной области целенаправленных систем. В середине 80-х гг. прошлого века академик А.П. Ершов, сознавая принципиальную значимость и глубину проблем в программировании, опубликовал программную статью, остающуюся актуальной и в наши дни. А.П. Ершов выдвинул понятие языковой среды, назвав ее Лексиконом программирования. Для решения задач с использованием программно-технических средств целенаправленных систем предлагается подход радикального моделирования и программирования, основанный на идеях А.П. Ершова о Лексиконе программирования, а также на концепции среды радикалов А.В. Чечкина. Рассматривается понятие основного оператора радикального моделирования и программирования.