Необходимо написать математическое описание Модели отношений в терминах Теории множеств с точки зрения Теории связей https://habr.com/ru/articles/895896/
Триединые сущности Модели отношений это триплеты, т.е. кортежи длины 3, с точки зрения представления кортежей как вложенных упорядоченных пар это две упорядоченных пары.
Модель отношений с т.з. Теории связей это трёхмерная асеть, т.е. функция: L -> LxLxL
- необходимо сначала провести анализ документации и исходного кода данного проекта.
- проанализировать теоретические наработки по Теории связей https://github.com/deep-foundation/deep-theory
- Изложить математическую модель Модели отношений на русском, английском и Rocq языках.
- Для Rocq настроить ci/cd для проверки что доказательство компилируется
Необходимо написать математическое описание Модели отношений в терминах Теории множеств с точки зрения Теории связей https://habr.com/ru/articles/895896/
Триединые сущности Модели отношений это триплеты, т.е. кортежи длины 3, с точки зрения представления кортежей как вложенных упорядоченных пар это две упорядоченных пары.
Модель отношений с т.з. Теории связей это трёхмерная асеть, т.е. функция: L -> LxLxL