Утверждения и примеры типов ИС (информационных систем)