О моделях от Барулина А.Н.

[deep_econom]

S(E(О) <==> E(М

Comments

[darkhon]

Это ж надо простейшие вещи изложить столь заумно :-)
Но так верно, только "решение проблемы P" означает, что исходные системы (и модель, таким образом) должны быть соотв., а не просто так неизвестно откуда, и внезапно P.

[deep_econom]

товарищ вполне несложно пишет, он в статье до этого много распинался
а тут он типа уже формализует, ну да тут получились несколько тяжеловатые формулировки