El objetivo está desatendido
El autor lleva sin comentar el objetivo 8 años 9 meses 15 días
Сделать SaaS e-learning сервис для изучения точных наук
Хочу сделать для людей, заинтересованных в ускорении обучения и улучшения его качества, сервис-помощник, который бы позволял хранить накопленные в процессе изучения знания (чтобы они никуда не терялись и могли быть легко извлечены из системы), проверял бы решения задач (например, чтобы можно было проводить тестирование умения аналитически решать задачи), позволял бы каждому пользователю иметь свою индивидуальную базу знаний (например, чтобы показывать работодателю, либо для того, чтобы быстро находить то, что изучил ранее).
Criterio del fin
Сервис должен уметь: 1. Проверять решения задач и доказательств теорем в выбранных дисциплинах. 2. Предоставлять доступ к интерактивной базе знаний, позволяя смотреть детально ход доказательств теорем и методов решений задач. 3. Позволять пользователям создавать свои базы знаний на основе уже существующих путем аннотирования и добавления новых знаний.
-
Реализовать удобный GUI для ввода информации в систему
Набросок идеи: пользователь должен иметь возможность быстро добавлять сущности в базу знаний и расставлять связи между ними. Добавленная информация должна быть по возможности верифицирована и из нее должны быть извлечены полезные данные, необходимые, например, для того, чтобы проверять задачи из той же предметной области. Последнее относится к следующему этапу, но о возможности этого необходимо задуматься на первом этапе.
-
Разработать серверную часть сервиса
Она должна давать возможность пользователям совместно работать над наполнением базы знаний. Серверная часть должна быть разработана с учетом будущей интеграции с верификатором.
-
Реализовать верификацию математических утверждений
На основе введенной информации необходимо давать вывод о ее истинности в рамках некоторого формального исчисления. Приложения этого лежат в верификации решений задач и проверки корректности доказательства теорем. Последнее также позволит сделать интерактивную базу теории математических дисциплин.
-
Формализовать некоторую дисциплину в рамках системы
Протестировать жизнеспособность системы на примере некоторой математической дисциплины. Желательно в real-time, т.е. с ноутбуком на лекции. Параллельно с этим возможно придется доработать первые два пункта работы, если возникнет необходимость.
¡No omita entradas nuevas!
Suscríbase al objetivo y siga su logro
