Журнал Современные проблемы науки и образования 2070-7428 Общество с ограниченной ответственностью "Издательский Дом "Академия Естествознания" ART-11692 СИСТЕМЫ ЗАДАЧ КАК СРЕДСТВО ФОРМИРОВАНИЯ УМЕНИЙ РАБОТАТЬ С ТЕОРЕМАМИ У БАКАЛАВРОВ ПЕДАГОГИЧЕСКОГО ОБРАЗОВАНИЯ ПО ПРОФИЛЮ «МАТЕМАТИКА» НА ЗАНЯТИЯХ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ Ковалева Г.И. Kovaleva G.I. kovaleva-gi@mail.ru Маслова О.А. Maslova O.A. alloo@yandex.ru ФГБОУ ВПО «Волгоградский государственный социально-педагогический университет» Federal State Educational University of higher professional education « Volgograd state social and pedagogical university», Volgograd, Russia 16 06 2013 6 371 371 This is an open-access article distributed under the terms of the CC BY 4.0 license. https://science-education.ru/ru/article/view?id=11692

В данной статье приводится анализ возможностей курса математической логики в формировании у будущих учителей математики умений работать со структурой теорем. Выделены умения, позволяющие выполнять логико-математический анализ формулировки теоремы и конструировать задачи в соответствии с целями этапов изучения теоремы. Приведены примеры систем задач практикума математической логики как средства формирования указанных умений и выделены их особенности. Решение каждой из системы задач позволяет моделировать процесс логико-математического анализа теоремы учителем, что отвечает проблеме совершенствования методической подготовки будущих учителей математики на занятиях по дисциплинам математического цикла. Разработанные системы задач составляют основу содержания практикума разделов «Алгебра высказываний», «Логика предикатов» курса математической логики и являются примером интеграции методической и научной линий при изучении дисциплин математического цикла.

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.

 система задач. процесс изучения теорем логико-математический анализ теоремы различные формы записи структуры теоремы структура теоремы виды теорем теорема умение работать со структурой теоремы математическая логика system of tasks. process of studying of theorems the logical-mathematical analysis of the theorem various forms of record of structure of the theorem theorem structure types of theorems the theorem ability to work with theorem structure mathematical logic

1. Далингер, В.А. Методика обучения учащихся доказательству математических предложений: кн. для учителя / В.А. Далингер. – М.: Изд-во «Просвещение», 2006. – 256 с.

2. Игошин, В.И. Математическая логика как педагогика математики / В.И. Игошин. – Саратов: Издательский центр “Наука”, 2009. – 360 с.

3. Ковалева, Г.И. Теория и практика обучения будущих учителей математики конструированию систем задач: Монография / Г.И. Ковалева. – Волгоград: Изд-во ВГСПУ «Перемена», 2012. – 214 с.

4. Мордкович, А.Г. Профессионально-педагогическая направленность специальной подготовки учителя математики в педагогическом институте: дис… д-ра пед. наук / А.Г. Мордкович. – М., 1986.

5. Стефановa, Н.Л. Методика и технология обучения математике. Курс лекций / Н.Л. Стефановa, Н.С. Подходова, В.В. Орлов и др. – М.: Изд-во «Дрофа», 2005. – 416 с.