В данной работе представлена методика обучения доказательству учащихся основной школы на базе концепции обучения школьников доказательству с использованием средств естественного вывода. Понятие доказательства адаптировано к школьному курсу математики в виде дерева - дедуктивной схемы доказательства. Разработана методика использования этих схем при обучении анализу логической структуры доказательств и построению доказательств. Приведен комплекс специальных логико-ориентированных (дедуктивных)! задач и вопросов, направленных на формирование дедуктивной деятельности учащихся. Монография предназначена для студентов и преподавателей математических факультетов вузов.
V dannoj rabote predstavlena metodika obuchenija dokazatelstvu uchaschikhsja osnovnoj shkoly na baze kontseptsii obuchenija shkolnikov dokazatelstvu s ispolzovaniem sredstv estestvennogo vyvoda. Ponjatie dokazatelstva adaptirovano k shkolnomu kursu matematiki v vide dereva - deduktivnoj skhemy dokazatelstva. Razrabotana metodika ispolzovanija etikh skhem pri obuchenii analizu logicheskoj struktury dokazatelstv i postroeniju dokazatelstv. Priveden kompleks spetsialnykh logiko-orientirovannykh (deduktivnykh)! zadach i voprosov, napravlennykh na formirovanie deduktivnoj dejatelnosti uchaschikhsja. Monografija prednaznachena dlja studentov i prepodavatelej matematicheskikh fakultetov vuzov.
