Теоремы построения учетных систем.



Posted by Борис, Киев. (193.193.195.151) on February 01, 2002 at 16:44:02:

Теорема о существовании модели реальной картины учета.

Безусловная актуализация состояния регистров учета в учетном приложении необходима и достаточна для моделирования реальной картины учета.

Доказывается существованием ФБП.

Теорема о необходимом и достаточном периоде оперирования.

Учётное приложение оперирующее периодом, равным отчетному, увеличенному на время, отпущенное на подготовку отчета о нём обеспечивает его полнофункциональность.

Доказательство в цепи аксиом:

- Период подготовки отчета не может отсутствовать.
- В период подготвки отчета не могут не вноситься изменения в отчетный период.
- В период подготовки отчета текущий учет не может быть оторван от актуального состояния отчетного периода.
- После сдачи отчета внесение изменений в отчетный период запрещено.
- После сдачи отчета необходимо позаботиться о неизменности и сохранности записей отчетного периода, заключающееся в полной изоляции от данных следующего отчетного периода, что в свою очередь даёт выход текущего отчетного периода в цикл использования ресурсов техники, что немаловажно для жизни первой теоремы.


С уважением, Борис.


Пpишедшие ответы: