Виконати постановку задач аудиту автоматизованого аналізу даних в підсистемі аудиту передумови Положень (стандартів) бухгалтерського обліку в ІТ СППР, які інваріантні щодо особливостей підприємства і будуть складовими методики формалізації інформації при проектуванні ІТ. Визначено особливості обліку даних аудиту передумови за період перевірки в підсистемі первинного обліку. Це дозволило визначити, що пряме відображення даних, підпорядковане передумові багатозначно, а зворотне однозначно, а також, що перевірка передумови не декомпозується в автоматичному режимі на рішення елементарних задач по кожному об'єкту обліку та операції. На підставі методики узагальнено-множинного відображення інформації виконана постановка двох видів задач автоматизованого аналізу даних елементарних задач за період перевірки в підсистемі аудиту передумови. Дані постановки задач інваріантні щодо особливостей підприємства і є підставою для створення наступних елементів методики формалізації інформації в ІТ СППР.