Конституция РФ как источник аксиом частного права.. Опыт логического вычисления
Қосымшада ыңғайлырақҚосымшаны жүктеуге арналған QRRuStore · Samsung Galaxy Store
Huawei AppGallery · Xiaomi GetApps

 Конституция РФ как источник аксиом частного права.. Опыт логического вычисления

Автор выделил в Конституции РФ положения частного права, формализовал соответствующие тексты по методике Е-анализа и вычислил в Е-программе аксиомы этой подсистемы и её инвариант, следствия, дополняющие систему до полной, и противоречия.
Е-структура и Е-программа, разработанные доктором физико-математических наук Борисом Александровичем Куликом, позволяют находить новое знание, в частности, дополнять систему, находить противоречия, определять инвариант логической системы и её аксиомы.