Конституция РФ как источник аксиом частного права. Опыт логического вычисления
М. Бекбоев
Автор выделил в Конституции РФ положения частного права, формализовал соответствующие тексты по методике Е-анализа и вычислил в Е-программе аксиомы этой подсистемы и её инвариант, следствия, дополняющие систему до полной, и противоречия.Е-структура и Е-программа, разработанные доктором физико-математических наук Борисом Александровичем Куликом, позволяют находить новое знание, в частности, дополнять систему, находить противоречия, определять инвариант логической системы и её аксиомы.
М. Бекбоев, Конституция РФ как источник аксиом частного права. Опыт логического вычисления — скачать в fb2, txt, epub или pdf
Читать «Конституция РФ как источник аксиом частного права. Опыт логического вычисления» онлайн
Метки: М. Бекбоев
Рубрики: Прочая образовательная литература
Комментарии ()