Scientific journal
Научное обозрение. Педагогические науки
ISSN 2500-3402
ПИ №ФС77-57475

SYSTEMS OF TASKS HOW MEANS OF FORMATION OF ABILITIES FOR WORK WITH THEOREMS BY BACHELORS OF PEDAGOGICAL EDUCATION ON THE PROFILE «MATHEMATICA» ON LESSONS OF MATHEMATICAL LOGIC

Kovaleva G.I. 1 Maslova O.A. 1
1 Federal State Educational University of higher professional education «Volgograd state social and pedagogical university»
In this article the analysis of opportunities of a course of mathematical logic is provided in formation at future mathematics teachers of abilities to work with structure of theorems. The abilities, allowing to make the logical-mathematical analysis of the formulation of the theorem and to design tasks according to the purposes of stages of studying of the theorem are marked out. Examples of systems of problems of a practical work of mathematical logic as means of formation of the specified abilities are given and their features are marked out. The solution of each of system of tasks allows to model process of the logical-mathematical analysis of the theorem by the teacher that answers a problem of improvement of methodical preparation of future mathematics teachers on classes in disciplines of a mathematical cycle. The developed systems of tasks make a basis of the maintenance of a practical work of the sections «Algebra of Statements», «Logic of Predicates» of a course of mathematical logic and are an example of integration of methodical and scientific lines when studying disciplines of a mathematical cycle.