bannerbanner

М. Т. Бекбоев

Книги автора: М. Т. Бекбоев

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