Уважаемый Key2! Такой манерой задавать вопросы в консультациях Вы вводите в заблуждение тех, кто отвечает на них, относительно объёма предстоящей работы. Вряд ли кто-то интересуется теми же проблемами, что и Вы, и готов потратить уйму времени и энергии на разъяснение Вам теории.
Возможно, Вам лучше обратиться сюда:
Ссылка >>. На этом форуме много специалистов по математике, в том числе преподавателей логики и высшей алгебры, которые сумеют удовлетворить Ваши запросы. Всегда, когда у меня возникали сложности, я обращался туда и, как правило, получал нужное содействие. Участники того форума любят подолгу профессионально общаться на обсуждаемые темы. Правда, от Вас потребуется конкретная и грамотная постановка вопросов и аргументация...
Есть ещё один форум, который я могу рекомендовать Вам:
Ссылка >>. Там тоже есть сильные математики, а также информатики. Вы получите удовольствие от общения с ними, если сумеете заинтересовать своими вопросами.
В меру своих возможностей я попытаюсь помочь Вам разобраться, сделав это в известной Вам консультации, на вопрос которой я уже ответил. Давайте пообщаемся там, если так уж Вам хочется, чтобы не плодить лишних сущностей.
Об авторе:
Facta loquuntur.