Використання фреймворку Lean для перевірки коректності математичних міркувань
| dc.contributor.advisor | Жежерун, Олександр | uk_UA |
| dc.contributor.author | Кривошея, Олександр | uk_UA |
| dc.date.accessioned | 2026-08-27T10:36:23Z | |
| dc.date.available | 2026-08-27T10:36:23Z | |
| dc.date.issued | 2026 | |
| dc.description.abstract | Магістерську роботу присвячено розробці та дослідженню інтелектуальної програмної системи автоматизованої перевірки розгорнутих геометричних міркувань учнів 7–9 класів на основі фреймворку Lean 4 та великих мовних моделей. Об’єкт дослідження: процеси автоматизованої перевірки правильності математичних викладів у інтелектуальних навчальних середовищах. Предмет дослідження: методи та програмні інструменти інтеграції середовища Lean у рекомендаційну систему для перевірки геометричних доведень. Мета дослідження: розробити та дослідити архітектуру програмного додатка, який використовує ядро Lean для перевірки геометричних міркувань учнів, діагностує рівень їхньої підготовки та надає адаптивні рекомендації на основі виявлених прогалин. | uk_UA |
| dc.identifier.uri | https://ekmair.ukma.edu.ua/handle/123456789/41002 | |
| dc.language.iso | uk | uk_UA |
| dc.status | first published | uk_UA |
| dc.subject | Lean 4 | en_US |
| dc.subject | перевірка математичних міркувань | uk_UA |
| dc.subject | нейро-символічна інтеграція | uk_UA |
| dc.subject | формальна верифікація | uk_UA |
| dc.subject | великі мовні моделі | uk_UA |
| dc.subject | планіметрія | uk_UA |
| dc.subject | формувальне оцінювання | uk_UA |
| dc.subject | магістерська робота | uk_UA |
| dc.title | Використання фреймворку Lean для перевірки коректності математичних міркувань | uk_UA |
| dc.type | Other | uk_UA |
Files
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: