ostis-apps / set-theory Goto Github PK

View Code? Open in Web Editor NEW

3.0 5.0 17.0 38.54 MB

HTML 100.00%

set-theory's Introduction

set-theory

Knowledge base and agents for OSTIS Set Theory project

set-theory's People

Contributors

Stargazers

Watchers

Forkers

maxgavr alekseyshmat ksushaperepechina palinaya asevko yanalavrinovich alshund kradavar gannagoodkevich artyomgurbovich liwenzu pazhiloipavuk mksmorlov kilativ-dotcom konstantins343 elize3000 jrdemiurg

set-theory's Issues

Интегрировать в систему scp-решатель

Тождественные преобразования.
Содержание задачи скоро появится...
Если не появится спрашивайте о ней Вову)

Формализация аксиом

Формализовать на языке SCL аксиомы, представленные в разделе "Раздел. Аксиомы теории множеств".

Проверить работоспособность агентов

За подробностями к Вове

Инициация новых агентов

Если у кого есть идеи, создаем issue и реализуем их, потому что у меня уже фантазия закачивается(

Описать тождества и свойства множеств

делаем все как в преведущих issues

Формализация ответов на зачет по МОИС

По примеру раздела "Вопросы к экзамену по дисциплине МОИС" добавить текстовые ответы в раздел "Вопросы к зачету по дисциплине МОИС" и, по возможности, их формализовать.

Не хватает html файла

Отсутствует html файл section_properties_of_multiset_operations.html

В section_projection_operation, section_oriented_set,section_graphics почти нет областей определений.
Много относительных понятий записаны как абсолютные в этих разделах.
В section_cartesian_product только один небольшой косяк. Назван узел с картинкой (pictureCP), это надо изменить на троеточие.

Сделать документацию

См. пример тг https://github.com/gt-ostis-dev/gt-knowledge-base/tree/master/gt_documentation

Отделить языковые пакеты от ядра БЗ

Необходимо вынести все языко-зависимые фрагменты БЗ в отдельные файлы исходного текста БЗ.

Например, все html-файлы определений и утверждений на русском языке должны лежать в отдельной папке. В этой же папке находятся scs-файлы, в которых sc-элементы "привязываются" к к своим html-файлам.

То есть основной репозиторий БЗ не должен содержать специфичных для какого-то языка фрагментов. Языковые "пакеты" будут лежать в отдельных репозиториях и загружаться независимо от БЗ.

Интерфейс

Создать кнопки под полем ввода множеств(объединение, пересечение, ...)
Над остальными задачами я пока думаю потом допишу...

Агенты по комбинаторике

Агент по поиску сочетаний
Агент по поиску перестановок
Агент по поиску расстановок

Формально описать понятия

Ищем не формально описанные понятия(их много), формализуем, потом создаем issue записываем понятия которые вы формализовали, заливаем, закрываем issue.

Интегрировать в систему понятия из ims

Заходите в репозиторий ims https://github.com/ShunkevichDV/ims.ostis.kb
Ищите понятия которых у нас нет и добавляете их в нашу базу.
Если у них есть такое же понятие как у нас, но называется по другому называем понятие как в ims и если нужно дополняем его из нашей базы и кидаем к нам.
Чтобы контролить что вы сделали, создаете issue и пишете в нем какие понятия вы хотите интегрировать или уже интегрировали, комитите и закрываете таску.
Эта таска для 1 максимум 2-х человек, если будите выполнять вдвоем, скооперируйтесь чтобы не делать одну и ту же работу.
Те кто будет это делать пишем + в коменты