Введение в теорию применения формального моделирования и системного анализа при решении практических задач для старшеклассников и специалистов-нематематиков