В дипломній роботі узагальнено методичні рекомендації щодо навчання доведень з точки зору обов'язкової реалізації різних видів строгості, а також організація рівневості вивчення і вимог математичного моделювання.
Ключові слова: навчання доведень, вивчення теорем, умови, вимоги теорем, методи доведень