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

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

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

Комментарии ():

Вам также может понравиться:

Оставайтесь на связи

Будьте в курсе новостей о выходящих книгах, подпишитесь на нашу еженедельную рассылку:
© 2011-2024. Your Lib. All Rights Reserved.