Вы здесь: Home
Неотсортированные
М. Бекбоев - Конституция РФ как источник аксиом частного права. Опыт логического вычисления
Неотсортированные
М. Бекбоев - Конституция РФ как источник аксиом частного права. Опыт логического вычисления
Автор выделил в Конституции РФ положения частного права, формализовал соответствующие тексты по методике Е-анализа и вычислил в Е-программе аксиомы этой подсистемы и её инвариант, следствия, дополняющие систему до полной, и противоречия.Е-структура и Е-программа, разработанные доктором физико-математических наук Борисом Александровичем Куликом, позволяют находить новое знание, в частности, дополнять систему, находить противоречия, определять инвариант логической системы и её аксиомы.
СКАЧАТЬ ОТРЫВОК В ФОРМАТАХ:
FB2
FB3
ePUB
PDF
PDF (моб. вер.)
TXT
RTF
КУПИТЬ КНИГУ ЧИТАТЬ ОНЛАЙН ДРУГИЕ КНИГИ АВТОРА
Оставьте Ваши комментарии