<?xml version="1.0" encoding="UTF-8"?>
<feed xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns="http://www.w3.org/2005/Atom">
<title>Н.И. ЛОБАЧЕВСКИЙ И МАТЕМАТИЧЕСКОЕ 
ОБРАЗОВАНИЕ В РОССИИ</title>
<link href="https://dspace.kpfu.ru/xmlui/handle/net/117277" rel="alternate"/>
<subtitle>по математическому образованию,
посвященного 225-летию Н.И. Лобачевского (IFME ? 2017) (Казань, 18?22 октября 2017 г.) Том 2
, 18.10.2017-22.10.2017</subtitle>
<id>https://dspace.kpfu.ru/xmlui/handle/net/117277</id>
<updated>2026-04-19T05:54:34Z</updated>
<dc:date>2026-04-19T05:54:34Z</dc:date>
<entry>
<title>О ПОНЯТИИ ДОКАЗАТЕЛЬСТВА МАТЕМАТИЧЕСКИХ ТЕОРЕМ</title>
<link href="https://dspace.kpfu.ru/xmlui/handle/net/117847" rel="alternate"/>
<author>
<name>Игошин  В.И.</name>
</author>
<id>https://dspace.kpfu.ru/xmlui/handle/net/117847</id>
<updated>2018-01-25T08:57:07Z</updated>
<published>2017-01-01T00:00:00Z</published>
<summary type="text">О ПОНЯТИИ ДОКАЗАТЕЛЬСТВА МАТЕМАТИЧЕСКИХ ТЕОРЕМ
Игошин  В.И.
Выпускники современной средней школы слабо владеют понятием и методами доказательства математических, прежде всего геометрических, теорем. Это обусловлено как системой органи-зации изучения геометрии в школе (ЕГЭ, отмена устного экзамена), так и недостаточным уровнем логико-дидактической подготовки будущих учителей математики на уровнях бакалавриата и ма-гистратуры в реформированных классических университетах. В сообщении предлагается усилить роль курса математической логики в системе подготовки будущих учителей математики, в частности, в процессе формирования у них понятия строгого математического доказательства. Прекрасной методической моделью для этого может служить формализованное исчисление высказываний. Показывается, что доказательства теорем школьного курса геометрии полностью укладываются в концепцию строгого математического доказательства, предлагаемую формализованным исчислением высказываний.; The graduates of modern secondary schools have a poor command of the concept and methods of mathematical proofs, especially geometric theorems. This is due to the system of organization of study of geometry in school (Unified State Examination, cancel the oral examination), and the low level of logical-didactical training of future teachers of mathematics at the levels of undergraduate and graduate programs in a reformed classical universities. The message proposed to strengthen the role of the course in mathematical logic in the system of preparation of future teachers of mathematics, in particular, in the process of forming the concept of rigorous mathematical proof. A great methodological model for this may be formalized propositional calculus. It is shown that the proof of the theorems of school geometry course completely fit into the concept of rigorous mathematical proofs offered by formal calculus.
</summary>
<dc:date>2017-01-01T00:00:00Z</dc:date>
</entry>
<entry>
<title>МЕТОД КРАМЕРА КАК СРЕДСТВО ПРОДУКТИВНОГО ИЗУЧЕНИЯ ТЕОРИИ ОПРЕДЕЛИТЕЛЕЙ</title>
<link href="https://dspace.kpfu.ru/xmlui/handle/net/117846" rel="alternate"/>
<author>
<name>Гербеков  Х.А.</name>
</author>
<author>
<name>Боташева  З.Х.</name>
</author>
<id>https://dspace.kpfu.ru/xmlui/handle/net/117846</id>
<updated>2018-01-25T08:56:16Z</updated>
<published>2017-01-01T00:00:00Z</published>
<summary type="text">МЕТОД КРАМЕРА КАК СРЕДСТВО ПРОДУКТИВНОГО ИЗУЧЕНИЯ ТЕОРИИ ОПРЕДЕЛИТЕЛЕЙ
Гербеков  Х.А.; Боташева  З.Х.
В данной статье рассматривается методика продуктивного изучения теории определителей студентами нематематических специальностей с помощью метода Крамера. Формулы Крамера для системы двух линейных уравнений и трех линейных уравнений получаются непосредственно мето-дом подстановки. Определитель предлагается вычислять разложением по первой строке. Для доказательства свойств определителей широко используется метод математической индукции.; This article discusses the technique of productive study of the theory of determinants of student non-mathematical specialties using the method of cramer solution of linear equations. Cramer's formula for a system of two linear equations and three linear equations are obtained directly by the method of substitution. Determinant serves to calculate the expansion in the first row. To prove the properties of determinants widely used method of induction.
</summary>
<dc:date>2017-01-01T00:00:00Z</dc:date>
</entry>
<entry>
<title>О ПРОПЕДЕВТИКЕ ИЗУЧЕНИЯ СТЕРЕОМЕТРИИ В КУРСЕ ПЛАНИМЕТРИИ 
В ВУЗЕ И КЛАССАХ С УГЛУБЛЕННЫМ ИЗУЧЕНИЕМ МАТЕМАТИКИ</title>
<link href="https://dspace.kpfu.ru/xmlui/handle/net/117845" rel="alternate"/>
<author>
<name>Винтиш  Т.Ю.</name>
</author>
<author>
<name>Мартынова  Е.В.</name>
</author>
<author>
<name>Прокопенко Г.И.</name>
</author>
<id>https://dspace.kpfu.ru/xmlui/handle/net/117845</id>
<updated>2018-01-25T08:54:41Z</updated>
<published>2017-01-01T00:00:00Z</published>
<summary type="text">О ПРОПЕДЕВТИКЕ ИЗУЧЕНИЯ СТЕРЕОМЕТРИИ В КУРСЕ ПЛАНИМЕТРИИ 
В ВУЗЕ И КЛАССАХ С УГЛУБЛЕННЫМ ИЗУЧЕНИЕМ МАТЕМАТИКИ
Винтиш  Т.Ю.; Мартынова  Е.В.; Прокопенко Г.И.
В работе представлена система примеров, иллюстрирующих закономерности возникающие при рассмотрении пространств разной размерности.; The system of the examples illustrating the regularities arising by consideration of spaces of different dimension is presented in this work.
</summary>
<dc:date>2017-01-01T00:00:00Z</dc:date>
</entry>
<entry>
<title>ПРОЕКТ КАК МЕТОД ПОВЫШЕНИЯ ЭФФЕКТИВНОСТИ ОБУЧЕНИЯ</title>
<link href="https://dspace.kpfu.ru/xmlui/handle/net/117844" rel="alternate"/>
<author>
<name>Васильева  Е.А.</name>
</author>
<author>
<name>Выборнова  А.В.</name>
</author>
<id>https://dspace.kpfu.ru/xmlui/handle/net/117844</id>
<updated>2018-01-25T08:53:59Z</updated>
<published>2017-01-01T00:00:00Z</published>
<summary type="text">ПРОЕКТ КАК МЕТОД ПОВЫШЕНИЯ ЭФФЕКТИВНОСТИ ОБУЧЕНИЯ
Васильева  Е.А.; Выборнова  А.В.
Авторы данной статьи делятся опытом использования проектного метода на уроках математики и истории для повышения эффективности обучения.; The authors of this article share the experience of using the project method in math and history classes to improve effectiveness of learning.
</summary>
<dc:date>2017-01-01T00:00:00Z</dc:date>
</entry>
</feed>
